frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Hole Punch: Sling your spaceship around gravitational fields

https://notoriousbfg.com/hole-punch/
72•trwhite•2h ago•25 comments

Kolibri – Tech Report [pdf]

https://aleph-alpha.com/downloads/tech-report.pdf
85•yu3zhou4•2h ago•4 comments

Celebrating the 100th birthday of the kidney donated to him as a teenager

https://www.whec.com/top-news/webster-man-celebrating-the-100th-birthday-of-the-kidney-his-mom-do...
53•gscott•2d ago•8 comments

FTL: A new operating system for clouds

https://ftl-os.org/
115•romac•5h ago•49 comments

Show HN: Pi pod – Run your pi coding agent in sandboxes on your own server

https://pipod.dev/
33•edverma2•1d ago•21 comments

Kolibri: A Sovereign Open-Weight Model

https://aleph-alpha.com/en/blog/kolibri-has-landed-a-sovereign-open-weight-model/
374•bastitx•10h ago•250 comments

We want you to build the next Git platform on Cloudflare

https://blog.cloudflare.com/next-git-platform-on-cloudflare/
6•geoffbp•48m ago•3 comments

Vx – One Language, Every Chip

https://vxlang.org/
26•elffjs•2h ago•15 comments

Woking Electrical Control Room (2016)

http://www.darbiansphotography.com/woking-electrical-control-room-urbex
106•NaOH•23h ago•18 comments

Getting the most out of Opus 5.5 in Claude and Claude Code

https://claude.dev/blog/getting-the-most-out-of-opus-5-5/
12•saikatsg•1h ago•0 comments

Show HN: Graphene – Data analysis toolkit for your coding agent

https://github.com/graphene-data/graphene
15•kcmarr•1d ago•4 comments

C++ Insights – See your source code with the eyes of a Compiler

https://github.com/andreasfertig/cppinsights
116•rramadass•1d ago•23 comments

RetailReady (YC W24) Is Hiring

https://www.ycombinator.com/companies/retailready/jobs/bFcgIe4-implementations
1•sarah74•3h ago

Pop!_OS bans AI-generated code from much of its codebase

https://www.neowin.net/news/system76-bans-ai-generated-code-across-many-of-its-cosmic-codebases/
76•bundie•2h ago•75 comments

ADHD, autism or complex trauma? [pdf]

https://www.cambridge.org/core/services/aop-cambridge-core/content/view/30CC4826561366615BFAEC807...
156•skeptical1884•2h ago•117 comments

Newgrounds.com – A community of games, music, and art

https://www.newgrounds.com/
412•azhenley•19h ago•121 comments

Show HN: Our space game has a built-in RISC-V emulator that runs Linux

https://againstallodds.games/blog/2026/10/03/our-risc-v-emulator-pasriscv/
49•nor-and-or-not•1d ago•13 comments

Elon Musk Emails

https://elonmuskmails.com/
13•rishikeshs•42m ago•1 comments

Court agrees with EFF: Utah's VPN law demands a technical impossibility

https://www.eff.org/deeplinks/2026/10/court-agrees-eff-utahs-vpn-law-demands-technical-impossibility
767•hn_acker•1d ago•372 comments

MPEG-2 Transport Streams and MOQ: Yes, MPEG-TS Is Still Relevant Today

https://www.red5.net/blog/mpeg-2-transport-streams-and-moq-yes-mpeg-ts-is-still-relevant-today/
23•mondainx•2d ago•6 comments

Body Awareness in Goffin's Cockatoos

https://www.nature.com/articles/s41598-026-57500-7
27•bryanrasmussen•3d ago•3 comments

Mike Tomlin spent 12 years building a Minecraft city

https://www.nytimes.com/athletic/7648198/2026/10/01/mike-tomlin-minecraft-nfl-coach/
632•CoryOndrejka•2d ago•152 comments

Apple Pass Designer

https://developer.apple.com/pass-designer/
536•soheilpro•1d ago•320 comments

Two American Airlines Flights End Up with the Same Flight Numbers

https://aviationa2z.com/index.php/2026/08/19/two-american-airlines-flights-end-up-with-same-fligh...
21•samch•1h ago•8 comments

Holes (1996-2025)

https://plato.stanford.edu/entries/holes/
30•surprisetalk•1d ago•8 comments

Cloudflare OHTTP gateway

https://blog.cloudflare.com/announcing-cloudflare-ohttp-gateway/
173•est•17h ago•81 comments

A 12-year sequence of telescope images of a star and four planets orbiting

https://bsky.app/profile/theplanetaryguy.com/post/3mwucf5ert22f
378•mariuz•1d ago•77 comments

Loss of cell identity drives human aging: Two new papers

https://erictopol.substack.com/p/loss-of-cell-identity-drives-human
350•bookofjoe•2d ago•166 comments

Anthropic tried to persuade Pope that AI could be conscious being

https://www.telegraph.co.uk/business/2026/10/02/anthropic-lobbied-pope-to-argue-ai-conscious-being/
9•Topfi•49m ago•3 comments

Our AI Midwife

https://www.astralcodexten.com/p/our-ai-midwife
11•eatitraw•1h ago•0 comments
Open in hackernews

Vx – One Language, Every Chip

https://vxlang.org/
24•elffjs•2h ago

Comments

AnimalMuppet•2h ago
I haven't played with it at all, but the writeup looks promising. Moving a bunch of things into the type system and out of runtime crashes is one of the ways we make progress.
dnautics•54m ago
I think this is wrong. Type systems should be simpler, and you should design it so that your language is easily and correctly statically checked. Not all invariants necessarily have to be verified at the same cadence (compile time)
treyd•45m ago
> you should design it so that your language is easily and correctly statically checked.

You do that by making the type system more sophisticated.

If you have a really important invariant that you really don't want to be violated due to run-time behavior/input, it's a huge benefit to have a compiler that can statically check that it actually can't be. That's one of the main benefits of having type systems, not just describing the shape of data structures in memory.

dnautics•37m ago
You can perform static analysis outside of the compiler without putting things in the type system?

C is a bad language to do this with for various reasons, but as a simple example:

    char* buf = malloc(SIZE);
    free(buf);
    free(buf);
There is absolutely no reason why static analysis should not be able to see what the problem is here.
binary132•9m ago
typesystems can be considered a kind of static analysis
classified•45m ago
So you prefer runtime crashes to compiler diagnostics, just so the type system can be "simpler"? I find these priorities backwards.
dnautics•41m ago
> So you prefer runtime crashes

Do you not understand what static analysis is?

api•1h ago
Why does this need a new language? Aren't there existing languages where these concepts can be expressed?
amelius•59m ago
> Vx is the right language for the thing that must be correct and fast across ten kinds of silicon. It is not the right language for the thing you are still figuring out.

Sounds like a great language for an AI to use then :)

png732•57m ago
Is there a backstory for this being named Vx? Seems a bit too close for comfort to the VxWorks OS, though there seems to be no connection.
Skwid•29m ago
Better than I was thinking: https://en.wikipedia.org/wiki/VX_(nerve_agent)
Cyan488•52m ago
> Heterogeneity belongs in the type system, not in the runtime.

Is the intent that applications developed with this are compiled for target hardware on a machine-specific basis?

e.g. I define a machine file for my i5 and GTX3080, and another machine file for my gnarly datacenter rack, and the compiler compiles specifically for each?

That way the same source file is "provable" for different hardware configurations without relying on a runtime to be identicallu implemented?

yewenjie•37m ago
Why is it giving me Vlang vibe
BatchJob•25m ago
Here we go again, why dont we try this again?

https://en.wikipedia.org/wiki/Transmeta

pdpi•8m ago
> Vx is the right language for the thing that must be correct and fast across ten kinds of silicon. It is not the right language for the thing you are still figuring out.

A bit tangential, but I really *really* appreciate them making this distinction, and wish more people did this. Way too many tools try to advertise themselves as all things for all people, catering to all use cases, and that helps nobody.