Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·7h·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
Write Better with Vale
pragprog.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
The Markov Condition
plato.stanford.edu·2d·
Discuss: Hacker News
🧠Automated Reasoning
The 10x DevRel
adatosystems.com·9h·
Discuss: Hacker News
⚙Operational Semantics
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·1d·
Discuss: Hacker News
💾Retro Computing
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·2d·
Discuss: Hacker News
🧩Parser Combinators
NPM debug and chalk packages compromised
aikido.dev·2d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·3d·
Discuss: Hacker News
🔬Static Analysis
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·7h·
Discuss: Hacker News
🎮Verification Games
Bare Metal STM32: the Various Real Time Clock Flavors
hackaday.com·8h
🐫Embedded OCaml
Flexible inference of learning rules from de novo learning data using neural networks
arxiv.org·2d
📚Automata Learning
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·2d
🛡️seL4
LESER: Learning to Expand via Search Engine-feedback Reinforcement in e-Commerce
arxiv.org·1d
🧩Parser Combinators
DyC-STG: Dynamic Causal Spatio-Temporal Graph Network for Real-time Data Credibility Analysis in IoT
arxiv.org·1d
🧩Separation Logic
The Case for An AI Safety Political Party in the US
lesswrong.com·5h
🩹Self-Healing Systems
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·2d
🧩Parser Combinators
Benchmarking Gender and Political Bias in Large Language Models
arxiv.org·1d
🧩Parser Combinators
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·2d
🎮Verification Games
Chatbot To Help Patients Understand Their Health
arxiv.org·1d
📚Automata Learning
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·1d
📚Automata Learning