frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Catala – Law to Code

https://catala-lang.org
22•Grognak•2h ago

Comments

side_up_down•45m ago
How does this incorporate case law?
Y_Y•10m ago
That's not so important in Napoleonic/Civil jurisdictions like France. Judges can consider prior rulings, but the law as-written is the main thing.
mkl•41m ago
How strange to give it the same name as an unrelated natural language spoken by millions of people: https://en.wikipedia.org/wiki/Catala
embedding-shape•36m ago
Not even unrelated, Catala (the law-language) seems to be a French project, supported by institutions in France, and Catalan seems to have a intertwined history with France: https://en.wikipedia.org/wiki/Catalan_language#France
kimfc•12m ago
Huh I just finished a book by Jaron Lanier that described a hypothetical system literally just like this. Always fun to get a coincidence like this
sublinear•3m ago
> The aim is not to formalise or put into code all the law, because that would make no sense, but we are interested in the law that is already executed automatically, such as the calculation of social benefits, tax or unemployment.

Can anyone explain why it's believed this "would make no sense"?

Screenshots from developers: 2002 vs. 2015 (2015)

https://anders.unix.se/2015/12/10/screenshots-from-developers--2002-vs.-2015/
89•turrini•2h ago•29 comments

Kilauea erupts, destroying webcam [video]

https://www.youtube.com/watch?v=TK2N99BDw7A
36•zdw•57m ago•3 comments

GrapheneOS is the only Android OS providing full security patches

https://grapheneos.social/@GrapheneOS/115647408229616018
434•akyuu•10h ago•176 comments

United States Antarctic Program Field Manual (2024) [pdf]

https://www.usap.gov/usapgov/travelAndDeployment/documents/Continental-Field-Manual-2024.pdf
22•SheinhardtWigCo•2h ago•1 comments

Zebra-Llama: Towards Efficient Hybrid Models

https://arxiv.org/abs/2505.17272
69•mirrir•4h ago•31 comments

Tiny Core Linux: a 23 MB Linux distro with graphical desktop

http://www.tinycorelinux.net/
339•LorenDB•10h ago•160 comments

Show HN: FuseCells – a handcrafted logic puzzle game with 2,500 levels

https://apps.apple.com/us/app/fusecells-logic-grid-puzzle/id6754704139
7•keini•44m ago•1 comments

OMSCS Open Courseware

https://sites.gatech.edu/omscsopencourseware/
112•kerim-ca•5h ago•39 comments

Saving Japan's exceptionally rare 'snow monsters'

https://www.bbc.com/future/article/20251203-japans-disappearing-snow-monsters
12•1659447091•1h ago•0 comments

Z-Image: Powerful and highly efficient image generation model with 6B parameters

https://github.com/Tongyi-MAI/Z-Image
223•doener•6d ago•86 comments

Coffee linked to slower biological ageing among those with severe mental illness

https://www.kcl.ac.uk/news/coffee-linked-to-slower-biological-ageing-among-those-with-severe-ment...
75•bookofjoe•3h ago•44 comments

Bikeshedding, or why I want to build a laptop

https://geohot.github.io//blog/jekyll/update/2025/11/29/bikeshedding-or-laptop.html
29•cspags•5d ago•7 comments

HTML as an Accessible Format for Papers

https://info.arxiv.org/about/accessible_HTML.html
193•el3ctron•9h ago•104 comments

Mathematics Without Numbers (1959)

https://www.jstor.org/stable/20026529?seq=1
20•measurablefunc•4d ago•2 comments

PatchworkOS: An OS for x86_64, built from scratch in C and assembly

https://github.com/KaiNorberg/PatchworkOS
9•pykello•1h ago•1 comments

Catala – Law to Code

https://catala-lang.org
22•Grognak•2h ago•6 comments

Autism's confusing cousins

https://www.psychiatrymargins.com/p/autisms-confusing-cousins
215•Anon84•13h ago•221 comments

OpenTelemetry Distribution Builder

https://github.com/observIQ/otel-distro-builder
4•pveierland•54m ago•1 comments

Show HN: Tascli, a command line based (human) task and record manager

https://github.com/Aperocky/tascli
21•Aperocky•3h ago•4 comments

Infisical (YC W23) Is Hiring Engineers to Build the Modern OSS Security Stack

https://www.ycombinator.com/companies/infisical/jobs/2pwGcK9-senior-full-stack-engineer-us-canada
1•vmatsiiako•7h ago

Magnitude-7.0 earthquake hits in remote wilderness along Alaska-Canada border

https://apnews.com/article/earthquake-alaska-canada-yukon-7c0f68370e387b1b23fa7fe7fc9c2c71
7•appreciatorBus•24m ago•1 comments

Wave of (Open Street Map) Vandalism in South Korea

https://www.openstreetmap.org/user/KennyDap/diary/407844
42•shortrounddev2•2h ago•4 comments

Abstract Interpretation in the Toy Optimizer

https://bernsteinbear.com/blog/toy-abstract-interpretation/
31•ChadNauseam•2d ago•5 comments

Touching the Elephant – TPUs

https://considerthebulldog.com/tte-tpu/
148•giuliomagnifico•12h ago•44 comments

Finding Gene Cernan's Missing Moon Camera

https://www.spacecamera.co/articles/2020/3/3/gene-cernans-missing-lunar-surface-camera
63•theodorespeaks•4d ago•5 comments

The unexpected effectiveness of one-shot decompilation with Claude

https://blog.chrislewis.au/the-unexpected-effectiveness-of-one-shot-decompilation-with-claude/
169•knackers•1w ago•93 comments

Term-keys – Lossless keyboard input for Emacs

https://github.com/CyberShadow/term-keys
15•harryday•6d ago•4 comments

Copy-Item is 27% slower than File Explorer

https://til.andrew-quinn.me/posts/copy-item-is-27-percent-slower-than-file-explorer-drag-and-drop...
52•hiAndrewQuinn•2h ago•38 comments

Linux Instal Fest Belgrade

https://dmz.rs/lif2025_en
147•ubavic•14h ago•20 comments

Running Claude Code in a loop to mirror human development practices

https://anandchowdhary.com/blog/2025/running-claude-code-in-a-loop
20•Kerrick•5h ago•2 comments