Google releases FunctionGemma: a tiny edge model that can control mobile devices with natural language
Carl Franzen December 19, 2025 Credit: VentureBeat made with ByteDance Seedream on Fal.aiWhile Gemini 3 is still making waves, Google’s…
development
AI will make formal verification go mainstream
Prediction: AI will make formal verification go mainstream Published by Martin Kleppmann on 08 Dec 2025. Much has been said…
Is vibe coding the new gateway to technical debt?
The exhilarating speed of AI-assisted development must be united with a human mind that bridges inspiration and engineering. Without it,…
OpenAI built an AI coding agent and uses it to improve the agent itself
Text settings Story text Size Small Standard Large Width * Standard Wide Links Standard Orange * Subscribers only Learn more…
Big Tech joins forces with Linux Foundation to standardize AI agents
Text settings Story text Size Small Standard Large Width * Standard Wide Links Standard Orange * Subscribers only Learn more…
Why I (still) love Linux
I know, this title might come as a surprise to many. Or perhaps, for those who truly know me, it…
Olmo 3: Charting a path through the model flow to lead open-source AI
Olmo 3: Charting a path through the model flow to lead open-source AI November 20, 2025Ai2ShareLanguage models are often treated…
Red Alert 2 in web browser
Development progressBeta version available The game client now supports fully working multiplayer, all original maps and more. You can check…
strace-macos: A clone of the strace command for macOS
strace-macos A system call tracer for macOS using the LLDB debugger API. Status: Beta – Core functionality works, but some…
10 patterns for faster python code
PyCharm The only Python IDE you need. Follow Follow: X X Youtube Youtube RSS RSS Download Web Development 10 Smart…
Why I don’t love Rust (either)
Why I don’t love Rust (either) Written on 2021-11-14 Edited on 2021-12-27: added a section on compile-time evalutation and one…
OS maintained by a single developer since 1997: Visopsys
Welcome! Visopsys is an alternative operating system for PC compatible computers. In development since 1997, this system is small, fast,…
Solana co-founder Anatoly Yakovenko is a big fan of agentic coding
The rise of agentic coding tools has been a sea change for software engineers across the industry — but for…
Claude Code on the web
ProductClaude Code on the webOct 20, 2025●2 min readToday, we’re introducing Claude Code on the web, a new way to…
Environment variables are a legacy mess: Let’s dive deep into them
2025-10-13 by allvpv <Przemysław Kusiak> Environment variables are a legacy mess: Let’s dive deep into them Programming languages have rapidly…
Microsoft Amplifier
Amplifier: Supercharged AI Development Environment “I have more ideas than time to try them out” — The problem we’re solving…
Valorant’s 128-Tick Servers
VALORANT’s 128-Tick Servers Hi, I’m Brent “Brentmeister” Randall and I’m an engineer on the Gameplay Integrity team for VALORANT. My…
How has mathematics gotten so abstract?
How has mathematics gotten so abstract?What’s the meaning of “numbers” and “arithmetic operations”? We consult Georg Cantor’s turtles and look…
The AI coding trap
If you ever watch someone “coding”, you might see them spending far more time staring into space than typing on…
Vibe coding: Hype or new reality? Only at TechCrunch Disrupt 2025
The idea of hiring your “first critical engineer” is getting a serious reality check at TechCrunch Disrupt 2025, October 27–29…