This Week: OpenAI $500B, Microsoft vs. Nvidia and 10 Remote Dev Jobs ($120-267k)
gettingcodedone.com·23h·
Discuss: r/programming
Live Programming
built a full java desktop app with claude 4 sonnet + cursor in one sitting
teamdev.com·1d·
Discuss: r/programming
Live Coding
2 month MiniPC mini-review: Minisforum AI X1 Pro (AMD HX 370)
ivoras.substack.com·12h·
🖥️Minimal VMs
The Counterfactual Quiet AGI Timeline
lesswrong.com·2d
🏰Capability Machines
ultralytics/ultralytics v8.3.205
github.com·2d
🦀MIR Optimization
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·2h
🕸️Tarjan Algorithms
Inductive inference of gradient-boosted decision trees on graphs for insurance fraud detection
arxiv.org·2h
🌱Minimal ML
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
Type Checking
Inference of LLMs with offloading to SSD(NVMe)
reddit.com·1d·
Discuss: r/LocalLLaMA
🏗️LLVM
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·1d
Effect Inference
Learning from Failures: Understanding LLM Alignment through Failure-Aware Inverse RL
arxiv.org·2h
🪜Recursive Descent
OpenAI Just Ditched NVIDIA (And It Should Terrify You)
dev.to·1d·
Discuss: DEV
📊Profiling
Becoming better
reddit.com·9h·
Discuss: r/embedded
💬Error Message Design
IBM Introduces the Spyre Accelerator for Commercial Availability
newsroom.ibm.com·17h·
Discuss: Hacker News
🏰Capability Machines
What is Windows ML
learn.microsoft.com·12h
🚀MLton
How AI broke the DRY principle — and why that’s a good thing
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🌳Pattern Match Compilation