Regular Expressions

Feeds to Scour
SubscribedAll
Scoured 62 posts in 17.3 ms

10 Prompts I Reach for Every Week to Stay Unblocked as an Engineer

 🧮Lean4  Content type: Blog

A peek at POSIX sh's future goodies

 💻CLI Tools  Content type: Blog

Designing Memory for a Minimal Rust Coding Agent, Without a Vector Store

 🐋Docker

A Comprehensive Anatomy of Human and DeepSeek-R1 LLM Mathematical Reasoning

 🧠Automated Reasoning  Content type: Academic
arxiv.org·

Tiny Static Site Generator with custom template engine

 🌐Static Sites  Content type: Blog

BenchEvolver: Frontier Task Synthesis via Solution-Centric Evolution

 λFunctional Programming

Show HN: SNItch – fuzz the TLS SNI field to discover hidden virtual hosts

 📡Network Protocol Design  Content type: Code
github.com··Hacker News

For years, Apache Cassandra handed this work to your team — 6.0 takes it back

 Helm
thenewstack.io·

110 QA checks in one scan, auto-fix PR for what it finds

 🔧DevOps
gatetest.ai··Hacker News

Benevolent dictator Zuck will give Meta staff 30-minute breaks from keylogging privacy assault

 🛡️macOS Security

Blog - We have to change the rules of security

 🔐Cybersecurity  Content type: Blog

Minimal AI agent tutorial

 💻CLI Tools

How we sync Postgres to the browser: ElectricSQL for rows, Yjs for documents

 🔠Type-Level Programming  Content type: Blog

yogthos/jolt: A Clojure interpreter running on Janet

 λFunctional Programming  Content type: Code

Causally Evaluating the Learnability of Formal Language Tasks

 💻CS  Content type: Academic
arxiv.org·

albertobarnabo/lean: Teaches Claude to find the clever path before taking the obvious one. 8× fewer tokens on the median real-world task — measured across 17 benchmarks.

 📡Network Protocol Design  Content type: Code
github.com··Hacker News

BrainSurgery: Reproducible and Reliable Declarative Weight Manipulations for Model Editing and Upcycling

 🔍CBMC  Content type: Academic
arxiv.org·

PivCo-Huffman

 🔁E-graphs

The Bear Bash DeBugger: A lightweight debugger for Bash scripts

 💻CLI Tools  Content type: Code

Open source building blocks for computational design. Est. 2006

 🔤Language Design
thi.ng··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help