๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿฆ€ Rust Macros

Metaprogramming, Procedural Macros, Code Generation, Compile-time Computing

Go at american express today
americanexpress.ioยท1d
๐Ÿ”ŒInterface Evolution
Open Sesame: Poems with Entropy
benwr.netยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”“Password Cracking
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.comยท5dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ“Compiler Design
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.comยท18hยท
Discuss: Hacker News
๐ŸคDistributed Consensus
Re-implementing the Nix protocol in Rust
tweag.ioยท3dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Zig's new Writer
openmymind.netยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ’งLiquid Types
oapi-codegen v2.5.0 is out
github.comยท2dยท
Discuss: r/golang
๐Ÿ“œProof Carrying Code
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.orgยท2d
๐ŸงฎZ3 Solver
Kiro and the future of AI spec-driven software development
kiro.devยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ŒInterface Evolution
The Generalist Brain Module: Module Repetition in Neural Networks in Light of the Minicolumn Hypothesis
arxiv.orgยท4h
๐Ÿ’ŽInformation Crystallography
Go Concurrent Programming: Real-World Lessons to Level Up Your Skills
dev.toยท7hยท
Discuss: DEV
๐ŸŒŠStream Processing
Agents Built from Alloys
xbow.comยท16hยท
Discuss: Hacker News
โšกProof Automation
State of the Art of Prompt Engineering โ€ข Mike Taylor โ€ข GOTO 2025
youtube.comยท20h
๐Ÿ–ฅ๏ธTerminal Renaissance
Show HN: Ggc โ€“ A terminal-based Git CLI written in Go
github.comยท1dยท
Discuss: Hacker News
๐ŸชŸAwesome windows command-line
Row Polymorphic Programming
stranger.systemsยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.ioยท4hยท
Discuss: Hacker News
๐Ÿ”Homomorphic Encryption
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.skiยท18hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
jank is C++
jank-lang.orgยท6dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸšBash Monads
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
[P] Cogency โ€“ ReAct agents in 3 lines, out of the box (Python OSS)
reddit.comยท10hยท
Discuss: r/MachineLearning
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap