Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·18h
🔄Burrows-Wheeler
Claude Code's 19 cent Parser
blogger.com·9h
🔧Binary Parsers
Teaching programming languages
kmjn.org·10h
💻Programming languages
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·15h·
Discuss: Hacker News
🔢Denotational Semantics
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
🔒Type Safety
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·11h
🤝Paxos Consensus
Typeclassopedia
wiki.haskell.org·19h·
Discuss: Hacker News
🧬Functional Programming
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·2h·
Discuss: Hacker News
✅Format Validation
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·12h·
Discuss: DEV
🔗Constraint Handling
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·18h
💻CS
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·22h
🧪Binary Fuzzing
Song recommendations with F# free monads
blog.ploeh.dk·14h
🔗Functional Compilers
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·7h·
Discuss: Hacker News
🌳Archive Merkle Trees
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Capture Checking in Scala
nrinaudo.github.io·16h·
Discuss: Hacker News
🧪Binary Fuzzing
Legal Doublet (Wikipedia)
en.wikipedia.org·23h·
Discuss: Hacker News
📜Text Collation
[P] aligning non-linear features with your data distribution
reddit.com·11h·
Discuss: r/MachineLearning
🧠Machine Learning
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·18h
🎙️Whisper
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·10h
🌊Stream Processing