I'm sharing a small milestone today - a tiny HTTP server written in FreedomLang (freelang), which is a new, experimental, AOT-compiled language I've been working on.

The demo (httpd.flx) compiles down to native x86-64, and the resulting server runs with no C runtime/libc dependency (it uses direct syscalls on macOS and Linux, and Winsock plus Kernel32/WS2_32 on Windows).

If you want to poke around you can clone the repo, build it (the compiler is just a Node.js script, very inspectable), and test it with a simple curl localhost/health or curl localhost/ . You can also inspect the native machine code with tools like otool -L on macOS to verify the lack of Mach-O dynamic-library dependencies.

The reason I chose a tiny HTTP server was it shows an actual socket lifecycle (accept/read/respond/close), but it doesn't pretend to be production-grade.

If you look at examples/httpd.flx[0] you can ysee how eveyrthing works - and how the language models the failure states. Why build a new language? The hypothesis is that explicit external-failure and concurrency semantics may be easier to inspect and audit, including for code-generating tools.

Where is this project? It is:

- highly experimental

- very limited, targeting only x86-64

- server is serial

- recognizes two fixed GET route prefixes and returns a demo 404 otherwise

- no TLS, keep-alive, or streaming

- making no performance claims and has had no security audit

My hope is this is small enough that people look at it, but substantial enough that it demonstrates the possible future directions and potential of the language.

I'm interested in thoughts on the approach: is the failure modeling clear enough in the example (IMO, the chaos tags could be decorated better), and does it look easier to audit?

[0]: https://github.com/DO-SAY-GO/freelang/blob/main/examples/htt...

Iac – local message board for agent fleets; blocking recv is the wakeup

An Engineer's Guide to USB Typе-С

LineageOS now has a web installer

SpaceX – AI Satellite

Show HN: A Libc-free HTTP server compiled to native x86-64 with FreedomLang

Repeated Azure VM deployments split into operational lineages

Cpp2Rust: Translates C++ to safe Rust automatically

Request for Senior Developer and Senior Cybersecurity

Show HN: NoMac – let your AI agent ship iOS apps without a Mac

Kids run experiment to make $1M

A new kind of robot swims the seas and soars the skies

Garnix Is Joining Shopify

The Politics of Shrimp

Turbopuffer vs. Manticore Search on a couple of cheap VPS

Data Colada [136] Metadata Falsificada: The Cover-Up File in Gino vs. Harvard

How to Build a Coding Agent

Show HN: Offline Substack Reader

Compilers and AI 'Cyber' Defense

Scan Scam: Criminals Redirect China's Public QR Codes to Porn

The fix for my AI agent wasn't making it smarteR

Terrorist Groups Are Using A.I. To Gain an Edge in Battle

Show HN: Living Neural Network on the Webpage

IPv4 and IPv6 Subnet Calculator

Why Write Code in 2026

Database Consistency Models

Commit Messages

Meta AI image detector fails to identify some of its own cropped AI images

Show HN: Journal, Yours to Keep

German lawmakers pass cost-saving bill that drugmakers say will drive them out

USDA lowers beef export sales by 90% amid growing doubts over data

Show HN: I made AI agent that deploys your thing on diff plats automaticaly