Topic feed
Programming languages, frameworks, and software development practice.
Lobsters
When I wrote about the Emacs packages I use, I mentioned that I had Embark installed but barely used it because I didn't understand much about how to really use it. One reason for that is that while there are a bunch of articles on the web about things you...
Lobsters
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both...
Google News Linux Kernel
Vibe Coding Is Keeping Old AMD Graphics Cards Alive on Linux PCMag Middle East
Google News Programming Languages
US banks rely on a 65-year-old programming language; companies are paying a premium for developers who know it MSN
Google News Programming Languages
Strudel REPL – Audio Programming Language GameDev.net
Google News Programming Languages
Hyundai Mobis adopts open source for mobility software development MSN
Google News Linux Kernel
Linux developers are using AI vibe coding to keep vintage AMD GPUs alive — R600 driver cleaned up with GitHub Copilot gives HD 2000 to HD 6000 series a new lease of life Tom's Hardware
Google News Open Source
Top GitHub & Hacker News: Open-Source Project Slashes AI Programming Costs by 98% - Emergent Project 36 Kr
Google News Open Source
Open-Source Coding Enters Agent Era Open Source For You
Google News Programming Languages
How this 65-year-old programming language that powers world's 9% ATMs is making companies spend millions to keep it running MSN
Google News Open Source
AWS Unfurls Open Source AI Agent to Enable Better AI Coding Outcomes DevOps.com
