Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·15h·
Discuss: Substack
✓Automated Theorem Proving
Working with Rust is super fun coming from C++
reddit.com·3d·
Discuss: r/rust
🔬Static Analysis
Start from 2D: How I Design 3D Levels Using the Wrap-around Method
saarraz.substack.com·2d·
Discuss: Substack
🎮Verification Games
Cloudflare's Transparency Deserves More Credit
dashdot.me·9h·
Discuss: Hacker News, r/devops
🖥️Self-hosted Infrastructure
The Evolution of AI Job Orchestration
blog.skypilot.co·2d·
Discuss: Hacker News
⎈Kubernetes
The great misunderstanding of the DRY principle
pmatteo.com·4d·
Discuss: Hacker News
🎮Verification Games
Hiding messages in a deck playing cards
asherfalcon.com·2h·
Discuss: Hacker News
🏹Effect Systems
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·3d·
Discuss: Hacker News, Hacker News
❄️Nixified Development
A single chip 1.024 Tb/s silicon photonics PAM4 receiver
arxiv.org·1d
⚙️Operating System Design
Building a SFF nvme NAS with a Lenovo M920x
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
WebAssembly binding for llama.cpp – Enabling on-browser LLM inference
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
TrialCompass: Visual Analytics for Enhancing the Eligibility Criteria Design of Clinical Trials
arxiv.org·1d
📡Network Protocol Design
EsProc SPL：Equivalent to the Python Enhanced DuckDB
github.com·2d·
Discuss: Hacker News
👁️System Observability
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1d
✓Automated Theorem Proving
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·12h
🎮Verification Games
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·12h
🔠Type-Level Programming
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·2d
🛡️seL4
Site-Level Fine-Tuning with Progressive Layer Freezing: Towards Robust Prediction of Bronchopulmonary Dysplasia from Day-1 Chest Radiographs in Extremely Preter...
arxiv.org·1d
🐫OCaml
From the Tensor to the Transformer: Building the AI stack from first principles
github.com·5d·
Discuss: Hacker News
🏹Effect Systems