frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Rail: A self-hosting language that speaks TLS alone

https://github.com/zemo-g/rail
9•zem0g•5h ago

Comments

refulgentis•2h ago
Honest response after half an hour: the author AI-DDoS'd themself.

Starting at README.md: It's nigh unreadable and says genuinely odd things on repeat. "22 pure-Rail TLS tests, all green" is not a brag for a stack that ships its own ASN.1, X.509, two elliptic curves, RSA-PSS, RSA-PKCS1, AEAD, and a TLS 1.3 state machine. The "Production surface is narrow and honest" paragraph then lists everything except a kitchen sink.

"v3.0.0 is self-improving": what? It's a DSL and its compiler. The repo's claim decompresses to "I prompt an LLM to emit Rail and used `does it compile?` as the reward." Compiles != correct; "three independent training lineages" is doing the work of "I ran the loop three times."

The worst part is that the AI should have been pointed at the codebase, not at the marketing. The TLS client never walks the cert chain: tls13_client.rail parses the leaf, verifies the leaf's signature against the leaf's own public key, and calls it a day. cc_walk_chain exists in cert_chain.rail but is reachable only from test files. Any self-signed cert with the right SAN trivially MITMs every HTTPS call the README advertises. The TLS ephemeral private key is generated by shelling dd if=/dev/urandom into a fixed /tmp/rail_https_rand.bin path, so any local user wins it with a symlink race and passively decrypts every session. And http_server.rail's serve_static is literally dir + path with no .. rejection: GET /../../etc/passwd works.

wrxd•1h ago
What does it even mean?
wonnage•1h ago
Today in AI psychosis:
blurb2023•1h ago
but why?..

Any Color You Like: NIST Scientists Create 'Any Wavelength' Lasers

https://www.nist.gov/news-events/news/2026/04/any-color-you-nist-scientists-create-any-wavelength...
38•rbanffy•1h ago•6 comments

The electromechanical angle computer inside the B-52 bomber's star tracker

https://www.righto.com/2026/04/B-52-star-tracker-angle-computer.html
209•NelsonMinar•5h ago•65 comments

College instructor turns to typewriters to curb AI-written work

https://sentinelcolorado.com/uncategorized/a-college-instructor-turns-to-typewriters-to-curb-ai-w...
66•gnabgib•3h ago•45 comments

Thoughts and feelings around Claude Design

https://samhenri.gold/blog/20260418-claude-design/
135•cdrnsf•2h ago•84 comments

Optimizing Ruby Path Methods

https://byroot.github.io/ruby/performance/2026/04/18/faster-paths.html
17•weaksauce•1h ago•6 comments

Migrating from DigitalOcean to Hetzner

https://isayeter.com/posts/digitalocean-to-hetzner-migration/
624•yusufusta•8h ago•326 comments

State of Kdenlive

https://kdenlive.org/news/2026/state-2026/
306•f_r_d•10h ago•104 comments

Modern Common Lisp with FSET

https://fset.common-lisp.dev/Modern-CL/Top_html/index.html
32•larve•3d ago•0 comments

Michael Rabin has died

https://en.wikipedia.org/wiki/Michael_O._Rabin
365•tkhattra•3d ago•77 comments

Show HN: MDV – a Markdown superset for docs, dashboards, and slides with data

https://github.com/drasimwagan/mdv
69•drasim•6h ago•29 comments

Floating Point Fun on Cortex-M Processors

https://danielmangum.com/posts/floating-point-cortex-m/
21•hasheddan•1d ago•1 comments

Sumida Aquarium Posts 2026 Penguin Relationship Chart, with Drama and Breakups

https://www.sumida-aquarium.com/special/sokanzu/en/2026/
143•Lwrless•3d ago•5 comments

Traders placed over $1B in perfectly timed bets on the Iran war

https://www.theguardian.com/world/2026/apr/18/iran-war-bets-ethics-concerns
120•trocado•3h ago•86 comments

PgQue: Zero-Bloat Postgres Queue

https://github.com/NikolayS/pgque
46•gmcabrita•5h ago•3 comments

Opus 4.7 to 4.6 Inflation is ~45%

https://tokens.billchambers.me/leaderboard
371•anabranch•6h ago•388 comments

Show HN: AI Subroutines – Run automation scripts inside your browser tab

https://www.rtrvr.ai/blog/ai-subroutines-zero-token-deterministic-automation
16•arjunchint•1d ago•2 comments

UpCodes (YC S17) is hiring SDRs to help make construction more productive

https://up.codes/careers?utm_source=HN
1•Old_Thrashbarg•5h ago

Scientists discover "cleaner ants" that groom giant ants in Arizona desert

https://www.sciencedaily.com/releases/2026/04/260414075641.htm
63•t-3•3d ago•25 comments

Show HN: Remoroo. trying to fix memory in long-running coding agents

https://www.remoroo.com
20•adhamghazali•4d ago•3 comments

Graphs that explain the state of AI in 2026

https://spectrum.ieee.org/state-of-ai-index-2026
55•bryanrasmussen•5h ago•35 comments

4-bit floating point FP4

https://www.johndcook.com/blog/2026/04/17/fp4/
26•chmaynard•4h ago•14 comments

80386 Memory Pipeline

https://nand2mario.github.io/posts/2026/80386_memory_pipeline/
71•wicket•4d ago•10 comments

Amiga Graphics Archive

https://amiga.lychesis.net/
222•sph•15h ago•63 comments

Fuzix OS

https://www.fuzix.org/
65•DeathArrow•6h ago•24 comments

Understanding the FFT Algorithm (2013)

https://jakevdp.github.io/blog/2013/08/28/understanding-the-fft/
39•peter_d_sherman•3d ago•3 comments

Category Theory Illustrated – Orders

https://abuseofnotation.github.io/category-theory-illustrated/04_order/
216•boris_m•15h ago•57 comments

It's OK to compare floating-points for equality

https://lisyarus.github.io/blog/posts/its-ok-to-compare-floating-points-for-equality.html
164•coinfused•4d ago•112 comments

Show HN: I made a calculator that works over disjoint sets of intervals

https://victorpoughon.github.io/interval-calculator/
283•fouronnes3•21h ago•49 comments

Why Japan has such good railways

https://worksinprogress.co/issue/why-japan-has-such-good-railways/
263•RickJWagner•9h ago•263 comments

Towards trust in Emacs

https://eshelyaron.com/posts/2026-04-15-towards-trust-in-emacs.html
174•eshelyaron•3d ago•26 comments