frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/
398•klaussilveira•5h ago•89 comments

The Waymo World Model

https://waymo.com/blog/2026/02/the-waymo-world-model-a-new-frontier-for-autonomous-driving-simula...
755•xnx•10h ago•461 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo
132•isitcontent•5h ago•14 comments

Monty: A minimal, secure Python interpreter written in Rust for use by AI

https://github.com/pydantic/monty
123•dmpetrov•5h ago•53 comments

Why I Joined OpenAI

https://www.brendangregg.com/blog/2026-02-07/why-i-joined-openai.html
19•SerCe•1h ago•14 comments

Dark Alley Mathematics

https://blog.szczepan.org/blog/three-points/
33•quibono•4d ago•2 comments

Show HN: I spent 4 years building a UI design tool with only the features I use

https://vecti.com
235•vecti•7h ago•114 comments

A century of hair samples proves leaded gas ban worked

https://arstechnica.com/science/2026/02/a-century-of-hair-samples-proves-leaded-gas-ban-worked/
60•jnord•3d ago•3 comments

Microsoft open-sources LiteBox, a security-focused library OS

https://github.com/microsoft/litebox
302•aktau•11h ago•152 comments

Sheldon Brown's Bicycle Technical Info

https://www.sheldonbrown.com/
305•ostacke•11h ago•82 comments

Show HN: If you lose your memory, how to regain access to your computer?

https://eljojo.github.io/rememory/
162•eljojo•8h ago•122 comments

Hackers (1995) Animated Experience

https://hackers-1995.vercel.app/
381•todsacerdoti•13h ago•215 comments

Show HN: R3forth, a ColorForth-inspired language with a tiny VM

https://github.com/phreda4/r3
45•phreda4•4h ago•7 comments

An Update on Heroku

https://www.heroku.com/blog/an-update-on-heroku/
310•lstoll•11h ago•230 comments

I spent 5 years in DevOps – Solutions engineering gave me what I was missing

https://infisical.com/blog/devops-to-solutions-engineering
101•vmatsiiako•10h ago•34 comments

How to effectively write quality code with AI

https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/
173•i5heu•8h ago•128 comments

Learning from context is harder than we thought

https://hy.tencent.com/research/100025?langVersion=en
139•limoce•3d ago•76 comments

Understanding Neural Network, Visually

https://visualrambling.space/neural-network/
225•surprisetalk•3d ago•30 comments

I now assume that all ads on Apple news are scams

https://kirkville.com/i-now-assume-that-all-ads-on-apple-news-are-scams/
962•cdrnsf•14h ago•413 comments

Introducing the Developer Knowledge API and MCP Server

https://developers.googleblog.com/introducing-the-developer-knowledge-api-and-mcp-server/
10•gfortaine•3h ago•0 comments

FORTH? Really!?

https://rescrv.net/w/2026/02/06/associative
37•rescrv•13h ago•17 comments

PC Floppy Copy Protection: Vault Prolok

https://martypc.blogspot.com/2024/09/pc-floppy-copy-protection-vault-prolok.html
7•kmm•4d ago•0 comments

Evaluating and mitigating the growing risk of LLM-discovered 0-days

https://red.anthropic.com/2026/zero-days/
33•lebovic•1d ago•11 comments

Show HN: Smooth CLI – Token-efficient browser for AI agents

https://docs.smooth.sh/cli/overview
76•antves•1d ago•56 comments

The Oklahoma Architect Who Turned Kitsch into Art

https://www.bloomberg.com/news/features/2026-01-31/oklahoma-architect-bruce-goff-s-wild-home-desi...
17•MarlonPro•3d ago•2 comments

I'm going to cure my girlfriend's brain tumor

https://andrewjrod.substack.com/p/im-going-to-cure-my-girlfriends-brain
31•ray__•2h ago•7 comments

Show HN: Slack CLI for Agents

https://github.com/stablyai/agent-slack
38•nwparker•1d ago•8 comments

Claude Composer

https://www.josh.ing/blog/claude-composer
98•coloneltcb•2d ago•68 comments

Evolution of car door handles over the decades

https://newatlas.com/automotive/evolution-car-door-handle/
38•andsoitis•3d ago•61 comments

Planetary Roller Screws

https://www.humanityslastmachine.com/#planetary-roller-screws
34•everlier•3d ago•6 comments
Open in hackernews

Graphical Linear Algebra

https://graphicallinearalgebra.net/
304•hyperbrainer•7mo ago

Comments

lorenzo_medici•7mo ago
Appreciate the Claude Makelele praise
rurban•7mo ago
But nowadays we are calling him the 6. And everybody praises a good 6
Xmd5a•7mo ago
Generalized Transformers from Applicative Functors

>Transformers are a machine-learning model at the foundation of many state-of-the-art systems in modern AI, originally proposed in [arXiv:1706.03762]. In this post, we are going to build a generalization of Transformer models that can operate on (almost) arbitrary structures such as functions, graphs, probability distributions, not just matrices and vectors.

>[...]

>This work is part of a series of similar ideas exploring machine learning through abstract diagrammatical means.

https://cybercat.institute/2025/02/12/transformers-applicati...

MarkusQ•7mo ago
I really enjoyed that when it was coming out, and used to follow it with some students. It's a shame it seems to have been abandoned.
Iwan-Zotow•7mo ago
Who wrote that? Do you know?

pawel ... ?

mattkrause•7mo ago
Pawel Sobocinski, in collaboration with Filippo Bonchi and Fabio Zanasi

https://graphicallinearalgebra.net/about/

theZilber•7mo ago
When I read the first meaty chapter about graphs and commutativity I initially thought he just spends too long explaining simple concepts.

But then ai realized I would always forget the names for all the mathy c' words - commutativity commutativity, qssociativity... and for the first time I could actually remember commutativity and what it means, just because he tied it into a graphical representation (which actually made me laugh out loud because, initially, I thought it was a joke). So the concept of "x + y = y + x" always made sense to me but never really stuck like the graphical representation, which also made me remember its name for the first time.

I am sold.

gowld•7mo ago
Which chapter is that? It's not in the ToC
memoryfault•7mo ago
3!
HappMacDonald•7mo ago
Chapter 6, got it
vanderZwan•6mo ago
It's because the graphs are visual metaphors that encode privileged information[0]. Which is an often overlooked aspect of teaching imo. Your own initial dismissive reaction kind of shows why: people don't really get the point until they realize it works, and even then they're not sure why.

[0] https://web.archive.org/web/20140402025221/http://m.nautil.u...

phforms•7mo ago
Years ago when I was reading this (just a couple of chapters, not all of it), it opened my eyes to the power of diagrammatic representation in formal reasoning unlike anything before. I never did anything useful with string diagrams, but it was so fun to see what is possible with this system!
elric•7mo ago
I had a similar revelation when watching 3Blue1Brown's Calculus series. Had they included those kinds of visual representations in school when I was first learning about Calculus, my understanding (and interest) would have been greatly expanded.

Very impressive how some people can create visual representations that enhance understanding.

dclowd9901•7mo ago
> If the internet has taught us anything, it’s that humans + anonymity = unpleasantness.

Aka one of my favorite axioms: https://www.penny-arcade.com/comic/2004/03/19/green-blackboa...

marvinborner•7mo ago
It's interesting how some of these diagrams are almost equivalent in the context of encoding computation in interaction nets using symmetric interaction combinators [1].

From the perspective of the lambda calculus for example, the duplication of the addition node in "When Adding met Copying" [2] mirrors exactly the iterative duplication of lambda terms - ie. something like (λx.x x) M!

[1]: https://ezb.io/thoughts/interaction_nets/lambda_calculus/202...

[2]: https://graphicallinearalgebra.net/2015/05/12/when-adding-me...

russfink•7mo ago
It reads as if Chuck Lorre (The Big Bang Theory) wrote it. Especially chapter two. I love the humor!
webprofusion•7mo ago
This is nice, my main criticism would be that it uses the language "easy" and "simple" regularly which is a classic mistake in any instructive text (including docs etc).

If the reader was feeling a bit dumb and/or embarrassed that they didn't yet get the concept being explained then this will only make them feel worse and give up.

Language like that is often used to make things feel approachable and worry-free, but can have the opposite effect.

And never ever, ever write "obvious" in a doc explaining something, because if obviousness was at play they wouldn't be reading your doc.

Nevermark•7mo ago
Excellent point.

I think about wording like that, like the extraneously explicit meta-content that dumbs down so many story plots. A character explicitly says "That makes me angry". When a better written story would make the anger implicitly obvious.

Stories should show not tell.

Make a point, make it clear make it concise, and it will be simple for most readers. Don't talk about making a point, or say a point is clear.

That is projecting attributes or experiences onto readers. But even a very well written point may not appear simple for some readers. Assume (optimistically!) that there will always be some unusually under-prepared but motivated reader. Hooray if you get them! They can handle a challenge every so often.

"Simple" communication is a high priority target, but rarely completely achievable for the total self-selected, beyond intended, audience.

RamblingCTO•7mo ago
The good ol' "this proof is trivial so we'll skip it" move.
rurban•7mo ago
He should have really used the good ol' QED instead, lol
seanhunter•6mo ago
Oh man. The variant I see so infuriatingly often at the moment is “It is clear that these form a Lie algebra/finite abelian group/Hilbert space/bijective map/<whatever other thing that is long-winded or complex to prove> and I encourage the reader to satisfy themselves that this is the case”.
programjames•7mo ago
This looks pretty similar to interaction combinators:

1. https://en.wikipedia.org/wiki/Interaction_nets#Interaction_c...

2. https://github.com/HigherOrderCO/Bend

vismit2000•7mo ago
Immersive Linear Algebra: https://immersivemath.com/ila/index.html HN: https://news.ycombinator.com/item?id=19264048
dtj1123•7mo ago
I was never able to get my head around it, but this reminds me somewhat of the zx-calculus:

https://en.wikipedia.org/wiki/ZX-calculus

AntonioL•7mo ago
Reminds me of the work from Bob Coecke at the University of Oxford. He came up with a pictorial language for quantum processes.
gowld•7mo ago
ZX-calculus mentioned in https://news.ycombinator.com/item?id=44532535

https://en.wikipedia.org/wiki/ZX-calculus