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
21•verdagon•1h ago

Comments

verdagon•1h 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•57m 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•50m 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.

I paid people to try and follow my README

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

Don't Put Tilde In Your Path

https://disconnect3d.pl//2026/10/02/dont-put-tilde-in-your-path/
42•arusekk•1h ago•4 comments

LineageOS 24.0

https://lineageos.org/Changelog-32/
207•timschumi•7h ago•65 comments

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

https://verdagon.dev/blog/valen-group-borrowing
22•verdagon•1h ago•3 comments

Sudden drop in Cloudflare bot traffic after strike on Yandex datacenter

https://radar.cloudflare.com/bots/as13238?dateRange=7d
333•walrus01•3h ago•130 comments

Nitter: Update Oct 10th seeking funding and legal help

https://nitter.net
194•ForHackernews•3h ago•67 comments

How HN: Go-dev-auth zero-dependency authentication library for Go

https://github.com/go-dev-auth/go-dev-auth
5•BisratMelak•37m ago•0 comments

What driving across Europe costs in tolls, vignettes, bridges and fuel

https://copilot.travel/tolls/europe-2026
33•heikkikalliokos•2h ago•26 comments

Weave (YC W25) is hiring ML, AI, product, & design engineers

https://jobs.ashbyhq.com/weave-os
1•adchurch•1h ago

Build your own decision model

https://nishtahir.com/build-your-own-decision-model/
376•softwaredoug•14h ago•83 comments

2D Vehicles

https://patkerr.co.uk/2d-vehicles/
527•Michelangelo11•4d ago•106 comments

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

https://phys.org/news/2024-02-scandinavia-farmers-slaughtered-hunter-population.html
36•optimalsolver•1h ago•27 comments

IRCv3

https://ircv3.net/
145•basilikum•3h ago•137 comments

A city-building game in which the city would prefer you didn't

https://housing.over.pizza/
410•JumpCrisscross•17h ago•134 comments

Rat's Register Allocator

https://hexrat.cc/pages/blog/2026_10_07
27•mpweiher•1d ago•2 comments

The Lightbulb Computer

https://lightbulbcomputer.com/
489•oskarth•1d ago•72 comments

Bot traffic plunged to near 0 following the strike on its Vladimir data center

https://bsky.app/profile/perevaa.bsky.social/post/3mxlm6w2wcs26
15•PLenz•43m ago•1 comments

How big is a Git commit?

https://ratfactor.com/cards/git-commit-size
56•theanonymousone•2d ago•23 comments

PSPi 6 – Raspberry Pi in a PSP

https://github.com/othermod/PSPi-Version-6
112•therepanic•12h ago•10 comments

Compression and Concatenation on the Web

https://theconsensus.dev/p/2026/10/04/compression-and-concatenation-on-the-web.html?focus=1
7•eatonphil•23h ago•1 comments

When Ldaxr Doesn't Work: Exclusive Accesses and Cacheability on AArch64

https://joelsiks.com/posts/aarch64-exclusive-access-cacheability/
13•joelsiks•1d ago•2 comments

Retrofitting language models to operate over bytes

https://www.nature.com/articles/s41586-026-11111-4
81•theanonymousone•3d ago•13 comments

Nix wrote half of my debugger

https://fzakaria.com/2026/10/07/nix-wrote-half-of-my-debugger
213•ingve•2d ago•50 comments

"Robot" Is a Social Construct: Why Your Dishwasher Is Not a Robot

https://robotgirlgang.com/2026/10/08/robot-is-a-social-construct-why-your-dishwasher-is-not-a-robot/
32•birdculture•3h ago•39 comments

Show HN: Happy Hangul Day! An RNN for Generating Korean Handwriting Strokes

https://hangul.ink/blog/hangul-day
65•jbaudanza•2d ago•11 comments

Five months treating bugs like patients and coding agents like a medical team

https://www.cockroachlabs.com/blog/experiment-running-hospital-code/
163•rafiss•1d ago•69 comments

Talorys – A self-hosted personal AI agent on Cloudflare's free tier

https://github.com/rociiu/talorys
304•rociiu•1d ago•140 comments

Knuth reward check

https://www.thomas-huehn.com/knuth-reward-check/
205•Curiositry•21h ago•75 comments

3rd Yandex Cloud Data Center Was Hit

https://status.yandex.cloud/en/incidents/2136
310•defly•6h ago•378 comments

Mxc: Microsoft Execution Containers version 1.0.0

https://blogs.windows.com/windowsdeveloper/2026/10/07/microsoft-execution-containers-policy-drive...
203•smokel•2d ago•58 comments