frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

1•bpedro•26s ago

A 16-step drum sequencer in the browser

https://plastic.audio/drum-sequencer/
1•madbyte•50s ago•0 comments

People Against Genocide Smash Military Satellites on Balfour Anniversary

https://aftershock.media/military-satellites-balfour/
2•slowin•2m ago•0 comments

'It's just vape, nail, charity shops': Can anything save UK high street?

https://www.theguardian.com/business/2026/nov/04/what-can-save-the-british-high-street-rotherham
2•theanonymousone•3m ago•0 comments

Show HN: GPUWorks – A 40 MB GPU cluster manager for vLLM/SGLang, no K8s needed

https://github.com/flitai-io/gpuworks
1•wangweinoo1•5m ago•0 comments

USA vs China: Who Spent $4T Better? [video]

https://www.youtube.com/watch?v=RKs-33twRv8
2•karakoram•6m ago•0 comments

Learn how to design AI systems

https://github.com/daneb/ai-system-design-primer/
1•danebalia•6m ago•1 comments

OpenAI targets Microsoft's GitHub with deal to acquire dev tools startup

https://finance.yahoo.com/technology/ai/articles/exclusive-openai-targets-microsofts-github-11290...
2•theanonymousone•7m ago•0 comments

Shlemiel the Painter Is Back: How Zig's Libc Rewrite Made SQLite 12,000× Slower

https://dennisforbes.ca/blog/microblog/2026/10/the_accidental_12000x_sqlite_slowdown/
1•theanonymousone•8m ago•0 comments

Show HN: 25posts – Guess the impressions of real LinkedIn posts

https://25posts.com/play
1•bilyas509•8m ago•1 comments

MSecure password manager hack prompts password reset warnings

https://www.bleepingcomputer.com/news/security/msecure-password-manager-hack-prompts-password-res...
1•sashk•9m ago•0 comments

Show HN: Meshword - crosswords meet nonograms

https://meshword.org/
1•oliwary•10m ago•0 comments

And now, all of the conditions are set for universal basic income

https://twitter.com/Joshbocanegra/status/2117992864638750744
3•jbai•10m ago•0 comments

LZ4 v1.11.0: multithreading in the library, speed gains for small data

https://github.com/lz4/lz4/releases/tag/v1.11.0
1•mfiguiere•10m ago•0 comments

Westchester voting snafu stemmed from a change in one Ardsley contest

https://www.lohud.com/story/news/politics/elections/2026/11/03/westchester-rockland-putnam-electi...
1•quuxplusone•10m ago•1 comments

Deterministic security and privacy checks for code from AI assistants

https://github.com/ankush1982/ai-secure-by-design
1•ankush82•11m ago•0 comments

Glyph Keyboard (Typewriter Type)

https://boilingsteam.com/epomaker-glyph-keyboard-review/
1•ekianjo•12m ago•0 comments

Uber only fulfilled 4 rides from AI agents last quarter

https://www.theverge.com/transportation/1026306/ber-ai-agents-q3-earnings-disintermediation
1•mattas•13m ago•0 comments

'A historic beatdown': Americans take back their country in rebuke to Trump

https://www.theguardian.com/commentisfree/2026/nov/04/a-historic-beatdown
4•hkhn•13m ago•0 comments

Buttons are back and storage is king when it comes to car interiors

https://arstechnica.com/cars/2026/11/yes-to-storage-no-to-piano-black-how-car-interior-design-is-...
2•Brajeshwar•14m ago•0 comments

As Mangrove Forests Expand in China, Bird Species Multiply

https://e360.yale.edu/digest/china-mangrove-restoration-bird-species
1•Brajeshwar•14m ago•0 comments

Show HN: Skykeep – Your iPhone's iCloud as desktop apps for Windows and Linux

https://github.com/YashwanthKamireddi/Skykeep
1•yashkamireddi•14m ago•0 comments

Ask HN: How are you making sites/APIs agent-ready?

1•dieselgate•14m ago•0 comments

The Forgotten Formula For Lovable Cities

https://worksinprogress.co/issue/the-forgotten-formula-for-lovable-cities/
1•karakoram•16m ago•0 comments

Fixes available in -proposed pocket for CVE-2026-98432

https://ubuntu.com/blog/fixes-available-in-proposed-pocket-for-cve-2026-98432
3•basedpolymer•16m ago•1 comments

Show HN: I built a Bible verse feed to replace doomscrolling

https://scrollhope.com/
2•jclardy•21m ago•3 comments

Bluetooth High Data Throughput opens a new chapter in wireless performance

https://www.bluetooth.com/press/bluetooth-high-data-throughput-opens-a-new-chapter-in-wireless-pe...
1•0in•22m ago•0 comments

Human-in-the-loop authorization for AI agents

https://airlockapp.io/
1•feldrim•23m ago•0 comments

Software Engineering Is Worth Teaching

https://uptointerpretation.com/posts/software-engineering-is-worth-teaching/
3•hardwaregeek•25m ago•0 comments

Show HN: Acoustic Orbit – a Mac app that plays your speakers together, in sync

https://acousticorbit.com/
1•snehasis_gouda•25m ago•0 comments
Open in hackernews

Evergreen: A Provably Safe Systems Language

https://evergreenlang.net
16•jordan_bonecut•50m ago

Comments

jordan_bonecut•50m ago
This language has been something I've wanted to build for years. For a while I thought I'd get my PhD and build it there. But now it's very possible to have Claude build it while I'm at work and give it intense code review every day. It's still not in a "useful" place yet, but I'm curious what fellow programmers think of a language like this. If I continue work is this something anyone thinks they'd enjoy using? Would love some feedback, thanks!
sblom•21m ago
It's a really great concept. What guarantees are made by the prover?

Success in programming languages is not simply if-you-build-it-they-will-come. Bootstrapping a community that loves programming in it is the hard part. You'll either need a killer interop story with an already built ecosystem, or you'll need your own HTTP server, JSON parser, etc. etc. etc.

Best of luck! I'll watch this space.

jordan_bonecut•17m ago
Thanks! The guarantee is that, without the use of trustme (which can prove any fact), you cannot address memory as the wrong type. The compiler also ensures that a pointer/reference to a value is live at compile time, so it’s not possible to create an invalid pointer (without the use of trustme). You can also claim any fact which the compiler must prove in order to continue compilation.

That is good advice, I’m definitely planning on including some batteries soon, once I’m very happy with where the compiler is at.

TofuLover•12m ago
Is this just "Rust with dependent types"? Not saying that as a criticism, I think this is genuinely useful.
jordan_bonecut•4m ago
Dependent types are part of it, yeah! There are definitely some things I dislike about Rust which I am not planning on including, mainly lifetimes and some ways they handle pointer mutability. One thing I particularly dislike about Rust is:

let x = vec![1,2,3]; let a = &mut x[0]; let b = &mut x[1]; swap(a, b);

This is not allowed. And actually in the compiler’s mind it’s for the same reason as this:

let x = vec![1,2]; let a = &mut x[0]; x.push(3); a = a + 1;

Which is definitely not safe and should be rejected. But the compiler cannot reason that the above case is actually safe, because they both fail to compile for lifetime reasons.

Another thing I’m working on are “patterns” which are like enums on steroids. In Rust you cannot define how an enum is laid out, thus requiring optimizations for types like Option<&T> to be in the compiler. In evergreen this will be in the language via a similar process to trait implementation.

gtutino•7m ago
That's basically SPARK (the Ada subset) but with c-like syntax (more or less).