Feeds to Scour
SubscribedAll
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.chยท20hยท
Discuss: Hacker News
๐Ÿฆ€Rust Compiler Internals
Preview
Report Post
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.ioยท1h
๐Ÿช„Prompt Engineering
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.meยท15h
๐Ÿช„Prompt Engineering
Preview
Report Post
Is the Constructible Universe All There Is?
lesswrong.comยท13h
๐ŸงฉTypes
Preview
Report Post
Enabling small language models to solve complex reasoning tasks
news.mit.eduยท19h
๐Ÿ—๏ธLLM Infrastructure
Preview
Report Post
Formal Axiomatization of Advaita Vedanta in Lean 4
github.comยท34mยท
Discuss: Hacker News
๐Ÿ”„Eventual Consistency
Preview
Report Post
Agentic Context Engineering: Evolving Contexts for Self-Improving Language Models
arxiv.orgยท10h
๐Ÿ†LLM Benchmarking
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.comยท21hยท
Discuss: Substack
๐Ÿช„Prompt Engineering
Preview
Report Post
QUESTION: tsx or ts-node for an express project?
betterstack.comยท13hยท
Discuss: r/typescript
๐Ÿ“˜Typescript
Preview
Report Post
Machine-generated code
llllllll.coยท3h
๐Ÿช„Prompt Engineering
Preview
Report Post
It's all about context (jun 01)
stonehenge.comยท10h
๐Ÿ”คTokenization
Preview
Report Post
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.comยท19hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Preview
Report Post
Building a multiplayer game with polyglot microservices - Architecture decisions and lessons learned [Case Study, Open Source]
gitlab.comยท22hยท
Discuss: r/programming
๐Ÿฆ€Rust Web Services
Preview
Report Post
๐ŸŽฒ Check Commands: Teaching AI to Catch and Correct Team Code
briangershon.comยท14h
๐Ÿ‘จโ€๐Ÿ’ปAI Coding
Preview
Report Post
How we use Claude Code | Blog
geocod.ioยท20h
๐ŸŽฏCursor IDE
Preview
Report Post
Day 5: 21 Days of Building a Small Language Model: Data
reddit.comยท23hยท
Discuss: r/LocalLLaMA
๐Ÿ—๏ธLLM Infrastructure
Preview
Report Post
The cathedral, the bazaar, and statistical workflow
statmodeling.stat.columbia.eduยท2h
๐Ÿ“‡Indexing Strategies
Preview
Report Post
Language Did Not Spring Forth 100,000 Years Ago | PLOS Biology
journals.plos.orgยท17h
๐Ÿ“Text Parsing
Preview
Report Post
Uncertainty Architecture: Why AI Governance is Actually Control Theory
pub.towardsai.netยท4h
๐Ÿช„Prompt Engineering
Preview
Report Post
danthegoodman1/checker: Durable execution via memory checkpointing with support for multiple runtimes
github.comยท12h
๐Ÿ’พPersistence Strategies
Preview
Report Post