First screen, captured 9 days ago. Open the video.

C++26 Disapproved

What HN thinks

A language committee discovers that the veto button is, in fact, connected to something.

Contracts are half-baked, rejection justified
Many argue C++26 contracts add complexity and new footguns (like observe mode UB, ABI mode conflicts) while offering little over existing assertion frameworks, concepts and constexpr, so the national bodies were right to vote no.
Contracts still have real value
Others counter that runtime invariant checking and pre/post annotations visible to static analyzers are useful, and the feature wasn't worth killing a whole standard over; a simplified version should return.
C++ has too many features
A broad thread argues the committee keeps piling on pet features and should slow down, fix existing messes like std::regex, char8_t, filesystem and build tooling, and prioritise safety and simplicity.

Consensus: Most agree the current contracts design is flawed or at least premature, and that exercising the NB veto is the process working rather than a betrayal; there is no consensus on whether Stroustrup's role was legitimate.

Recommended in the comments

Abseil ↗ (library): Cited as an existing way to do defensive, contract-like checks in C++ today.
CBMC (tool): Used with custom macros to get compositional formal verification in C.
ISPC ↗ (tool): Offered as proof SIMD can be handled reasonably well at the compiler level.
Highway ↗ (library): Recommended as a more capable portable SIMD option than std::simd.
Fil-C (tool): Suggested for guaranteed memory safety at a performance cost.
Ada (other): Held up as the gold standard for contracts and the sensible choice for defense software.

Summarised by Claude from the comment thread 9 days ago.

Points: 377
Comments: 282
Best rank: #1
Posted: 2026-11-04 by thatxliner
Category: Programming

cpp cpp26 iso-standardization wg21 contracts

All captures:

Full page

Captured 9 days ago. Click for the whole screenshot.

Looks similar

Screenshot of gyptazy.com: Live-migration support in FreeBSD and bhyve coming

Live-migration support in FreeBSD and bhyve coming (gyptazy.com)

63 points by JohnDohnBohn 5 hours ago | 15 comments

Blog post presenting a work-in-progress RFC implementation of live VM migration for bhyve on FreeBSD 15.1, covering design, test results, and blockers to upstreaming.

freebsd bhyve live-migration virtualization

Unlocking any car from X brand in most of the world (shubs.io)

578 points by infosecau 5 days ago | 317 comments

Screenshot of pigshell.com: Pigshell: Unix the Web

Pigshell: Unix the Web (pigshell.com)

63 points by pbohun 4 days ago | 18 comments

Pigshell 0.6.4 is a browser-based Unix-style shell that represents web resources and cloud data as files you can process with command pipelines.

pigshell unix-shell javascript browser-shell

Screenshot of lesswrong.com: I struggle to believe that AI R&D is ingenious

I struggle to believe that AI R&D is ingenious (lesswrong.com)

136 points by porridgeraisin 7 days ago | 155 comments

A LessWrong shortform comment by Arjun Panickssery arguing AI agents show poor research judgment in autonomous R&D side projects like a Scrabble engine and philosophy research.

ai-research-agents autonomous-r-and-d llm-capabilities lesswrong

Screenshot of openssh.org: OpenSSH 10.6p2 Critical workaround for alpine without PAM

OpenSSH 10.6p2 Critical workaround for alpine without PAM (openssh.org)

247 points by selckin 8 days ago | 12 comments

OpenSSH release notes for portable 10.6p2, which fixes a password authentication bypass in sshd on Linux systems using musl libc with PAM disabled.

openssh sshd musl alpine-linux

Screenshot of level102.itch.io: Echoloc: A minimalist echolocation horror videogame

Echoloc: A minimalist echolocation horror videogame (level102.itch.io)

5 points by ggambetta 6 days ago | 1 comments

Itch.io page for ECHOLOC, a free browser-based 3D horror game where the player navigates dark halls by clicking their tongue to echolocate while avoiding a sound-hunting creature.

echolocation horror-game itch-io html5-games