Hacker News: silasdavis

New comment by silasdavis in "Some Junk Theorems in Lean"

silasdavis — Sat, 27 Dec 2025 11:55:13 +0000

The following are equivalent:

New comment by silasdavis in "CapROS: Capability-Based Reliable Operating System"

silasdavis — Mon, 15 Dec 2025 06:17:46 +0000

Most of the links seem to be broken on https://www.capros.org/overview.html

New comment by silasdavis in "Anthropic acquires Bun"

silasdavis — Wed, 03 Dec 2025 14:43:57 +0000

Yeah it does look like things have moved on, but there were echoes from previous Go conversations around the idea of a standardised package and the attendant years of hurt that it turned me off a little while ago. I did try: https://github.com/denoland/deno/issues/4574#issuecomment-62...

New comment by silasdavis in "Anthropic acquires Bun"

silasdavis — Tue, 02 Dec 2025 19:10:18 +0000

Stopped following Deno while they were rejecting the need for a package management solution. Used Bun instead.

New comment by silasdavis in "Germany: States Pass Porn Filters for Operating Systems"

silasdavis — Fri, 21 Nov 2025 11:53:09 +0000

how did we get here?

New comment by silasdavis in "Widespread distribution of bacteria containing PETases across global oceans"

silasdavis — Tue, 11 Nov 2025 15:17:16 +0000

I've often wondered about this. Does the chemistry imply the energetics of this would be less favourable than other organic decomposition?

This could be bad too I suppose? Pipes and other chemical containment vessels might come under attack.

New comment by silasdavis in "Show HN: Why write code if the LLM can just do the thing? (web app experiment)"

silasdavis — Sun, 02 Nov 2025 00:03:22 +0000

I love the idea of it shifting from one non-descript design system to another on every other page change. How disorientating. Weird and boring at the same time.

New comment by silasdavis in "Imgur pulls out of UK as data watchdog threatens fine"

silasdavis — Tue, 30 Sep 2025 19:54:31 +0000

Doing that from Belgium would indeed be beyond the pale

New comment by silasdavis in "Wikipedia loses challenge against Online Safety Act"

silasdavis — Tue, 12 Aug 2025 08:19:50 +0000

Coming back to London for a spell having lived abroad, I see speech supporting a non violent protest group banned, and find my myself firing up a VPN to avoid dragnet data collection.

Terrorism Act 2000 and 2006 Racial and Religious Hatred Act 2006 Investigator Powers Act 2016 Online Safety Act 2023

There has been a raft of legislation both permitting and mandating digital monitoring while increasingly prohibiting types of speech. Many of these laws with overly broad definitions and large amounts of discretion.

New comment by silasdavis in "Show HN: I'm an airline pilot – I built interactive graphs/globes of my flights"

silasdavis — Fri, 27 Jun 2025 14:50:52 +0000

There seems to be some crossover between the software and flying 'communities'. Perhaps this is rather unsurprising given some of the shared prerequisite skills? Is it your experience there are many commercial pilots who code?

Do you expect to get 100% of the way to the sun over your career?

New comment by silasdavis in "Ask HN: What is interviewing like now with everyone using AI?"

silasdavis — Sun, 02 Feb 2025 20:47:17 +0000

I don't care how you're good at it so long as I can watch.

New comment by silasdavis in "Be Aware of the Makefile Effect"

silasdavis — Sat, 11 Jan 2025 20:03:25 +0000

Someone remind me, is it $@ or $< ?

New comment by silasdavis in "Just: Just a Command Runner"

silasdavis — Sat, 07 Dec 2024 21:04:13 +0000

I'm Stockholm syndrome with make at this point. I'm not sure I'd want it any other way.

New comment by silasdavis in "Demystifying Git Submodules"

silasdavis — Mon, 02 Dec 2024 08:23:39 +0000

Absent mindedly moving a submodule breaks everything. It was relatively recently there was even support via git mv.

New comment by silasdavis in "Leader Election with S3 Conditional Writes"

silasdavis — Fri, 30 Aug 2024 14:54:35 +0000

This is rather misleading, the FLP theorem talks about fully asynchronous networks with unbounded delay. Partial synchrony is a perfectly reasonable assumption and allows atomic broadcast and locking to work perfectly well even if there is an unknown but finite bound on network delay.

New comment by silasdavis in "Galois Theory"

silasdavis — Fri, 16 Aug 2024 06:43:12 +0000

The maths appendices in Infinite Jest are about half the book. There's a section written by Hal's friend (?), proving something like the intermediate value theorem where he says something like: we'll use epsilon delta because it's mad fun to say.

New comment by silasdavis in "Galois Theory"

silasdavis — Fri, 16 Aug 2024 06:36:27 +0000

Can you ask it to explain galois theory like he's 21?

New comment by silasdavis in "WhenFS: Calendar Is Now a File System"

silasdavis — Sun, 04 Aug 2024 19:55:58 +0000

WhenFFS feels like a missed opportunity here.

New comment by silasdavis in "Swift Homomorphic Encryption"

silasdavis — Tue, 30 Jul 2024 22:05:06 +0000

I'm not sure what enumeration attack you have in mind, but if you were to encrypt the same value many times you would not get the same ciphertext under most schemes.

New comment by silasdavis in "Scrapscript: A functional, content-addressable programming language"

silasdavis — Wed, 24 Jul 2024 08:49:20 +0000

What is the runtime thing I run on a machine in order to support shipping code around? How does that work?

Unison makes reference to a node I also could find scant details of rust.