ImapGoose status update: v0.3.2
whynothugo.nlยท9h
๐Ÿ”„Sync Engine
Flag this post
Stochastic computing
scottlocklin.wordpress.comยท6h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
From Brazil with Love: New Tactics from Lampion
bitsight.comยท1d
๐ŸŒณArchive Merkle Trees
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท7hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Flag this post
Making Every 5x5 Nonogram: Part 1
patreon.comยท2hยท
Discuss: Hacker News
๐ŸงฎZ3 Solver
Flag this post
Vercel AI SDK 6 Beta
v6.ai-sdk.devยท8hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Flag this post
Show HN: sjl โ€“ Simple JSON Logger for Rust
github.comยท21hยท
Discuss: Hacker News
๐Ÿ”CBOR
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท18hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
A Senior Developerโ€™s Guide to Vibe Coding and Deep AI Integration in Cursor
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.ioยท3dยท
โœ…Format Verification
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท6h
๐ŸงชProperty-Based Testing
Flag this post
Durable execution workflow system based on Postgres
github.comยท9hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Flag this post
Convert any GitHub repo to coding puzzles
github.comยท3dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Flag this post
AI scrapers request commented scripts
cryptography.dogยท7hยท
๐ŸŒDNS Security
Flag this post
The 3-Step System to Learn Any Framework Fast
dev.toยท14hยท
Discuss: DEV
๐Ÿ“Code Metrics
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.comยท1dยท
๐Ÿฆ€Embedded Rust
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.orgยท1d
๐Ÿ”—Functional Compilers
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.comยท4dยท
Discuss: Hacker News
๐Ÿ”’Type Safety
Flag this post