FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Introduction to JavaScript
thenewstack.io·2d
🔗Concatenative Programming
How to actually use Model Context Protocol
seangoedecke.com·16h
⚡Proof Automation
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Can the Law Compile? Legal Speech as Machine Code
hackernoon.com·3d
📝Concrete Syntax
Programming Languages: Application and Interpretation
plai.org·3d·
Discuss: Hacker News
📝Concrete Syntax
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·1h·
Discuss: DEV
🔄Lens Laws
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·8h
📜Proof Carrying Code
Which graph motif parameters count?
arxiv.org·12h
🔗Graph Isomorphism
The great misunderstanding of the DRY principle
pmatteo.com·3d·
Discuss: Hacker News
💧Liquid Types
Janet Feature Demos
github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·1d
🔲Cellular Automata
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·12h
🔍Information Retrieval
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·1d
🧮Kolmogorov Bounds
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·2d
🧮Theoretical Computer Science
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.org·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Using AI to replicate human experimental results: a motion study
arxiv.org·2d
🎙️Whisper
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·12h
🔐Quantum Security