Hacker News: kachnuv_ocasek

New comment by kachnuv_ocasek in "My graduation cap runs Rust"

kachnuv_ocasek — Wed, 13 May 2026 07:48:31 +0000

Do you truly believe most of that goes towards wages?

New comment by kachnuv_ocasek in "Learning Software Architecture"

kachnuv_ocasek — Tue, 12 May 2026 17:22:11 +0000

What exactly do you mean by “make state explicit”?

New comment by kachnuv_ocasek in "Project Glasswing: Securing critical software for the AI era"

kachnuv_ocasek — Wed, 08 Apr 2026 06:34:23 +0000

What would be the product they're marketing by this campaign?

Why Lean?

kachnuv_ocasek — Sun, 05 Apr 2026 14:51:52 +0000

Article URL: https://leodemoura.github.io/blog/2026-4-2-why-lean/

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

Points: 2

# Comments: 0

New comment by kachnuv_ocasek in "Bet on German Train Delays"

kachnuv_ocasek — Wed, 04 Mar 2026 12:19:02 +0000

Perfect for hedging the emotional damage on my daily commute in monetary units.

New comment by kachnuv_ocasek in "Ghostty – Terminal Emulator"

kachnuv_ocasek — Sun, 01 Mar 2026 19:05:14 +0000

Composition, lighting and creativity are no more than tools either.

New comment by kachnuv_ocasek in "Danish government agency to ditch Microsoft software (2025)"

kachnuv_ocasek — Wed, 25 Feb 2026 11:08:48 +0000

This is not in any way specific to the government or public institution. Many (perhaps most) private companies work the same way.

New comment by kachnuv_ocasek in "ASML staffing changes could result in a net reduction of around 1700 positions"

kachnuv_ocasek — Wed, 28 Jan 2026 09:04:34 +0000

One could argue share buybacks are more tax-efficient.

New comment by kachnuv_ocasek in "Backing up Spotify"

kachnuv_ocasek — Sat, 20 Dec 2025 23:38:47 +0000

How does Spotify defend people who actually make art? There's virtually no difference between pirating and steaming through Spotify for the vast majority of artists.

New comment by kachnuv_ocasek in "The kind of company I want to be a part of"

kachnuv_ocasek — Tue, 11 Nov 2025 14:08:51 +0000

Same argument applies. You, as the developer, always know in what context the text appears. Whether it's "dwa zdjęcia przesłane" or "dodano tagi do dwóch zdjęć".

New comment by kachnuv_ocasek in "Why formalize mathematics – more than catching errors"

kachnuv_ocasek — Fri, 24 Oct 2025 18:02:53 +0000

Lean has much better UX to be frank. Rocq is fine, but if I were to start formalising today, I'd pick Lean.

PyPSA 1.0 Is Here

kachnuv_ocasek — Wed, 22 Oct 2025 08:26:23 +0000

Article URL: https://docs.pypsa.org/latest/release-notes/

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

Points: 1

# Comments: 0

New comment by kachnuv_ocasek in "EU court rules nuclear energy is clean energy"

kachnuv_ocasek — Fri, 12 Sep 2025 19:17:28 +0000

But what are the specific regulations you would cut, dude?

New comment by kachnuv_ocasek in "CauseNet: Towards a causality graph extracted from the web"

kachnuv_ocasek — Tue, 02 Sep 2025 10:51:41 +0000

> a system cannot be both sound a complete

Huh, what do you mean by this? There are many sound and complete systems – propositional logic, first-order logic, Presburger arithmetic, the list goes on. These are the basic properties you want from a logical or typing system. (Though, of course, you may compromise if you have other priorities.)

New comment by kachnuv_ocasek in "An Introduction to Stochastic Calculus (2022)"

kachnuv_ocasek — Wed, 16 Apr 2025 14:53:17 +0000

Same background here. I finally got into stochastic calculus last year thanks to a local college course (after several unsuccessful attempts on my own).

You need at least

1. a basic grasp of classical calculus, measure theory and topology

2. solid understanding of probability theory

3. basics of stochastic processes

I believe you should be able to dive in from there. It's good to have an idea where you're heading as well (mathematical finance and modelling and pricing derivatives? Bayesian inference and MCMC? statistical physics?).

Algorithms for Decision Making

kachnuv_ocasek — Tue, 31 Dec 2024 14:21:34 +0000

Article URL: https://algorithmsbook.com/decisionmaking/

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

Points: 5

# Comments: 0

New comment by kachnuv_ocasek in "Language is not essential for the cognitive processes that underlie thought"

kachnuv_ocasek — Sat, 19 Oct 2024 18:55:56 +0000

Interestingly, I feel like I can "feel" small numbers (up to 4 or 5) easier than than thinking about them as objects in a language.

New comment by kachnuv_ocasek in "`find` + `mkdir` is Turing complete"

kachnuv_ocasek — Wed, 31 Jul 2024 06:27:46 +0000

Why would an OS need to be Turing complete?

New comment by kachnuv_ocasek in "FBI has obtained 7k Lockbit ransomware decryption keys"

kachnuv_ocasek — Thu, 06 Jun 2024 11:15:29 +0000

But why would FBI take the servers down then?

New comment by kachnuv_ocasek in "The What, Why and How of Containers"

kachnuv_ocasek — Wed, 27 Mar 2024 13:29:50 +0000

Perhaps I belong to the minority, but I really don't think about containers as Docker. Actually, I don't remember the last time I used Docker for anything. For the past several years, I've been using either Podman or systemd-nspawn, as yourself.