What’s your “change language”? Here are six ways you and your team can talk about change
fastcompany.com·5h
🧮Programming Language Theory
I wrote a threaded tool script to generate my runtime terrain in the editor
v.redd.it·1d·
Discuss: r/godot
🦀Rust
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·3d
🔍Static Analysis
I Updated My Blog Script
mtwb.blog·2d
🧩Theorem Proving
Open SWE: An Open-Source Asynchronous Coding Agent
blog.langchain.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
👐Open Source Software
C and VLAs (Variable Length Arrays)
subethasoftware.com·2d
🧠Memory Management
Show HN: Sparc3D AI – High‑Res 3D Generation Tool
sparc3dai.com·1h·
Discuss: Hacker News
🧫Cellular Automata
original ↗
mguhlin.org·2d
🧩Theorem Proving
original ↗
wingolog.org·2d·
Discuss: Hacker News
🧠Memory Management
How Confident Are You, ChatGPT?
aylinakkus.github.io·5h·
Discuss: Hacker News
🧩Theorem Proving
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·2d·
Discuss: Hacker News
🧩Theorem Proving
I clustered four Framework Mainboards to test huge LLMs
jeffgeerling.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/hardware
💾Retrocomputing
I Made An Encrypted, Security Optimized Gentoo on the Raspberry Pi 5 That's Easy
github.com·1d·
Discuss: Hacker News
🐧Linux
How to Code an EXTREMELY Simple User Interface for an Easy File Navigation Application
reddit.com·15h·
Discuss: r/AskProgramming
👐Open Source Software
carbon-language/carbon-lang v0.0.0-0.nightly.2025.08.07
github.com·2d
🧮Programming Language Theory
Why are most open-source distilled LLMs tiny despite so much research on distillation?
reddit.com·1d·
Discuss: r/LLM
🔗Parser Combinators
🧠 Built an AI tool to reduce tech debt and clean up messy codebases — would love dev feedback
reddit.com·1d·
Discuss: r/devops
👐Open Source Software
Incident Response Planning Using a Lightweight Large Language Model with Reduced Hallucination
arxiv.org·1d
🎲Probabilistic Programming
GPT-5 Just Landed… and I Think I Need a Seatbelt🏃
dev.to·23h·
Discuss: DEV
🎲Probabilistic Programming
Junior developers aren’t obsolete: Here’s how to thrive in the age of AI
github.blog·1d
🔌Network Programming