frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Valen's Memory Safety: A New Kind of Borrow Checking

https://verdagon.dev/blog/valen-group-borrowing
5•verdagon•52m ago

Comments

verdagon•38m ago
Also, as I was writing this, a couple things occurred to me:

* We _could_ use the function parameter syntax `entities: &world.entities[]` instead of `entities in world.entities[]`.

* "Groups" aren't really central to understanding the idea, so Path Borrowing might be a better name than Group Borrowing.

Opinions welcome =)

sebastianmestre•12m ago
IIRC this Verdagon guy had a language called Vale... is Valen a rename or a new project?

Edit: tfa makes it clear it's a separate project

verdagon•5m ago
Hi! Kind of both. Even though Valen reuses 90% of the Vale compiler, its approach (Rust interop, borrow checking with mutable aliasing, etc.) is so different that it really needed a new name.

Also, I really like where Vale ended up, Vale's generational references + region borrowing was a truly weird and unusual memory safety blend. I didn't want that combination to be lost to time, so I wanted "Vale" to keep referring to that.

Memory Management (2022)

https://signalsandthreads.com/memory-management/
1•tosh•3m ago•0 comments

Building Houses with Rice Waste

https://www.bbc.com/future/article/20261009-the-houses-made-from-rice-husks
2•ranit•6m ago•0 comments

Singapore's government team that kills its own products

https://www.businesstimes.com.sg/singapore/inside-singapores-government-team-kills-its-own-products
2•doppp•6m ago•0 comments

Show HN: The great-grandfather of Oberon: Algol 60 running on LuaJIT

https://github.com/rochus-keller/Algol60
1•Rochus•16m ago•0 comments

Ferroni – Oniguruma's regex engine, modernized in Rust

https://ferroni.dev/
1•indentit•16m ago•0 comments

Taiwan man won lawsuit but jailed for using robot vacuum to record wife's affair

https://www.scmp.com/news/people-culture/trending-china/article/3365381/taiwan-man-wins-lawsuit-g...
2•nephihaha•18m ago•1 comments

Trama – See your agent's changes as state machines before any code

https://github.com/nicchia-code/trama
2•nicchia•20m ago•0 comments

Show HN: Hexnoth. Dark fantasy turn-based tactics in the browser

https://hexnoth.com/
1•jdzikowski•21m ago•0 comments

The maverick scientist trying to save coffee from extinction

https://economist.com/interactive/1843/2026/07/23/the-maverick-scientist-trying-to-save-coffee-fr...
1•andsoitis•21m ago•0 comments

Claude Code Mode

https://github.com/gabe4coding/claude-code-mode
1•gabe4coding•22m ago•1 comments

Show HN: Termphin – Open-source SSH client whose sessions survive disconnects

https://github.com/Termphin/Termphin
1•mbadyl•30m ago•0 comments

You Can See the Results

https://docs.google.com/document/d/e/2PACX-1vQmQ6YjfD2BKWfhW8iKJJCqPygQfQpNMhF5qSwHkoJSt8d1GLPU4z...
1•GovNikoMLLee•33m ago•0 comments

Show HN: Gradually Loading Web Fonts

https://www.npmjs.com/package/invisible-ink
1•snshn•35m ago•1 comments

Can Switching Hands While I Masturbate Affect My Brain?

https://sex.cosmopolitan.com/pleasure/a73946773/masturbating-non-dominant-hand-good-for-brain/
2•snarky-comments•39m ago•1 comments

What a US purchase costs delivered to 16 countries

https://www.refurb.me/import-costs
2•simoelalj•41m ago•0 comments

Fetching AMD SEV Reports (With Zig)

https://github.com/bschaatsbergen/zig-sev-guest
3•bschaatsbergen•43m ago•1 comments

Don't Put Tilde In Your Path

https://disconnect3d.pl//2026/10/02/dont-put-tilde-in-your-path/
11•arusekk•45m ago•1 comments

Twelve killed and 300 injured in attack on airport in Saudi capital Riyadh

https://www.bbc.com/news/articles/cw33x4y8k82no
4•Betelbuddy•46m ago•0 comments

Electron minus Chromium, powered by Bun and WebKit

https://bunmaska.org/
1•GutenYe•47m ago•2 comments

Show HN: Tack – Type-safe HTTP APIs for Go that reach the TypeScript front end

https://github.com/raven-clown/tack
2•ravenclown•47m ago•0 comments

Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests

https://phys.org/news/2024-02-scandinavia-farmers-slaughtered-hunter-population.html
14•optimalsolver•51m ago•6 comments

Valen's Memory Safety: A New Kind of Borrow Checking

https://verdagon.dev/blog/valen-group-borrowing
7•verdagon•52m ago•3 comments

Show HN: A newsletter powered by Jev

https://stashletter.dev/
2•flexdinesh•55m ago•0 comments

Show HN: BetterWispr – Free, open-source dictation for Mac

https://betterwispr.com/
2•kartik017•57m ago•0 comments

AI Engineering Maturity Model: 5 Stages for Teams

https://www.augmentcode.com/guides/ai-engineering-maturity-model
2•Gigacore•1h ago•0 comments

Grok Bot has its own email now. How to put it on your own domain

https://shipmail.to/blog/grok-bot-email-on-your-own-domain
1•jcoulaud•1h ago•0 comments

Show HN: I'm a 14-year-old building my first startup, Titan

https://titan-ai.co/
4•Vidigoat•1h ago•0 comments

I paid people to try and follow my README

https://shkspr.mobi/blog/2026/10/i-paid-people-to-try-and-follow-my-readme/
62•edent•1h ago•35 comments

Show HN: A Mac app to focus on your actions instead of distractions

https://now.korture.com/go/mac
1•skprasad•1h ago•2 comments

Creative Forces in the Global Village (1993)

https://reason.com/1993/05/01/creative-forces/
1•rwmj•1h ago•0 comments