Footnotes, Gödel exercises, Purcell
logicmatters.net·3d
👑Isabelle
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·2d
🎯Gradual Typing
Issue 720
iosdevweekly.com·2d
🌀Brotli Internals
Issue 483
haskellweekly.news·3d
🔗Functional Compilers
How many NYT spelling bees are left?
gauthamsk.substack.com·6d·
Discuss: Substack
🔤Morris-Pratt
Rao Reading Algorithm
raohacker.com·5d·
Discuss: Hacker News
🎯Content Recommendation
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·4d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
The Reviewer is Dead, Long Live the Review: Re-engineering Peer Review for the Age of AI
sigarch.org·2d·
Discuss: Hacker News
🤖AI Curation
Symbol-Level Editing
sysprogs.com·1d·
Discuss: Hacker News
🎙️Whisper
Scientists shrink the genetic code of E. coli to contain only 57 of its usual 64 codons
phys.org·2d
🧬Palindrome Codes
Sketch 'n' Scribble: Scene and Dialogue Generator using Google AI Studio
dev.to·7h·
Discuss: DEV
🏛Digital humanities
Want to Read Smart Wallet Transactions? You'll Need to Hack Around Dune
hackernoon.com·3d
✅Checksum Validation
DeepSeek R1 Is Setting a New Standard for Open-Source AI
dev.to·4h·
Discuss: DEV
🌀Brotli Internals
Observing and evaluating AI agentic workflows with Strands Agents SDK and Arize AX
aws.amazon.com·2d
🌊Stream Processing
🚀 I Built a DSA Learning App with React + Firebase + YouTube API — Meet AlgoBites
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
How to Build a Vector Database Using Amazon S3 Vectors
dev.to·4d·
Discuss: DEV
🗂️Vector Databases
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·3d
🔗Monadic Parsing
Hashcat v7.0.0 Released
github.com·1d·
Discuss: Hacker News
🔓Password Cracking
Show HN: List of Clojure-Like projects
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
Navigating the AI Agent Ecosystem: A Comprehensive Framework Analysis
dev.to·1d·
Discuss: DEV
⚙️TLA+