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
Making Every 5x5 Nonogram: Part 1
๐งฎZ3 Solver
Flag this post
Vercel AI SDK 6 Beta
๐Interface Evolution
Flag this post
Show HN: sjl โ Simple JSON Logger for Rust
๐CBOR
Flag this post
A Senior Developerโs Guide to Vibe Coding and Deep AI Integration in Cursor
โกProof Automation
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท6h
๐งชProperty-Based Testing
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท2d
๐ปProgramming languages
Flag this post
AI scrapers request commented scripts
๐DNS Security
Flag this post
Esp-hal 1.0.0 release announcement
๐ฆ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
๐ฆRust Verification
Flag this post
Loading...Loading more...