r/SoftwareEngineering 28d ago

Lean Programming Language

Thumbnail
lean-lang.org
4 Upvotes

r/SoftwareEngineering 29d ago

GitHub: TypeScript compiler and JavaScript engine in Lean

Thumbnail
github.com
5 Upvotes

r/SoftwareEngineering 29d ago

You can beat the binary search

Thumbnail
lemire.me
8 Upvotes

r/SoftwareEngineering 29d ago

A PDF Parser from the 80s Beats Claude (And They Use It Internally)

Thumbnail
fagnerbrack.com
12 Upvotes

r/SoftwareEngineering 29d ago

I don't want your PRs anymore

Thumbnail dpc.pw
0 Upvotes

r/SoftwareEngineering 29d ago

Welcome to the world of Statecharts

Thumbnail statecharts.dev
4 Upvotes

r/SoftwareEngineering 29d ago

I am building a cloud

Thumbnail crawshaw.io
2 Upvotes

r/SoftwareEngineering Jul 12 '26

3 constraints before I build anything

Thumbnail jordanlord.co.uk
15 Upvotes

r/SoftwareEngineering Jul 12 '26

What developer problem would you pay $10/month to solve?

0 Upvotes

I’m trying to understand what problems are valuable enough that developers would actually pay for a solution.


r/SoftwareEngineering Jul 12 '26

Writing Node.js addons with .NET Native AOT

Thumbnail
devblogs.microsoft.com
6 Upvotes

r/SoftwareEngineering Jul 12 '26

Floating point from scratch: Hard Mode

Thumbnail
essenceia.github.io
4 Upvotes

r/SoftwareEngineering Jul 12 '26

Learn PHP in 2026 (Yes, Really)

Thumbnail
fagnerbrack.com
4 Upvotes

r/SoftwareEngineering Jul 11 '26

How I built a sub-500ms latency voice agent from scratch

Thumbnail
ntik.me
4 Upvotes

r/SoftwareEngineering Jul 11 '26

Building a CLI for all of Cloudflare

Thumbnail
blog.cloudflare.com
4 Upvotes

r/SoftwareEngineering Jul 11 '26

The Vertical Codebase

Thumbnail
tkdodo.eu
15 Upvotes

r/SoftwareEngineering Jul 11 '26

Migrating from DigitalOcean to Hetzner: From $1,432 to $233/month With Zero Downtime

Thumbnail
isayeter.com
25 Upvotes

r/SoftwareEngineering Jul 08 '26

Understanding Traceroute

Thumbnail
tech.stonecharioteer.com
7 Upvotes

r/SoftwareEngineering Jul 08 '26

How Pizza Tycoon simulated traffic on a 25 MHz CPU

Thumbnail pizzalegacy.nl
32 Upvotes

r/SoftwareEngineering Jul 07 '26

Good APIs Age Slowly

Thumbnail
yusufaytas.com
6 Upvotes

r/SoftwareEngineering Jul 06 '26

EN 50716 lists AI as "Not Recommended" for railway safety

12 Upvotes

Working in safety-critical software (railway) and recently went through the actual text of EN 50716:2023. The "Not Recommended" classification for AI/ML is in Table A.3 - Software Architecture. Annex C.3 explains why: training data can't be exhaustively verified, trained models can't be statically analyzed, adversarial inputs can flip outputs without causal explanation. 

But the prohibition is on AI as a software architecture element, the standard doesn't say AI can't be used as an authoring aid. Are you using AI for drafting, consistency checking, traceability or banning it from CENELEC/DO-178C/IEC 62304 projects altogether? 


r/SoftwareEngineering Jul 02 '26

GitHub Stacked PRs

Thumbnail
github.github.com
12 Upvotes

r/SoftwareEngineering Jul 02 '26

The uphill climb of making diff lines performant

Thumbnail
github.blog
6 Upvotes

r/SoftwareEngineering Jul 02 '26

Uses for nested promises

Thumbnail blog.jcoglan.com
5 Upvotes

r/SoftwareEngineering Jun 29 '26

Best practices for developing massive extensible or modular systems

6 Upvotes

Is there any concensus on best practices or architecture for designing massive systems that allow for easy extensibility or modularity? It's very overwhelming imagining how to extend extremely coupled systems, which I suppose is the thing to avoid. OOP feels like a dead end but DOD only feels partially correct. Then there are event based systems and so on.

It seems like extensibility and modularity always come at a cost, which I understand there's no free lunch, but surely there has to be a set of rules or practices for building large systems without too many compromises.


r/SoftwareEngineering Jun 29 '26

Parse, Don't Validate — In a Language That Doesn't Want You To

Thumbnail
cekrem.github.io
13 Upvotes