Feed aggregator

Proof Repair and (Co)algebra Equivalences

Hacker News - Tue, 11/10/2026 - 12:01am

Article URL: https://arxiv.org/abs/2610.36669

Comments URL: https://news.ycombinator.com/item?id=50436263

Points: 1

# Comments: 0

Categories: Hacker News

A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure

Wired Security - Tue, 11/10/2026 - 12:01am
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
Categories: Wired Security

Show HN: 3D Conformal Transformations via Geometric Algebra

Hacker News - Mon, 11/09/2026 - 11:45pm

Inspired by this great talk by Hamish Todd about Conformal Geometric Algebra [1] I felt the urge to play with those conformal transformations myself and to learn more about geometric algebra.

In the original talk Hamish shows many interactive visualizations to make a point about properties of conformal transformations and their representation via Geometric Algebra.

My goal was to reverse engineer these visualizations just from the snippets shown in the talk.

I find the result very satisfying to play around with. [2] As educational tool it provides some good intuition for conformal transformations and their composition. I hope some of you might enjoy it as well, especially after watching the original talk by Hamish Todd.

On the technical side it is built on Threlte (Svelte+ThreeJS) and mostly handwritten with AI only being used for trying and debugging some shader code performance optimizations.

1: https://www.youtube.com/watch?v=q3as9SGmDdw 2: https://static.laszlokorte.de/conformal-3d/

Comments URL: https://news.ycombinator.com/item?id=50436157

Points: 1

# Comments: 0

Categories: Hacker News

Gisting

Hacker News - Mon, 11/09/2026 - 11:38pm

Article URL: https://shopify.engineering/gisting

Comments URL: https://news.ycombinator.com/item?id=50436119

Points: 1

# Comments: 0

Categories: Hacker News

Mountains of Kong

Hacker News - Mon, 11/09/2026 - 11:37pm
Categories: Hacker News

Project Lighthouse

Hacker News - Mon, 11/09/2026 - 11:32pm
Categories: Hacker News

Land: Using Determinstic methods for faster CI and merging

Hacker News - Mon, 11/09/2026 - 11:25pm

Article URL: https://useland.dev/

Comments URL: https://news.ycombinator.com/item?id=50436053

Points: 1

# Comments: 0

Categories: Hacker News

OSS devtool seed stage startup looking to hire DevRel In SF

Hacker News - Mon, 11/09/2026 - 11:22pm

Hey! We are looking to hire our first DevRel in SF, looking to understand what are market standards around starting pay and skill set we should expect. Also, we are not exactly AI infra and more like Data infra which is fairly technical and niche so trying to figure out what are the best channels to get to right people.

Comments URL: https://news.ycombinator.com/item?id=50436036

Points: 1

# Comments: 2

Categories: Hacker News

Pages