frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Linear Types for Programmers (2023)

https://twey.io/for-programmers/linear-types/
34•marvinborner•5h ago

Comments

scythmic_waves•3h ago
Sorry off topic but I love the styling of this site.
jnpnj•2h ago
Newb question, aren't phantom types and typestates a subset (or cousin) of linear types ?
burakemir•2h ago
No. A phantom type is a type whose only use is to communicate a constraint on a type variable, without having a runtime value that corresponds to it.

Typestate is a bit closer: it communicates some property where an operation (typically a method invocation) changes the property and hence the typestate. But there isn't necessarily a mechanism that renders the value in the old typestate inaccessible. When there is, then this indeed requires some linearity/affinity ("consuming the object"), but typestate is something built "on top".

renox•2h ago
There's Austral https://austral-lang.org/ for linear types, I'm not sure what is the state of the language but it has a nice tutorial about linear types.

Telo MT1

https://www.telotrucks.com/
319•turtleyacht•5h ago•277 comments

6 weeks of Claude Code

https://blog.puzzmo.com/posts/2025/07/30/six-weeks-of-claude-code/
167•mike1o1•2d ago•236 comments

Remote hosting for your telescope

https://www.sierra-remote.com/
12•gregorvand•2d ago•4 comments

The Art of Multiprocessor Programming 2nd Edition Book Club

https://eatonphil.com/2025-art-of-multiprocessor-programming.html
216•eatonphil•8h ago•32 comments

Browser extension and local backend that automatically archives YouTube videos

https://github.com/andrewarrow/starchive
105•fcpguru•6h ago•47 comments

We may not like what we become if A.I. solves loneliness

https://www.newyorker.com/magazine/2025/07/21/ai-is-about-to-solve-loneliness-thats-a-problem
312•defo10•11h ago•667 comments

PixiEditor 2.0 – A FOSS universal 2D graphics editor

https://pixieditor.net/blog/2025/07/30/20-release/
102•ksymph•2d ago•9 comments

Anandtech.com now redirects to its forums

https://forums.anandtech.com/
88•kmfrk•9h ago•19 comments

At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019)

https://www.apmreports.org/episode/2019/08/22/whats-wrong-how-schools-teach-reading
47•Akronymus•10h ago•62 comments

Helion begins work on Washington nuclear fusion plant

https://www.nucnet.org/news/microsoft-backed-fusion-company-begins-work-on-washington-nuclear-fusion-plant-7-4-2025
58•mpweiher•2d ago•38 comments

Helsinki records zero traffic deaths for full year

https://www.helsinkitimes.fi/finland/finland-news/domestic/27539-helsinki-records-zero-traffic-deaths-for-full-year.html
316•DaveZale•3d ago•220 comments

Online Collection of Keygen Music

https://keygenmusic.tk
152•mifydev•3d ago•33 comments

Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder)

https://github.com/hugoj0s3/NaturalCron
8•hugoj0s3•9h ago•0 comments

AWS deleted my 10-year account and all data without warning

https://www.seuros.com/blog/aws-deleted-my-10-year-account-without-warning/
88•seuros•3h ago•41 comments

The /o in Ruby regex stands for "oh the humanity "

https://jpcamara.com/2025/08/02/the-o-in-ruby-regex.html
110•todsacerdoti•7h ago•27 comments

Double-slit experiment holds up when stripped to its quantum essentials

https://news.mit.edu/2025/famous-double-slit-experiment-holds-when-stripped-to-quantum-essentials-0728
40•ColinWright•2d ago•16 comments

Great Question (YC W21) Is Hiring a VP of Engineering (Remote)

https://www.ycombinator.com/companies/great-question/jobs/ONBQUqe-vp-of-engineering
1•nedwin•5h ago

Show HN: WebGPU enables local LLM in the browser – demo site with AI chat

https://andreinwald.github.io/browser-llm/
103•andreinwald•8h ago•37 comments

Compressing Icelandic name declension patterns into a 3.27 kB trie

https://alexharri.com/blog/icelandic-name-declension-trie
186•alexharri•11h ago•71 comments

The Big Oops in type systems: This problem extends to FP as well

https://danieltan.weblog.lol/2025/07/the-big-oops-in-type-systems-this-problem-extends-to-fp-as-well
45•ksymph•2d ago•19 comments

I tried living on IPv6 for a day

https://www.xda-developers.com/the-internet-isnt-fully-ipv6-ready/
49•speckx•2d ago•59 comments

A.I. researchers are negotiating $250M pay packages

https://www.nytimes.com/2025/07/31/technology/ai-researchers-nba-stars.html
139•jrwan•10h ago•229 comments

Australia’s gains in wheat-farm productivity

https://www.reuters.com/investigations/less-rain-more-wheat-how-australian-farmers-defied-climate-doom-2025-07-29/
50•tiarafawn•3d ago•7 comments

Financial lessons from my family's experience with long-term care insurance

https://www.whitecoatinvestor.com/financial-lessons-father-long-term-care-insurance/
93•wallflower•8h ago•107 comments

A dive into open chat protocols

https://wiki.alopex.li/ADiveIntoOpenChat
69•Bogdanp•3d ago•9 comments

ThinkPad designer David Hill on unreleased models

https://www.theregister.com/2025/08/02/thinkpad_david_hill_interview/
139•LorenDB•9h ago•69 comments

Hiding secret codes in light protects against fake videos

https://news.cornell.edu/stories/2025/07/hiding-secret-codes-light-protects-against-fake-videos
57•CharlesW•6h ago•50 comments

Modeling open-world cognition as on-demand synthesis of probabilistic models

https://arxiv.org/abs/2507.12547
8•PaulHoule•2h ago•0 comments

OpenAI's "Study Mode" and the risks of flattery

https://resobscura.substack.com/p/openais-new-study-mode-and-the-risks
92•benbreen•2d ago•102 comments

Linear Types for Programmers (2023)

https://twey.io/for-programmers/linear-types/
34•marvinborner•5h ago•4 comments