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
The evolution of an extension language: a history of Lua
lua.org·1h
🔄Language Evolution
Preview
Report Post
Acme Device Attestation Extension
datatracker.ietf.org·6h·
Discuss: Hacker News
🔒Hardware Attestation
Preview
Report Post
Advent of Swift
leahneukirchen.org·3h
🔗Lisp
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
✅Format Verification
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·1d
🔧KAITAI
Preview
Report Post
3 Feature Engineering Techniques for Unstructured Text Data
machinelearningmastery.com·2d
📝Text Embeddings
Preview
Report Post
Strengthening Safety Boundaries for Evolving AI Agents
cacm.acm.org·1d
🔒Language-based security
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Why Rust for Embedded Systems? (and Why I'm Teaching Robotics with It)
blog.ravven.dev·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·21h·
Discuss: Hacker News
🛡️WASM Sandboxing
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
I accidentally made a git client in rust with no prior experience. Here are my thoughts on all that!
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·20h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
PICK for Regular Expressions
blog.brownplt.org·2d
🔍RegEx Engines
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·1d
🦀Rust Macros
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
Systematic Framework of Application Methods for Large Language Models in Language Sciences
arxiv.org·3d
🌲Parse Trees
Preview
Report Post