Song recommendations with F# free monads
blog.ploeh.dk·7h
🔗Functional Compilers
PGF-Net: A Progressive Gated-Fusion Framework for Efficient Multimodal Sentiment Analysis
arxiv.org·11h
📝ABNF Parsing
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·15m·
Discuss: Hacker News
🌳Archive Merkle Trees
Typeclassopedia
wiki.haskell.org·12h·
Discuss: Hacker News
🧬Functional Programming
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·21m
🔑Cryptographic Protocols
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·4h
🤝Paxos Consensus
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·45m·
Discuss: Hacker News
✅Format Verification
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Some recent project milestones
markjgsmith.com·19h
🔌Interface Evolution
The Impact of the Cyber Assessment Framework (CAF) on Digital Investigations
digitalforensicsmagazine.com·2h
🎯Threat Hunting
Teaching programming languages
kmjn.org·3h
💻Programming languages
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·5h·
Discuss: DEV
🔗Constraint Handling
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·46m·
Discuss: Hacker News
⚡Proof Automation
Capture Checking in Scala
nrinaudo.github.io·9h·
Discuss: Hacker News
🧪Binary Fuzzing
Legal Doublet (Wikipedia)
en.wikipedia.org·16h·
Discuss: Hacker News
📜Text Collation
Docx templating with golang
reddit.com·14h·
Discuss: r/golang
🦀Rust Macros
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·7h
🔍eBPF
Show HN: I Built a XSLT Blog Framework
vgr.land·21h·
Discuss: Hacker News
🔀XSLT
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·3h
🌊Stream Processing
Building and Measuring Trust between Large Language Models
arxiv.org·11h
🔲Cellular Automata