Hacker News: unstruktured

New comment by unstruktured in "Show HN: An 8-bit live gamecast for baseball"

unstruktured — Wed, 17 Jun 2026 17:30:10 +0000

very cool! maybe make a soccer one for world cup?

New comment by unstruktured in "My fast zero-allocation webserver using OxCaml"

unstruktured — Mon, 02 Feb 2026 15:18:01 +0000

Technically you are right but too much mutation for my tastes and probably many other ocaml developers.

New comment by unstruktured in "KDE is now my favorite desktop"

unstruktured — Thu, 18 Sep 2025 20:42:00 +0000

18 years ago? Holy crap I feel old. I remember how disruptive the very stable 3 to completely unstable 4 was.

New comment by unstruktured in "OCaml as my primary language"

unstruktured — Wed, 13 Aug 2025 19:34:43 +0000

There is absolutely no reason to use double semicolons in practice. The only place you really should see it is when using the repl.

New comment by unstruktured in "A different take on S-expressions"

unstruktured — Wed, 18 Jun 2025 17:40:29 +0000

Thanks for restoring my sanity. Was quite confused of the value added by the author.

New comment by unstruktured in "Darklang Goes Open Source"

unstruktured — Mon, 16 Jun 2025 18:00:41 +0000

To F# from what previously?

New comment by unstruktured in "Peer-to-peer file transfers in the browser"

unstruktured — Wed, 12 Mar 2025 14:38:46 +0000

"Uh...the answer's not in the box, it's in the band".

New comment by unstruktured in "Nix – Death by a Thousand Cuts"

unstruktured — Sat, 11 Jan 2025 21:45:09 +0000

I don't think he touched on whether server side is a more valid use case, but was nice to read someone elses take on using it for a desktop. Thanks for the contribution.

He did find functional programming to be sort of mystic so I don't know if I trust his take on assesing the nix language itself.

TLDR; just stick with ubuntu or arch unless you feel like experimenting

New comment by unstruktured in "OpenAI to become for-profit company"

unstruktured — Thu, 26 Sep 2024 17:59:38 +0000

I wish they would at least rename the company to "ClosedAI" because that's exactly what it is at this point.

New comment by unstruktured in "Types as Interfaces"

unstruktured — Tue, 23 Jul 2024 14:00:06 +0000

What, to you, is an ultra strong type system? Both OCaml and Haskell are used in plenty of non academic contexts. Do you mean something like Coq or F*?

New comment by unstruktured in "The Software Crisis"

unstruktured — Fri, 05 Jul 2024 18:40:51 +0000

Oh that's a solved problem since 1969. It's called "unix". Everything is a file which can be processed as a byte stream. Composition is a breeze- can't be any more general than that!

(I kid, mostly :)).

New comment by unstruktured in "I rebuilt my algorithmic trading platform in Rust. I'm filled with regret"

unstruktured — Fri, 28 Jun 2024 16:26:19 +0000

I think when people say safest they mean the safest "C like" language with zero cost abstractions.

New comment by unstruktured in "F* – A Proof-Oriented Programming Language"

unstruktured — Thu, 16 May 2024 19:36:36 +0000

Interesting point. I never inferred a strong connection between dependent types and the unification of records and modules. Maybe a real PL theorist around here can provide insights on that subject.

New comment by unstruktured in "F* – A Proof-Oriented Programming Language"

unstruktured — Thu, 16 May 2024 14:43:38 +0000

F* + 1ml (https://people.mpi-sws.org/~rossberg/1ml/) would be the ultimate experience. I was born too early!

New comment by unstruktured in "Rust: Box Is a Unique Type"

unstruktured — Thu, 02 May 2024 19:27:20 +0000

macros can help with this if you can narrow down the traits you want to support.

https://doc.rust-lang.org/reference/macros.html

New comment by unstruktured in "Takeaways from the Jane Street bond prospectus"

unstruktured — Thu, 02 May 2024 15:51:26 +0000

If you use Jane street's base, core, and async libraries, you already have most of the tooling you need.

New comment by unstruktured in "Discord is nuking Nintendo Switch emulator devs and their entire servers"

unstruktured — Fri, 12 Apr 2024 03:49:45 +0000

Like matrix/element chat? https://matrix.org/

New comment by unstruktured in "Florida's DeSantis signs law restricting social media for people under 16"

unstruktured — Wed, 27 Mar 2024 01:03:21 +0000

decentralized approaches would be resilient to that.

New comment by unstruktured in "Why choose async/await over threads?"

unstruktured — Mon, 25 Mar 2024 15:13:29 +0000

To me, implementing an async api using algebraic effects is the end game. Gets rid of the need of an async keyword and no monads required!

New comment by unstruktured in "Kdenlive 24.02 open source video editor released"

unstruktured — Mon, 11 Mar 2024 22:52:14 +0000

Big fan of kdenlive. I switched to it after one too many openshot bugs.

Admittedly I always want kde apps to be good but in this case it actually is. Openshot was easier to learn though, personally.