Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·2d
🔲Cellular Automata
LLMs as Parts of Systems
brooker.co.za·3d
🧮Theorem Proving
Haskell Crash Course
yager.io·2d
🔗Lisp
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
Encrypted Computation: What if Decryption Wasn’t Needed? • Katharine Jarmul • GOTO 2024
youtube.com·1d
🔐Homomorphic Encryption
Go's Data Structures: A Deep Dive into Arrays and Slices
dev.to·1d·
Discuss: DEV
⚡Cache Theory
We Should All Code Like Steve Jobs
priver.dev·1d·
Discuss: Hacker News
📏Code Metrics
Hypersonic Flight Body Aerodynamic Tailoring via Adaptive Morphing Structures & Reinforcement Learning
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
Causal Graph Profiling via Structural Divergence for Robust Anomaly Detection in Cyber-Physical Systems
arxiv.org·1d
🔍Vector Forensics
Software Engineering Laws - Coding & Development
leadership.garden·1d
🔩Systems Programming
Complex behaving Hardware with CircuitPython - Part II
hackster.io·3d
⚡Circuit Design
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·2d·
Discuss: Hacker News
🔀CRDT
On The Eventual Periodicity of Fractional Order Dispersive Wave Equations Using RBFs and Transform
arxiv.org·14h
🌀Fractal Compression
PersonaEval: Are LLM Evaluators Human Enough to Judge Role-Play?
arxiv.org·14h
🏛Digital humanities
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·14h
🕰️RetroCRDTs
Searching for Privacy Risks in LLM Agents via Simulation
arxiv.org·14h
🔒WASM Capabilities
GoViG: Goal-Conditioned Visual Navigation Instruction Generation
arxiv.org·1d
🗺️Competency Maps
Build a Real-World IROPS Re-accommodation Workflow with KaibanJS
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
webMCP: Efficient AI-Native Client-Side Interaction for Agent-Ready Web Design
arxiv.org·1d
🔗Hypermedia APIs
Why Developers Still Choose Python, Even If It’s “Slow”
dev.to·5h·
Discuss: DEV
📏Code Metrics