Feeds to Scour
SubscribedAll
Scoured 23385 posts in 584.5 ms
Generative Type experiments
brendandawes.com·1d
✨Effect Handlers
Vibe Coded Scheme Interpreter
funcall.blogspot.com·4d·
Discuss: Blogger
🔗Concatenative Programming
Grumpy Julio plays with CLI coding agents
blogsystem5.substack.com·1d·
Discuss: Substack
⚡Proof Automation
8)
linuxiac.com·2d
🔌Operating system internals
So we have any for interface{} and nil
reddit.com·3d·
Discuss: r/golang
⚖️Hoare Logic
Quark's Outlines: Python Code Blocks
dev.to·4d·
Discuss: DEV
🦀Rust Macros
CReact: JSX meta-execution engine v0.3.0
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·1d
🎯Performance Proofs
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·4d
🏗️Compiler Archaeology
Code vs Serialized AST Inputs for LLM-Based Code Summarization: An Empirical Study
arxiv.org·2d
🔗Concatenative Programming
Why you should consider F#
asfaload.com·5d·
Discuss: Hacker News
🔒Type Safety
Show HN: Githrun – Run Python Scripts from GitHub URLs and VS Code Extension
amit.is-a.dev·2d·
Discuss: Hacker News
🦀Rust Macros
Introducing Composer 1.5
cursor.com·1d·
Discuss: Hacker News
🎧Learned Audio
Multi-Dimensional Computational Library for Physics-Aware AI
splitfxm.com·1d·
Discuss: Hacker News
📊Quantization
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·5d·
Discuss: Hacker News
🔗Functional Compilers
Linker Script Generation for Firmware Projects: A Primer
dnedic.github.io·1d·
Discuss: Hacker News, r/embedded
🔗Static Linking
Modernizing my 150-line Python search engine: Yahoo! dumps -> Hugging Face 🤗
bart.degoe.de·1d·
Discuss: Hacker News
🌀Brotli Internals
Anatomy of a Python Function
mostlypython.com·5d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Allium is an LLM-native language for sharpening intent alongside implementation
juxt.github.io·2d·
Discuss: Hacker News
🎯Gradual Typing
Syd: Writing an application kernel in Rust [video]
fosdem.org·2d·
Discuss: Hacker News
🦀Rust Borrowing

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