Trump Is Taking the Nixon ‘Enemies List’ a Step Further
nytimes.com·1d
🏗️UEFI
Old tricks, new tech: Scams in the age of AI
techxplore.com·6h
📟Embedded programming systems
Three ways formally verified code can go wrong in practice
buttondown.com·1d
🅒C language programming
What Is 'Slopcore'?
lifehacker.com·1d
🦀Rust language programming
GNU Health
gnuhealth.org·5h·
Discuss: Hacker News
🏗️UEFI
Upcoming Open Source - Programmable Security Control Center
codepen.io·2d·
Discuss: r/programming
📟Embedded programming systems
Maybe Use BioLMs To Mitigate Pre-ASI Biorisk?
lesswrong.com·1d
⚙️EFI applications
A Generic Vector Implementation in C using void*, func*
github.com·5d·
Discuss: r/C_Programming
🦀Rust language programming
Padding
reddit.com·17h·
Discuss: r/golang
🐹Go Language Programming
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·22m·
Discuss: r/programming
📟Embedded programming systems
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🦀Rust language programming
Windows Subsystem for FreeBSD (WSFB)
github.com·14h·
Discuss: Lobsters, Hacker News
🧙‍♂️Unix Operating Systems
Superpowers: How I'm using coding agents in October 2025
blog.fsck.com·2d·
Discuss: Hacker News
📟Embedded programming systems
TikTok Programming - Security Algorithms
github.com·2d·
Discuss: r/programming, r/programming
🦀Rust language programming
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
📟Embedded programming systems
New setup sanity check
i.redd.it·10h·
Discuss: r/selfhosted
🏗️UEFI
WebAssembly WASI compilers in the Web browser with exaequOS
exaequos.com·4d·
Discuss: Hacker News, r/programming
📟Embedded programming systems
GCC Patches Posted For C++26 SIMD Support
lxer.com·5h
🅒C language programming
I made a free AI code editor that is similar to Windsurf or Cursor, but runs on your PC using an Ollama LLM.
github.com·2d·
Discuss: DEV, Hacker News, r/AskProgramming
📟Embedded programming systems
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·1d·
Discuss: r/programming
📟Embedded programming systems