Feeds to Scour
SubscribedAll
Scoured 9566 posts in 2.43 s
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.toยท8hยท
Discuss: DEV
๐Ÿ“Text Parsing
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท13h
๐Ÿ“Parsing Grammars
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท9h
๐Ÿ’งLiquid Types
Preview
Report Post
Building a Synthesizer, Chapter 13: Building the VCF
craigstuntz.comยท1d
โš™๏ธDIY Electronics
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.orgยท19hยท
Discuss: r/compsci
๐Ÿ“ฅFeed Aggregation
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.comยท2dยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Preview
Report Post
Shell Command Language
pubs.opengroup.orgยท8h
๐Ÿ“Shell Parsing
Preview
Report Post
Syntax Highlighting for Code Blocks
dimiro1.devยท2d
๐ŸŒณIncremental Parsing
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.netยท3dยท
Discuss: r/programming
๐Ÿ“Concrete Syntax
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.comยท1d
๐Ÿ“Linear Logic
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.orgยท2d
๐Ÿ“‹Document Grammar
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท12hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
โฌ†๏ธLambda Lifting
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.krยท16h
โœ…Formal Methods
Preview
Report Post
Prompts are becoming Code, but we still treat them like Strings
dev.toยท20hยท
Discuss: DEV
โšกProof Automation
Preview
Report Post
A Review of Language Machines by Leif Weatherby
deontologistics.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ผCassette Linguistics
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.orgยท13hยท
Discuss: Hacker News
๐Ÿ“บVT100
Preview
Report Post