💻 Programming - plumenator · Scour

software Development ⚙️Systems Programming

medium.com

·5d

Let’s be honest. There’s a huge gap between writing code that works and writing code that’s actually good . It’s the number one thing that s... λFunctional Programming

efficientcoder.net·1d

Ask HN: Does Vibe Coding and Prompt Engineering make me an Software Engineer? ⚙️Systems Programming

news.ycombinator.com·11h·Hacker News

April 10, 2026 (#4644) 🔤Type Systems

alvinashcraft.com·5h

Global insights on Software Engineering, AI and Devops job openings 🔤Type Systems

corvi.careers·2d·Hacker News

Your weekend reading from Web Directions 🔤Type Systems

webdirections.org·16h

Hacker Newsletter #789 ✅Proof Assistants

HackerNews Letter via kill-the-newsletter.com·4h

.NET R&D Digest (March, 2026) 🔤Type Systems

olegkarasik.wordpress.com·6d

Getting Started with GitHub Copilot CLI for Coding Tasks 🦀Rust

mydeveloperplanet.com·2d

Automate Your Code Reviews: Welcome to the Post-AI Era of Software Development. 🧮Lean

medium.com·19h

Using R to Teach R: Lessons for Software Development 🧮Lean

r-bloggers.com·16h

About ⚙️c++

ditapl.us·2h

Better Balance in Informatics 2.0: The First-Year Students 🔤Type Systems

arxiv.org·1d

I Don’t Know How to Code. I’ve Built Dozens of Apps Anyway. 🧮Lean

asianefficiency.com·4d

Code is not abstracted away 🔍Abstract Interpretation

ahmethuseyindok.com·19h·Hacker News

Hacker Newsletter #789 🧮Lean

Hacker Newsletter via buttondown.com·5h

A brief history of C/C++ programming languages ⚙️c++

lemire.me·1d·Hacker News, r/rust

Odoo vs. NetSuite vs. SAP: Which ERP Actually Fits a Mid-Market Business? ⚙️Systems Programming

szglabs.com·10h·DEV

Thoughts on AI for Software Development 🔍Abstract Interpretation

herrherrmann.net·5h·Hacker News

March Week 5 📐PLT

i-programmer.info·5d

Loading more...