Experimenting with ACL2 and Claude Code
mikedodds.orgยท16hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
My First Week of Vibecoding
underreacted.leaflet.pubยท2hยท
Discuss: Hacker News
๐Ÿ”คTokenization
InferenceMax AI benchmark tests software stacks, efficiency, and TCO โ€” vendor-neutral suite runs nightly and tracks performance changes over time
tomshardware.comยท9h
๐Ÿ–ฅGPUs
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.orgยท14hยท
Discuss: Hacker News
๐Ÿ”ฌFood Microbiology
Samsung SmartThings finally adds support for joining existing Thread networks
theverge.comยท12h
๐Ÿค–Home Assistant
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.comยท4hยท
Discuss: Hacker News
๐Ÿง LLM Inference
เดˆเดฒเต‹เด•เด—เต‹เดณเด‚ เดคเดฟเดฐเดฟเดฏเตเดจเตเดจ เดฎเดพเตผเด—เตเด—เด‚ - Cosmic Spiral of Compassionate Intelligence
vivaram.orgยท7h
๐Ÿ„Mycorrhizal Networks
AAS: The Metric for Monitoring DB Performance
kylehailey.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŠDatabase Profiling
Mandiant Academy: Basic Static and Dynamic Analysis course now available
cloud.google.comยท13h
๐Ÿ”Binary Analysis
Tangled, a Git collaboration platform, built on atproto
blog.tangled.orgยท7hยท
Discuss: Hacker News
๐ŸŒAxum
Three ways formally verified code can go wrong in practice
buttondown.comยท11h
๐Ÿ’ปProgramming languages
A Year of Gentoo
arch.dogยท15hยท
Discuss: Lobsters, Hacker News
๐Ÿ Self-hosting
3D Printing the Smartspin 2k with an Ender 3 v2
blog.matthewbrunelle.comยท7h
๐Ÿ“ฆWASM
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.orgยท5hยท
Discuss: Hacker News
โšกQUIC Protocol
Hardware Vulnerability Allows Attackers to Hack AI Training Data โ€“ NC State News
news.ncsu.eduยท8hยท
Discuss: Hacker News
๐Ÿ›ก๏ธAI Security
Daily News Stuff 10 October 2025
ai.mee.nuยท19h
๐Ÿ’ปChips
Has anyone here tried Artiforge? Itโ€™s a toolkit that helps coding with AI using MCP. Iโ€™ve been exploring it lately and Iโ€™m curious if someone had tried it.
artiforge.aiยท19hยท
Discuss: r/programming
๐Ÿ”งDeveloper tools
Transcript: AI peak is peak AI
ft.comยท21h
๐Ÿ–ฅGPUs
WebSockets with Next.js Part 4: Going Native - Ditching Socket.IO
pedroalonso.netยท7h
๐Ÿ“˜Typescript
Building a Scalable QA Automation Strategy: The 90-Day Roadmap
codemeetscapital.bearblog.devยท12h
๐Ÿ‘จโ€๐Ÿ’ปSoftware development practices