Hacker News: enricozb

New comment by enricozb in "Dutch suicide prevention website shares data with tech companies without consent"

enricozb — Wed, 13 May 2026 15:32:47 +0000

The NL Times just translates Dutch articles and editorializes them for a (mostly American) audience. They should be consistently taken with skepticism. In this case, as other commenters have pointed out, this is "just" Google Analytics.

New comment by enricozb in "From Buffon's Needle to Buffon's Noodle"

enricozb — Sun, 10 May 2026 12:02:08 +0000

Pretty neat! However, if you wanted to know the _probability_ of a noodle crossing any line in the long noodle case (L/W > 1), the expression is more complex (and I believe would require an integral) :).

It's interesting that the number of crossings is independent of whether L/W is less than or greater than 1, but the probability of crossings is equal to 2pi * L/W only in the short case. This makes sense since in the short case the noodle can at most cross a single line.

New comment by enricozb in "Bun's experimental Rust rewrite hits 99.8% test compatibility on Linux x64 glibc"

enricozb — Sat, 09 May 2026 19:08:58 +0000

I believe the author is the creator of Bun.

New comment by enricozb in "In math, rigor is vital, but are digitized proofs taking it too far?"

enricozb — Mon, 30 Mar 2026 19:33:56 +0000

Proof irrelevance I don't think is accepted in constructivist situations. Those are, however, not that relevant to the recent wave of AI math which uses Lean, whose type system includes classical mathematics.

New comment by enricozb in "A Faster Alternative to Jq"

enricozb — Fri, 27 Mar 2026 10:18:22 +0000

I am excited for some alternative syntax to jq's. I haven't given much thought to how I'd write a new JSON query syntax if I were writing things from scratch, but I personally never found the jq syntax intuitive. Perhaps I haven't given it enough effort to learn properly.

New comment by enricozb in "Flood Fill vs. The Magic Circle"

enricozb — Sun, 15 Feb 2026 18:52:01 +0000

What sorts of jobs, out of curiosity?

New comment by enricozb in "Valve's Steam Machine has been delayed, and the RAM crisis will impact pricing"

enricozb — Thu, 05 Feb 2026 15:07:49 +0000

As a counterexample, the BBC financed the show that this sketch was from: https://www.youtube.com/watch?v=DuPBbFOiygo

New comment by enricozb in "Valve's Steam Machine has been delayed, and the RAM crisis will impact pricing"

enricozb — Thu, 05 Feb 2026 09:45:28 +0000

What about it is incompatible with the EU?

New comment by enricozb in "Typechecking is undecidable when 'type' is a type (1989) [pdf]"

enricozb — Mon, 02 Feb 2026 09:18:29 +0000

Perhaps I overstated how related the two were. I was pulling mostly from the Lean documentation on Universes [0]

> The formal argument for this is known as Girard's Paradox. It is related to a better-known paradox known as Russell's Paradox, which was used to show that early versions of set theory were inconsistent. In these set theories, a set can be defined by a property.

[0]: https://lean-lang.org/functional_programming_in_lean/Functor...

New comment by enricozb in "Typechecking is undecidable when 'type' is a type (1989) [pdf]"

enricozb — Sun, 01 Feb 2026 21:28:05 +0000

Yes the type theoretic analog to Russel's (set theoretic) paradox is Girard's (as mentioned in the abstract) paradox.

New comment by enricozb in "Caitlin: A Musical Program Auralisation Tool"

enricozb — Wed, 14 Jan 2026 08:58:19 +0000

I came across this when wondering if there were any efforts to give programmers additional information via audio, similar to how colors are used in syntax highlighting.

Caitlin: A Musical Program Auralisation Tool

enricozb — Wed, 14 Jan 2026 08:57:37 +0000

Article URL: https://www.icad.org/websiteV2.0/Conferences/ICAD96/proc96/vickers.htm

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

Points: 1

# Comments: 3

New comment by enricozb in "Richard D. James aka Aphex Twin speaks to Tatsuya Takahashi (2017)"

enricozb — Thu, 08 Jan 2026 23:52:42 +0000

RDJ or Tatsuya Takahashi?

New comment by enricozb in "C Is Best (2025)"

enricozb — Tue, 06 Jan 2026 13:30:36 +0000

The final comments in this text seem sobering and indicate an openness to change. I worked recently on a project to migrate RediSearch to Rust, and this was partially motivated by a decent number of recent CVEs. If SQLite doesn't have this problem, then there needs to be some other strong argument for moving to Rust.

I also think it's important to have really solid understandings (which can take a few decades I imagine) to understand the bounds of what Rust is good at. For example, I personally think it's unclear how good Rust can be for GUI applications.

New comment by enricozb in "Flow – A Programmer's Text Editor"

enricozb — Wed, 17 Dec 2025 21:29:59 +0000

Today's usage from what edits I can recall:

- I wanted to edit the visibility (pub -> pub(crate)) of most but not all functions in a class.

- I changed a macro to not require commas in a list of items it took in as input.

- I changed a function to deal with utf-8 codepoints instead of bytes, so I wanted to rename all uses of "byte" to "char".

Basically, localized find and replace, with a bit of flexibility.

New comment by enricozb in "Common Rust Lifetime Misconceptions"

enricozb — Mon, 15 Dec 2025 16:57:02 +0000

I think if the compiler determines that it can drop a 'static, because nothing uses it after a certain point, it may drop it.

New comment by enricozb in "Brimstone: ES2025 JavaScript engine written in Rust"

enricozb — Sun, 16 Nov 2025 16:04:36 +0000

It carries some weight, very roughly in the direction of formal verification. Since (assuming there isn't any unsafe), a specific class of bugs are guaranteed to not happen.

However, this repo seems like it uses quite a bit of unsafe, by their own admission.

New comment by enricozb in "Zig / C++ Interop"

enricozb — Tue, 11 Nov 2025 13:14:18 +0000

This idea about communicating size/alignment is actually something we're doing on the port of RediSearch to Rust [0]. We have an "opaque sized type" which is declared on the Rust-side, and has its size & alignment communicated to the C-side via cbindgen. The C-side has no visibility into the fields, but it can still allocate it on the stack.

It's a bit ugly due to cbindgen not supporting const-generic expressions and macro-expansion being nightly-only. It seems like this will be a generally useful mechanism to be able to use values which are not traditionally FFI-safe across FFI boundaries.

[0]: https://github.com/RediSearch/RediSearch/blob/cfd364fa2a47eb...

New comment by enricozb in "Ribir: Non-intrusive GUI framework for Rust/WASM"

enricozb — Sat, 08 Nov 2025 15:10:28 +0000

It's kind of an exploratory phase for what works sensibly with Rust's borrow checker, especially since most UI libraries/frameworks really rely on a GC.

New comment by enricozb in "When stick figures fought"

enricozb — Tue, 04 Nov 2025 06:51:24 +0000

I used to make animations with https://pivotanimator.net/ a lot as a kid, trying to make fight scenes like these. A sort of related thing is ToriBash, which is kind of a multiplayer 3D animation game where you fight each other by making decisions on which muscles to contract at each time interval.

Loved this stuff so much. I miss my summers off from school, where I would never think of a day gone as time "spent".