Roll your own in-game UI with Clay and NanoVG
dev.to·2d·
Discuss: DEV, r/cpp, r/programming
📦Unikernel Systems
Python heapq.nlargest vs list.sort
ddaa.net·15h·
Discuss: r/programming
🏹Effect Systems
MySQL to MariaDB migration story of Switch.ch, Switzerland’s Open Source IT Backbone for Universities and Research
mariadb.org·2d·
Discuss: r/programming
📦Unikernel Systems
The Covert Hardware Implant: Part 1
rift.stacktitan.com·7h·
Discuss: Hacker News
💾Retro Computing
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·1d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Rollback UX: What Fighting Game Netcode Can Teach AI Tool Designers
medium.com·4d·
Discuss: Hacker News
🎮Verification Games
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
LLaMeSIMD – LLM SIMD Intrinsic and Function Translation Benchmarking Suite
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
After trying OpenAI Codex CLI for 1 month, here's what actually works (and what's just hype)
reddit.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·22h
✓Automated Theorem Proving
Announcing egui 0.32.0 - an easy-to-use cross-platform GUI for Rust
github.com·1d·
Discuss: r/programming
🍎XNU Internals
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·22h
🐫OCaml
Speclinter MCP
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🤖Program Synthesis
We solved AI API interoperability
supermemory.ai·3d·
Discuss: Hacker News
🐫OCaml
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving