Thoughts on AI and software development - Part 4
ufried.com·2d
⚡Incremental Computation
Generative AI’s crippling and widespread failure to induce robust models of the world
garymarcus.substack.com·14h·
Discuss: Substack
🔲Cellular Automata
Blackwell: Nvidia’s Massive GPU
chipsandcheese.com·10h·
Discuss: Hacker News
🚀RISC-V Vector
I will fix your vibe-coded MVP – sgnt.ai
sgnt.ai·1d·
Discuss: Hacker News
🔓Hacking
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·3d·
Discuss: Hacker News
⚡Proof Automation
A case for courage, when speaking of AI danger
lesswrong.com·2d·
Discuss: Hacker News
🎯Threat Hunting
monads at a practical level
nyadgar.com·1d·
Discuss: Hacker News, r/programming
🧬Functional Programming
FieldX 0.2.0 released
reddit.com·12h·
Discuss: r/rust
🦀Rust Borrowing
UCCL: An Extensible Software Transport Layer for GPU Networking
github.com·10h·
Discuss: Hacker News
🖥️Modern Terminals
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·1d·
Discuss: DEV
🔤DSLs
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3d·
Discuss: DEV
✓Automated Theorem Proving
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·5d
⚖️Hoare Logic
Making AI Models Accessible Anywhere :: Scaling AI Traffic with Envoy AI Gateway
dev.to·13h·
Discuss: DEV
🏠Homelab Orchestration
Feedback wanted: We’re auto-generating Kubernetes operators from OpenAPI specs (introducing oasgen-provider)
reddit.com·20h·
Discuss: r/kubernetes
🔓Open Source Software
How to Banish Anxiety, Lower MTTR, and Stay on Budget During Incident Response
dev.to·2d·
Discuss: DEV
👁️System Observability
From Painful API Testing to AI-Powered Ease with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
SpeakUp AI — Master Professional Communication with AI
dev.to·15h·
Discuss: DEV
🎙️Whisper
Day 18: When Automation Goes Wrong
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Juris.js: Non-Blocking Rendering: The Game-Changer in Modern Web Development
dev.to·1d·
Discuss: DEV
🌊Stream Processing
My Keploy Testing Experience
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds