Feeds to Scour
SubscribedAll
Scoured 22988 posts in 736.0 ms
Ethereum Signature Schemes Explained: ECDSA, BLS, XMSS, and Post-Quantum leanSig with Rust Code Examples
blog.lambdaclass.com·2d
🔗Hash Chains
Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED
virtuallyfun.com·3d
🔗Static Linking
Ruby Newbie is joining the Ruby Users Forum
rubyforum.org·2d·
Discuss: Lobsters
🦀Rust Macros
Aeon: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "Offsets"
dev.to·5d·
Discuss: DEV
🐚Shell Calculus
The Secret Life of Python: The Safety Net ('try' and 'except')
dev.to·5d·
Discuss: DEV
⚔️Lean Tactics
Revisiting Regular Types
abseil.io·4d
λLambda Encodings
Impredicativity in Linear Dependent Type Theory
arxiv.org·2d
🏛️Constructive Type Theory
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·2d
✅Formal Methods
Show HN: An LLM-enabled bash-based shell for Linux
yoshell.ai·6d·
Discuss: Hacker News
🐚Bash Monads
Hoot: Scheme on WebAssembly
spritely.institute·4d·
Discuss: Hacker News
🌐WASI
RFC 3092: Etymology of "Foo"
datatracker.ietf.org·3d·
Discuss: Hacker News
📝ABNF Extensions
Making Waffles with Group Theory
hmpcabral.com·2d·
Discuss: Hacker News
🔄Graph Rewriting
Agentic Proof-Oriented Programming
risemsr.github.io·6d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Sid Meier's System for Real-Time Music Composition and Synthesis
patents.google.com·5d·
Discuss: Hacker News
🎛️Audio Synthesis
Your VCL App: 4x to 11x Faster Math Performance with Elements
blogs.remobjects.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
stdlib v7.2
erlang.org·5d·
Discuss: Hacker News
🦀Rusty Databases
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·4d·
Discuss: Hacker News
🦀Rust Macros
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·3d·
Discuss: Hacker News
🔗Constraint Handling
Gen Z first generation since 1800's with lower cognitive performance
commerce.senate.gov·2d·
Discuss: Hacker News
🗜️LZW Variants
LLMs could be, but shouldn't be compilers
alperenkeles.com·5d·
Discuss: Lobsters, Hacker News
💧Liquid Types

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
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