frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A new way to think about borrow checking (in reverse)

https://verdagon.dev/blog/reverse-borrow-checking
18•verdagon•13h ago

Comments

verdagon•12h ago
Figuring out how to make this was a pretty wild ride. I had zero clue how to approach this, so I went into the mountains with pencil and paper until I figured something out.

I started with a sort of "compile-time generational references" approach, where every reference would also remember when it was made, at compile-time. Then that evolved into a couple more things until I finally figured out this reverse approach. We'll see if it sticks.

Hope you all enjoy!

CoalitionOfPity•12h ago
I just wanted to take the time to compliment this note in your blog: > My stance: if you want someone to take the time to read something, take the time to write it by hand.
verdagon•12h ago
Thank you! I pretty strongly believe this. If we take the time to write for each other, then the internet stays a place where humans connect with each other. Otherwise we get lost in the noise and it becomes a place where machines talk to each other through humans. Fingers crossed the world figures this out.
gnarlouse•7m ago
I have no help to offer, but as a bystander who loves Rust I am very hopeful good things come of this for you @verdagon!

Hybrid Reasoning Agents: LLM agents that think in latent space, act through text

https://arxiv.org/abs/2610.18861
195•allinonai•4h ago•114 comments

William Gibson and the trademarking of cyberspace

https://colo.to/cyberspace.html
40•Eric_Gullichsen•1h ago•1 comments

Someone behind the software

https://karrisaarinen.com/posts/someone-behind-the-software/
308•tosh•8h ago•124 comments

Free Pascal compiler now supports dynamic packages

https://www.getlazarus.org/dynamic/
112•sysrpl•6h ago•19 comments

RepRapMicron

https://github.com/VikOlliver/RepRapMicron/wiki
329•RobotToaster•11h ago•54 comments

There's never been a better time to go into math (by: 3blue1brown) [video]

https://www.youtube.com/watch?v=LKrwhjOI8Nc
153•mdp2021•1d ago•103 comments

Dogs seem to agree with humans that 'bouba' is round and 'kiki' is spiky

https://www.sciencealert.com/dogs-seem-to-agree-with-humans-that-bouba-is-round-and-kiki-is-spiky
120•gmays•23h ago•75 comments

Show HN: WhatsApp MCP running free on Cloudflare

https://github.com/finereli/whatsapp-mcp
35•zoozla•3h ago•23 comments

If you don't run your own LLM proxy, how do you know whats going on?

https://jrdsgl.com/if-you-dont-run-your-own-llm-proxy-how-the-fuck-do-you-even-know-whats-going-on/
15•amrrs•4h ago•9 comments

Laptop Based on 6502 CPU

https://www.maddox.pro/?p=448
19•nanochess•3d ago•3 comments

DeepSeek search and fetch – $0.75 per 1000 successful requests

https://api-docs.deepseek.com/guides/search/
544•fagnerbrack•18h ago•257 comments

PalmOS Lemmings

https://github.com/ardiri/palmos-lemmings
87•memalign•7h ago•23 comments

"Traditional, but Puzzling"

https://unsung.aresluna.org/traditional-but-puzzling/
19•colinprince•2d ago•1 comments

One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux

https://quentinkaiser.be/security/2026/10/16/one-parser-two-bugs/
44•zoobab•2d ago•9 comments

16-bit fully functional DIY magnetic core memory

https://www.youtube.com/watch?v=OJ1WYyO2jdY
33•oliculipolicula•3d ago•16 comments

What the heck is /pkg?

https://anderegg.ca/2026/10/18/what-the-heck-is-pkg
11•GavinAnderegg•7h ago•3 comments

Java sealed classes and exhaustive pattern matching

https://neilmadden.blog/2026/04/24/java-sealed-classes-and-exhaustive-pattern-matching/
134•hnisjafx40•10h ago•102 comments

The Intel 8087 chip: floating-point addition and subtraction

https://www.righto.com/2026/10/8087-addition-subtraction-microcode.html
88•pwg•8h ago•32 comments

"I'm on a war footing": Terry Tao and the crisis in math

https://www.nytimes.com/2026/10/16/us/math-ai-terence-tao.html
77•vinipolicena•2d ago•113 comments

A new way to think about borrow checking (in reverse)

https://verdagon.dev/blog/reverse-borrow-checking
18•verdagon•13h ago•4 comments

Namecheap just seized and disabled all my domains

https://www.reddit.com/r/sysadmin/comments/1x8cycd/namecheap_just_seized_and_disabled_all_my_doma...
422•sashk•8h ago•199 comments

SIGSALY: Churchill's top secret hotline to the president

https://www.iwm.org.uk/history/iwm/cwr/telephone
109•stmw•4d ago•39 comments

Developing for Debugging (2025)

https://www.davepacheco.net/blog/2025/developing-for-debugging-dns-propagation/
28•mpweiher•1d ago•0 comments

Open MicroManipulator – A sub-micrometer 3D motion control plattform

https://github.com/0x23/MicroManipulatorStepper
173•_Microft•13h ago•13 comments

I built a programming language that LLMs can't use

https://blog.picheta.me/post/killswitch-lang/
69•dom96•1d ago•63 comments

The Elizabeth Holmes documentary “You Can See Everything” is deceiving

https://www.readtheprofile.com/p/elizabeth-holmes-documentary-you-can-see-everything
363•MaysonL•21h ago•514 comments

I electrified my push scooter with a power drill

https://eddieabbondanz.io/post/shop/drill-powered-scooter/
126•speckx•4d ago•48 comments

Show HN: The Zelda timeline to catch up before the Ocarina of Time remake

https://legendofhyrule.com/
160•jsomau•12h ago•99 comments

Types of types: Haskell's Kind system

https://thunk.blog/posts/types-of-types-haskell-kind-system/
100•Thom2503•4d ago•73 comments

Parser Combinators

https://t3.at/blog/2026-10-17-parser-combinators/
221•schindlabua•16h ago•79 comments