Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·5h·
Discuss: Substack
✓Automated Theorem Proving
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
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·5h·
Discuss: Hacker News
❄️Nix
The AI Application Land Grab
frontierai.substack.com·11h·
Discuss: Substack
✓Automated Theorem Proving
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
An example of drifting away in dev
mohas.bearblog.dev·9h·
Discuss: Hacker News
❄️Nixified Development
Targeted Deep Architectures: A TMLE-Based Framework for Robust Causal Inference in Neural Networks
arxiv.org·1d
🏹Effect Systems
From Corporate Grind to Home Server Grind: My Self-Hosting Adventure
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
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
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
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
BENYO-S2ST-Corpus-1: A Bilingual English-to-Yoruba Direct Speech-to-Speech Translation Corpus
arxiv.org·3d
🐫Embedded OCaml
Enhancing Clinical Text Classification via Fine-Tuned DRAGON Longformer Models
arxiv.org·3d
🏹Effect Systems
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·2d
🛡️seL4