Résumé
dylanfitzgerald.net·2d
🦋Format Metamorphosis
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·2d
⚡Proof Automation
Small world: The revitalization of small AI models for cybersecurity
news.sophos.com·3d
💻Local LLMs
Is Including Hidden AI Prompts In Academic Papers Gaming The Peer Review System — Or Keeping It Honest?
techdirt.com·19h
⚡Proof Automation
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·3d·
Discuss: Hacker News
🔗Constraint Handling
Software Sprawl, the Golden Path, and Scaling Teams with Agency
charity.wtf·2d·
Discuss: Hacker News
🦋Format Evolution
Throughput Upgrade (With Train Illustrations)
blog.healthchecks.io·2d·
Discuss: Hacker News
🌊Stream Processing
Show HN: UniversalBit – A new binary protocol to connect voice, video and DNA
github.com·1d·
Discuss: Hacker News
👂Audio Evidence
I Published My First Python Library: `rs-calculator`
dev.to·11h·
Discuss: DEV
📚Lempel-Ziv
Hackaday Podcast Episode 330: Hover Turtles, Dull Designs, and K’nex Computers
hackaday.com·1d
⚡Circuit Archaeology
China is developing nation-spanning network to sell surplus data center compute power — latency, disparate hardware are key hurdles
tomshardware.com·2d
🇨🇳Chinese Computing
Amazon sells a legacy MSI CPU air cooler for $5,340 — the Core Frozr L launched in 2016 with a $50 MSRP
tomshardware.com·7h
🧲RISC-V Preservation
Maybe AI Isn't Going to Replace You at Work After All
charleshughsmith.substack.com·2d·
Discuss: Substack
⚡Proof Automation
DL580 Gen9 - My new (to me) number cruncher!
reddit.com·2d·
Discuss: r/homelab
🖥️Terminal Renaissance
Remembering the Markov Property in Cooperative MARL
arxiv.org·1d
🧮Kolmogorov Complexity
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·4d
🔲Cellular Automata
The Polymath Tool for All Your Audio and Document Needs
dev.to·14h·
Discuss: DEV
🎙️Whisper
How to Decide if Your Product Needs AI (or If You’re Just Chasing Trends)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Benefits and pitfalls of Vibe coding: navigating the AI-assisted era
dev.to·2d·
Discuss: DEV
✨Effect Handlers
Artificial Intelligence Tutorial: Unlocking the Power of Intelligent Machines
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression