Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·2d
🔲Cellular Automata
Haskell Crash Course
yager.io·2d
🔗Lisp
Automagical JavaScript Programming
crtv.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Advanced Redox Flow Battery Stack Optimization via Dynamic Bayesian Network Control
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Hypersonic Flight Body Aerodynamic Tailoring via Adaptive Morphing Structures & Reinforcement Learning
dev.to·7h·
Discuss: DEV
🔲Cellular Automata
Model Predictive-Control Basics
towardsdatascience.com·2d
⚡Effectful Programming
Quantum Algorithm Benchmarking via Dynamically-Adjusted Error Mitigation on Superconducting Qubit Arrays
dev.to·7h·
Discuss: DEV
⚛️Quantum Error Correction
Automated Prognostics & Health Management for Starship Service Module Thermal Control System via Bayesian Dynamic Networks
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
ComoRAG: A Cognitive-Inspired Memory-Organized RAG for Stateful Long Narrative Reasoning
arxiv.org·12h
🧮Prolog Parsing
Automated Flux Pinning Optimization in Wires via Digital Twin Simulation
dev.to·1h·
Discuss: DEV
⚙️Tape Engineering
Liveness analysis with Datalog
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Predictive Routing Optimization via Dynamic Multi-Agent Reinforcement Learning (D-MARL)
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
FedCoT: Communication-Efficient Federated Reasoning Enhancement for Large Language Models
arxiv.org·12h
📝ABNF Parsing
The fixed length bottleneck and the feed forward network
gilesthomas.com·17h·
Discuss: Hacker News
📊Quantization
Neural Network-Based Detection and Multi-Class Classification of FDI Attacks in Smart Grid Home Energy Systems
arxiv.org·12h
🔍Vector Forensics
HumanSense: From Multimodal Perception to Empathetic Context-Aware Responses through Reasoning MLLMs
arxiv.org·12h
🏛Digital humanities
I chose OCaml as my primary language
xvw.lol·1d·
Discuss: Lobsters, Hacker News, r/programming
🧬Functional Programming
Causal Graph Profiling via Structural Divergence for Robust Anomaly Detection in Cyber-Physical Systems
arxiv.org·1d
🔍Vector Forensics
Running Faucets Detection and Alert Systems
hackster.io·11h
🎙️Whisper
Software Engineering Laws - Coding & Development
leadership.garden·23h
🔩Systems Programming