Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·12h·
Discuss: DEV
🛡️seL4
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🔤Kleene Algebra
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·6d·
Discuss: Hacker News
📚Automata Learning
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·8h·
Discuss: Hacker News
📚Automata Learning
Flag this post
D.J. Bernstein: The Good News Archive
aaronsw.com·2h·
Discuss: Hacker News
💻CS
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
dev.to·17h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Text case changes the size of QR codes
johndcook.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·15h·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·13h·
Discuss: Hacker News
🔨Compilers
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·9h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
github.com·16h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Made a web extracter py script named ScrapeWebX
dev.to·1h·
Discuss: DEV
🔤Kleene Algebra
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
AI Fake Filler — Smart Form Autofill for Developers & Testers
dev.to·6h·
Discuss: DEV
🔤Kleene Algebra
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
[D] Best (free) courses on neural networks
reddit.com·1d·
Discuss: r/MachineLearning
🎯Complexity Classes
Flag this post