progscrape: www.tweag.io/blog/2019-11-28-PCF-makam-spec

How to make your papers run: Executable formal semantics for your language (2019)

8 months ago tweag.io plt

ayu - a pytest plugin to run your tests interactively

19 days ago reddit.com python

Three Tools To Run MCP On Your Github Repositories

17 days ago i-programmer.info github

How to Handle DB Outages: When Your Database Goes Down

14 days ago codetocrack.dev database

Show HN: I built a FOSS tool to run your Steam games in the Cloud

3 days ago github.com game show

KDE for Windows 10 Exiles – Upgrade your software, not your computer

17 days ago kde.org kde windows

How to make compile time smaller

9 days ago reddit.com rust

What Is Quishing? How Hackers Use QR Codes to Steal Your Data

16 days ago youtube.com

Lightweight Diagramming for Lightweight Formal Methods

11 days ago blog.brownplt.org

Your Phoenix application, directly on your Tailnet

11 days ago gist.github.com elixir erlang networking web

How Do You Like Your UI/UX Designs Served?

19 days ago figma.com

How to Protest Safely in the Age of Surveillance: Law enforcement has more tools than ever to track your movements and access your communications

8 days ago wired.com

Connect Claude to your own apps

16 days ago aluxian.com

Stop Uploading Your Data to Google

9 days ago ignorethecode.net google

Iconic icons to showcase your skills

8 days ago github.com

time-RS | a timer for your terminal

recently added github.com rust

Ask HN: How do you teach your kids about AI?

6 days ago news.ycombinator.com ai ask

LLM Agents Are Breaking Your Platform, Not Your Architecture

2 days ago junctionlabs.io ai distributed llm

'Welcome to Campus. Here's Your ChatGPT.'

12 days ago nytimes.com ai chatgpt gpt

Incant – add magic spells to your code

5 days ago github.com

mcp-gopls: An MCP Server to help your ai tools refactor and understand your codebase!

14 days ago github.com ai go refactor

[FILE CRYPT] Bank-Level Encryption for your files

6 days ago reddit.com encryption rust

token-claims - an easy tweak to create claims for your JWT tokens.

3 days ago reddit.com rust

How do you learn to make a CRUD API?

7 days ago reddit.com api go

Dancing brainwaves: How sound reshapes your brain networks in real time

12 days ago sciencedaily.com brain

How to modify Starlink Mini to run without the built-in WiFi router

5 days ago olegkutkov.me wifi

Dyad: A New Language to Make Hardware Engineering as Fast as Software

2 days ago discourse.julialang.org

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

10 days ago queue.acm.org aws rust

easy-live2d - Make your Live2D as easy to control as a pixi sprite! Live2D Web SDK based on Pixi.js.

17 days ago github.com javascript web

How to run a shadow library: operations at Anna's Archive (2023)

3 days ago annas-archive.org

Beachpatrol: CLI to automate your everyday web browser

17 days ago github.com browsers javascript nodejs unix web

>progscrape ▒

All the news that's fit to scrape