frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Why Law Is Law-Shaped

https://lawvm.org/why-law-is-law-shaped/
39•ekns•2h ago

Comments

eru•1h ago
I guess this is not meant as a general introduction, but it would have been useful to acknowledge the differences between different legal systems somewhere at the start?

(Even if it's only to argue that they aren't all that different in practice.)

keiferski•1h ago
In an entirely different qualitative sense, this post reminded me of the short story by Kafka, Before the Law. I won’t paste the whole thing here, but it’s a really short read:

https://homepage.univie.ac.at/st.mueller/kafka_english.html

quietbritishjim•10m ago
Thanks for the interesting read. But, I have to say, I didn't understand it at all.
bombcar•7m ago
Yes, it was very kafkaesque. (I also didn't get it.)
dvh•1h ago
> Parliament cannot restate the entire legal corpus each session.

IMHO the biggest mistake. It should be like that.

Because right now for mere mortal it's impossible to find out if some law or paragraph is still in effect.

qnpnpmqppnp•36m ago
How would it work though?

Also, not sure what makes it so impossible (debates on whether a given law is in effect seem pretty rare, though it does exist), but that may depend on where you come from and the applicable legal system.

james-bcn•56m ago
Audrey Tang did a lot of things related to this whilst they were Minister of Digital Affairs of Taiwan. https://en.wikipedia.org/wiki/Audrey_Tang
TZubiri•31m ago
—
eqmvii•26m ago
my favorite quote in this space has always been:

the prophecies of what the courts will do in fact, and nothing more profound, are what i mean by the law.

fractallyte•21m ago
Interesting synchronicity: I've written a patent-drafting DSL which exactly parallels this – and which is now shaping up into an "IDE" for patent drafting...

Patent texts read as prose, but are actually precisely structured legal documents. The latest developments in this domain involve LLMs to create and modify patent documents, but even though the legal profession seems to have fallen all in on it, it's essentially rather fragile and error-prone.

I've gone the deterministic direction, which has opened up some very cool, previously unexplored, possibilities!

mishellaneous•5m ago
> Patent texts read as prose, but are actually precisely structured legal documents.

at that point why not just use something precise like a programming language? have there been efforts in that direction? genuine questions

Soft launch of open-source code platform for government

https://www.nldigitalgovernment.nl/news/soft-launch-for-government-open-source-code-platform/
153•e12e•2h ago•65 comments

Ghostty is leaving GitHub

https://mitchellh.com/writing/ghostty-leaving-github
2742•WadeGrimridge•16h ago•802 comments

Show HN: Rip.so – a graveyard for dead internet things

https://rip.so
74•bozdemir•2h ago•43 comments

Bugs Rust won't catch

https://corrode.dev/blog/bugs-rust-wont-catch/
354•lwhsiao•9h ago•174 comments

HardenedBSD Is Now Officially on Radicle

https://hardenedbsd.org/article/shawn-webb/2026-04-26/hardenedbsd-officially-radicle
85•lftherios•5h ago•14 comments

How ChatGPT serves ads

https://www.buchodi.com/how-chatgpt-serves-ads-heres-the-full-attribution-loop/
374•lmbbuchodi•11h ago•251 comments

Before GitHub

https://lucumr.pocoo.org/2026/4/28/before-github/
508•mlex•14h ago•153 comments

Tell HN: An update from the new Tindie team

54•altairprime•3h ago•34 comments

Show HN: Rocky – Rust SQL engine with branches, replay, column lineage

https://github.com/rocky-data/rocky
66•hugocorreia90•21h ago•10 comments

Show HN: Auto-Architecture: Karpathy's Loop, pointed at a CPU

https://github.com/FeSens/auto-arch-tournament/blob/main/docs/auto-arch-tournament-blog-post.md
172•fesens•18h ago•41 comments

Why Law Is Law-Shaped

https://lawvm.org/why-law-is-law-shaped/
39•ekns•2h ago•11 comments

Withnail's Coat and I

https://ontherow.substack.com/p/withnails-coat-and-i
92•apollinaire•1d ago•9 comments

Two-thirds of babies watch screens – some for eight hours a day

https://www.thetimes.com/uk/technology-uk/article/babies-and-under-2s-screen-time-6jbdmnjlg
25•oj2828•47m ago•29 comments

OpenAI models coming to Amazon Bedrock: Interview with OpenAI and AWS CEOs

https://stratechery.com/2026/an-interview-with-openai-ceo-sam-altman-and-aws-ceo-matt-garman-abou...
283•translocator•16h ago•92 comments

Low-Compilation-Cost Register Allocation in LLVM-Based Binary Translation

https://dl.acm.org/doi/abs/10.1145/3767295.3803591
34•matt_d•5h ago•0 comments

GitHub RCE Vulnerability: CVE-2026-3854 Breakdown

https://www.wiz.io/blog/github-rce-vulnerability-cve-2026-3854
383•bo0tzz•19h ago•82 comments

I won a championship that doesn't exist

https://ron.stoner.com/How_I_Won_a_Championship_That_Doesnt_Exist/
181•SEJeff•15h ago•99 comments

Gallium oxide electronics withstand extreme cold

https://discovery.kaust.edu.sa/en/article/26858/gallium-oxide-electronics-withstand-extreme-cold/
52•giuliomagnifico•2d ago•1 comments

Who owns the code Claude Code wrote?

https://legallayer.substack.com/p/who-owns-the-claude-code-wrote
429•senaevren•1d ago•396 comments

HashiCorp co-founder says GitHub 'no longer a place for serious work'

https://www.theregister.com/2026/04/29/mitchell_hashimoto_ghostty_quitting_github/
4•terminalbraid•9m ago•1 comments

Talkie: a 13B vintage language model from 1930

https://talkie-lm.com/introducing-talkie
711•jekude•1d ago•293 comments

Your phone is about to stop being yours

https://keepandroidopen.org/en/
1441•doener•20h ago•661 comments

Warp is now open-source

https://www.warp.dev/blog/warp-is-now-open-source
294•meetpateltech•19h ago•81 comments

Behavioral timescale synaptic plasticity rewires the brain after an experience

https://www.quantamagazine.org/a-new-type-of-neuroplasticity-rewires-the-brain-after-a-single-exp...
128•ibobev•1d ago•5 comments

Intel Arc Pro B70 Review

https://www.pugetsystems.com/labs/articles/intel-arc-pro-b70-review/
177•zdw•5d ago•106 comments

Regression: malware reminder on every read still causes subagent refusals

https://github.com/anthropics/claude-code/issues/49363
229•thomashobohm•11h ago•122 comments

Apple CMF (Color-Matching Functions) 2026

https://www.lttlabs.com/articles/2026/04/11/apple-studio-display-xdr-display-testing-results
74•HeyMeco•12h ago•2 comments

Show HN: Drive any macOS app in the background without stealing the cursor

https://github.com/trycua/cua
144•frabonacci•19h ago•32 comments

Localsend: An open-source cross-platform alternative to AirDrop

https://github.com/localsend/localsend
865•bilsbie•23h ago•261 comments

When the Internet Was a Place

https://www.frontporchrepublic.com/2025/09/when-the-internet-was-a-place/
69•herbertl•10h ago•26 comments