Viewing profile — rkrzr

This is a good post. AI has changed the programming language trade-offs and, as someone running a company that uses both Haskell and Python, I hope that Haskell can adapt to this n…

It does. See https://ghostty.org/docs/config/keybind/reference#toggle_qui... This works on MacOS, and on Linux sometimes: > On Linux, the quick terminal is only supported on Waylan…

Cells may generate their own electrical signals through microscopic membrane motions. Researchers show that active molecular processes can create voltage spikes similar to those us…

Lots of interesting points here, e.g. > We should distinguish between infrastructure code and application code. Often, the two areas need different languages, tools, and techniques…

The extra emissions come from several factors: - cows need a lot of land. If you used that land for e.g. efficient crops instead (and if people ate that instead of all that beef) y…

No. The SQLite bytecode is much higher-level than the instruction set of a CPU.

You can learn the lambda calculus in a few hours. If you read just the first page of the linked paper and work through a few examples, you will likely already know enough about it …

I suspect that the actual cost to rebuild the bridge will be far higher than that. Initial estimates of large public works projects are virtually always too low, and actual costs c…

I am really glad to see that deterministic simulation testing is getting more coverage on HN lately. It feels like the next step up from property-based testing and (coverage-based)…

Thank you for all the great products that you have created! Your vision on infrastructure has always been inspiring to me and you are one of the few engineers who has truly moved t…

Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Join one of the fastest growing scale-ups in the Netherlands. We currently have several open engineering p…

Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE Join one of the fastest growing scale-ups in the Netherlands. We currently have several open engineering p…

It allows the attacker to steal data like e.g. your (root) password.

Functional languages use recursion instead of for and while loops. Recursion is a more general mechanism that can be used to implement the equivalent of for and while loops. So in …

We are currently working on supporting continuous deployments, but it seems that no suitable tools are available. We don't have particularly outlandish requirements, we want someth…

We have a tech blog that has been on the HN front page several times in the past. We focus on writing in-depth technical articles about how we use Haskell, how we solve scaling iss…

Do you see any new challengers to PyTorch?

Great news! > Starting with Cachix v1.3, we’re enabling multipart uploads directly to storage. I would be interested to hear more about the design of the new system. E.g. does it m…

We wrote a blog post on how Nix helps us solve some of the problems that we encountered with other package managers like e.g. apt and pip. https://www.channable.com/tech/nix-is-the…