In defence of Golang error handling
ajahcs.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs
Voxtral
mistral.ai·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Sapient – Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.com·2d·
Discuss: Hacker News
🎮Verification Games
VibeTunnel's first AI-anniversary
steipete.me·2d·
Discuss: Hacker News
🍎Apple
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
AI integration in financial services: review of trends and regulatory challenges
nature.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Targeted Deep Architectures: A TMLE-Based Framework for Robust Causal Inference in Neural Networks
arxiv.org·1d
🏹Effect Systems
Generation of structure-guided pMHC-I libraries using Diffusion Models
arxiv.org·3d
➡️Category Theory
RNAMunin: A Deep Machine Learning Model for Non-coding RNA Discovery
arxiv.org·1d
💻CS
Leveraging Advanced Machine Learning to Predict Turbulence Dynamics from Temperature Observations at an Experimental Prescribed Fire
arxiv.org·2d
✓Automated Theorem Proving
I'm not a programmer, but I context engineered an internet spec in a week with AI.
reddit.com·2d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Neural Co-state Regulator: A Data-Driven Paradigm for Real-time Optimal Control with Input Constraints
arxiv.org·1d
🔄Finite State Machines
"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
arxiv.org·4d
🛡️seL4
AI for Explosive Ordnance Detection in Clearance Operations: The State of Research
arxiv.org·1d
✓Automated Theorem Proving
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·3d
📡Network Protocol Design
Enhancing Clinical Text Classification via Fine-Tuned DRAGON Longformer Models
arxiv.org·3d
🏹Effect Systems
BENYO-S2ST-Corpus-1: A Bilingual English-to-Yoruba Direct Speech-to-Speech Translation Corpus
arxiv.org·3d
🐫Embedded OCaml
A Neural Network Model of Complementary Learning Systems: Pattern Separation and Completion for Continual Learning
arxiv.org·2d
💻CS
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·2d
🛡️seL4