Feeds to Scour
SubscribedAll
Scoured 19455 posts in 807.8 ms
Pascal-J/type-system-j: adds an optional type system to J language
github.com·13h·
Discuss: Lobsters
💧Liquid Types
Preview
Report Post
Bjarne’s Last Stand: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·1d·
Discuss: Substack
🦀Rust Borrowing
Preview
Report Post
"I May Not Have Articulated Myself Clearly": Diagnosing Dynamic Instability in LLM Reasoning at Inference Time
arxiv.org·4h
🧮Prolog Parsing
Preview
Report Post
Show HN: NanoClaw – “Clawdbot” in 500 lines of TS with Apple container isolation
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Preview
Report Post
Improve your typing accuracy with our new typing modes
typequicker.com·10h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Preview
Report Post
Untangling Literate Programming
quotenil.com·2d
🔗Concatenative Programming
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·14h·
📝Compiler Design
Preview
Report Post
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·13h·
Discuss: Substack
🦀Rust Borrowing
Preview
Report Post
CodeSOD: A Percise Parser
thedailywtf.com·1d
🌳Incremental Parsing
Preview
Report Post
How to Build Safe Natural Language-Driven APIs
techcommunity.microsoft.com·20h·
Discuss: Hacker News
🌀Brotli Internals
Preview
Report Post
Show HN: TypeSync – Generate TypeScript type guards from your database schema
typesync-db-to-ts-type-guard.vercel.app·2d·
Discuss: Hacker News
🔬Refinement Types
Preview
Report Post
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·1d·
💧Liquid Types
Preview
Report Post
The Engineer's Guide to Elastic Detections as Code
elastic.co·9h
Archive Validation
Preview
Report Post
How LSP Works: Building a Grammar Checker LSP from Scratch in Rust
aroy.sh·1d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·20h
💻Programming languages
Preview
Report Post
iczelia/kamilalisp: a functional, flexible and concise lisp.
github.com·19h
🔗Lisp
Preview
Report Post
Switching from C/C++ to Rust: the invisible checklist
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Preview
Report Post
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·18m·
Discuss: Hacker News
👑Isabelle
Preview
Report Post
SPELL: Synthesis of Programmatic Edits using LLMs
arxiv.org·1d
Effect Handlers
Preview
Report Post
Maiasa: A next-gen, fast, robust, ethical language model (that can only say "a")
maiasa.ai·17h·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post

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