Feeds to Scour
SubscribedAll
An Intro to Large Language Models and the Transformer Architecture: Talking to a calculator
dev.to·13h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
✅Format Verification
Preview
Report Post
Yale Shooting Problem
en.wikipedia.org·21h·
Discuss: Hacker News
🔬Logic in Computer Science
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
Writing CLIs
markjgsmith.com·1d
📟CLI Design
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·2d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Rethinking Data Integrity: Why Domain-Driven Design Is Crucial
thenewstack.io·2d
🔄Schema Evolution
Preview
Report Post
Constant Eval in Production, the idea
pablofernandez.tech·1d
🎙️Whisper
Preview
Report Post
Intelligent Multi-Agent Trip Planning System
dev.to·4h·
Discuss: DEV
⚡Incremental Computation
Preview
Report Post
The cathedral, the bazaar, and statistical workflow
statmodeling.stat.columbia.edu·1d
📰RSS Archaeology
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
Advent of AI - Day 10: Understanding Arguments in Goose Recipes
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
Skills vs Dynamic MCP Loadouts
lucumr.pocoo.org·1d
⚡Proof Automation
Preview
Report Post
Azure Cosmos DB vNext Emulator: Query and Observability Enhancements
dev.to·1d·
Discuss: DEV
🚀Query Optimization
Preview
Report Post
Docify: Building a Production RAG System for Knowledge Management
dev.to·3h·
Discuss: DEV
📄Document Streaming
Preview
Report Post
Majority Element: Easy Problem, Sneaky Insight
dev.to·6h·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
How I Built a RAG System That Actually Understands Business Metrics (Part 1: Foundation)
dev.to·8h·
Discuss: DEV
📊Learned Metrics
Preview
Report Post
I created a publishing system for step-by-step coding guides in Typst
press.knowledge.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post