22.00.0161 Work log
johnnydecimal.com·1d
📝Log Parsing
Flag this post
Recapping our inaugural Axe-con Mini event
deque.com·17h
⚙️Proof Engineering
Flag this post
Friday 5 December 2025 - 11am
informatics.ed.ac.uk·1h
🧠Machine Learning
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·17h·
Discuss: Hacker News
🏛️Philosophy
Flag this post
Security Patch: IBM InfoSphere Information Server Vulnerable to DoS Attacks
heise.de·21h
🏢IBM Mainframes
Flag this post
Restoring America’s Strong American Future by Eradicating Its Un-American Past
newyorker.com·23h
📜Family History Data
Flag this post
Grokipedia Wiki — Independent Encyclopedia Comparison Platform
dev.to·7h·
Discuss: DEV
📰Content Curation
Flag this post
mudler/edgevpn
github.com·9h
📞WebRTC
Flag this post
TrueNAS 25.10 with NVMe-oF Support, Faster API, and New OpenZFS
heise.de·19h
💿ZFS Internals
Flag this post
Show HN: Multi-Agent Code Review
news.ycombinator.com·15h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·13h·
Discuss: Hacker News
Proof Automation
Flag this post
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
arxiv.org·5h
🧠Machine Learning
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🦀Rust Verification
Flag this post
Accelerated Dielectric Barrier Coating Optimization via Multi-Modal Data Fusion & Bayesian Hyperparameter Tuning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
Novelty and Impact of Economics Papers
arxiv.org·1d
📡Information theory
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·22h·
Discuss: DEV
Proof Automation
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·3d·
Discuss: DEV
🔄Archival Workflows
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·10h·
Discuss: DEV
🖥️Terminal Renaissance
Flag this post