Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·23h
🔄Burrows-Wheeler
Claude Code's 19 cent Parser
blogger.com·14h
🔧Binary Parsers
Structural vs. Mathematical “Under” (2023)
dyalog.com·3h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Teaching programming languages
kmjn.org·15h
💻Programming languages
Sets & Heaps in Haskell and Rust
mmhaskell.com·18h
🔒Type Safety
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·16h
🤝Paxos Consensus
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·20h·
Discuss: Hacker News
🔢Denotational Semantics
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·7h·
Discuss: Hacker News
✅Format Validation
Song recommendations with F# free monads
blog.ploeh.dk·20h
🔗Functional Compilers
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·17h·
Discuss: DEV
🔗Constraint Handling
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·23h
💻CS
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·12h·
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·22h·
Discuss: Hacker News
🧪Binary Fuzzing
[P] aligning non-linear features with your data distribution
reddit.com·16h·
Discuss: r/MachineLearning
🧠Machine Learning
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·23h
🎙️Whisper
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·15h
🌊Stream Processing