WeetHet
@weethet.bsky.social
Developer, researcher, programming language theory nerd
Why can't every project have such a COC?
lix.systems/community-st...
lix.systems/community-st...
Community Standards
making Lix a safe and productive environment <3
lix.systems
September 27, 2025 at 10:09 PM
Why can't every project have such a COC?
lix.systems/community-st...
lix.systems/community-st...
Reposted by WeetHet
github.com/ziglang/zig/...
This is so solved by having RAII but Zig would rather have errors that aren't much better than C ones, welp
This is so solved by having RAII but Zig would rather have errors that aren't much better than C ones, welp
Allow returning a value with an error · Issue #2647 · ziglang/zig
Sometimes when a function fails, there is extra information that you have on hand that may help the caller respond to the problem or produce a diagnostic. For example, in the parseU64 example by an...
github.com
July 4, 2025 at 8:02 AM
github.com/ziglang/zig/...
This is so solved by having RAII but Zig would rather have errors that aren't much better than C ones, welp
This is so solved by having RAII but Zig would rather have errors that aren't much better than C ones, welp
Where the fuck do I find music recommendations now? Spotify feeds me AI slop bullshit, Reddit is full of AI bots, it's basically impossible to find anything
May 18, 2025 at 12:39 PM
Where the fuck do I find music recommendations now? Spotify feeds me AI slop bullshit, Reddit is full of AI bots, it's basically impossible to find anything
Reposted by WeetHet
#rustlang 1.0, ten years later steveklabnik.com/writing/rust...
Rust 1.0, ten years later
steveklabnik.com
May 15, 2025 at 5:49 PM
#rustlang 1.0, ten years later steveklabnik.com/writing/rust...
TIL that you can use `https://channels.nixos.org/nixpkgs-unstable/nixexprs.tar.xz` instead of `github:nixos/nixpkgs/nixpkgs-unstable` and it will pin nixpkgs to a reproducible URL while cutting the download from 45mb to 30mb
May 8, 2025 at 5:31 PM
TIL that you can use `https://channels.nixos.org/nixpkgs-unstable/nixexprs.tar.xz` instead of `github:nixos/nixpkgs/nixpkgs-unstable` and it will pin nixpkgs to a reproducible URL while cutting the download from 45mb to 30mb
Determinate Systems can go fuck themselves
March 6, 2025 at 11:52 PM
Determinate Systems can go fuck themselves
I'm seeing more articles on people using LLMs to essentially plug holes in the software design, which, I think would negatively affect the design of future software as well. If you need an LLM to write SQL, you need better SQL (pipe syntax) same for git and merge conflicts, use pijul/darcs
February 3, 2025 at 11:35 AM
I'm seeing more articles on people using LLMs to essentially plug holes in the software design, which, I think would negatively affect the design of future software as well. If you need an LLM to write SQL, you need better SQL (pipe syntax) same for git and merge conflicts, use pijul/darcs
Twitter: get depressed because everyone is horrible
Bluesky: get depressed because everything is shit and everyone is depressed
Bluesky: get depressed because everything is shit and everyone is depressed
January 29, 2025 at 2:31 AM
Twitter: get depressed because everyone is horrible
Bluesky: get depressed because everything is shit and everyone is depressed
Bluesky: get depressed because everything is shit and everyone is depressed
Github is actually just unusable with Safari: it just stops updating when you try to view a relatively large PR/change and doesn't come back, while Chromium and Firefox handle it just fine
January 22, 2025 at 7:00 PM
Github is actually just unusable with Safari: it just stops updating when you try to view a relatively large PR/change and doesn't come back, while Chromium and Firefox handle it just fine
This seems very cool: github.com/256lights/zb
It's basically like nix but you write derivations in lua, and it supports windows and multi-step derivations
It's basically like nix but you write derivations in lua, and it supports windows and multi-step derivations
GitHub - 256lights/zb: An experiment in hermetic, reproducible build systems
An experiment in hermetic, reproducible build systems - 256lights/zb
github.com
January 7, 2025 at 2:17 PM
This seems very cool: github.com/256lights/zb
It's basically like nix but you write derivations in lua, and it supports windows and multi-step derivations
It's basically like nix but you write derivations in lua, and it supports windows and multi-step derivations
Even if you are not writing C it's still probably harmful to whatever you are using. Your language is basically expected to have some kind of C FFI or it won't be able to interop with basically anything and C FFI is awful and must burn in flames
January 7, 2025 at 3:22 AM
Even if you are not writing C it's still probably harmful to whatever you are using. Your language is basically expected to have some kind of C FFI or it won't be able to interop with basically anything and C FFI is awful and must burn in flames
nix curse is looking up if a project is packaged and if not checking how you can do so before even reading its readme and don't say you don't have it
December 29, 2024 at 8:09 PM
nix curse is looking up if a project is packaged and if not checking how you can do so before even reading its readme and don't say you don't have it
scala
December 29, 2024 at 6:33 PM
scala
Welp, I crashed the swift compiler (again) by trying to abuse distributed actors (again) to try and run killable functions (again). Whyyyyy
December 23, 2024 at 6:09 PM
Welp, I crashed the swift compiler (again) by trying to abuse distributed actors (again) to try and run killable functions (again). Whyyyyy
The thing about Rust really is that the language feels less designed and more discovered around its central concepts and it's really cool
December 18, 2024 at 7:21 AM
The thing about Rust really is that the language feels less designed and more discovered around its central concepts and it's really cool
That's a very good article even if you aren't looking into writing Unison. There's also a video:
youtu.be/GaAe7zGq1zM
youtu.be/GaAe7zGq1zM
December 7, 2024 at 9:01 AM
That's a very good article even if you aren't looking into writing Unison. There's also a video:
youtu.be/GaAe7zGq1zM
youtu.be/GaAe7zGq1zM
Did they just solve the sofa problem? arxiv.org/abs/2411.19826
Optimality of Gerver's Sofa
We resolve the moving sofa problem by showing that Gerver's construction with 18 curve sections attains the maximum area $2.2195\cdots$.
arxiv.org
December 6, 2024 at 8:25 PM
Did they just solve the sofa problem? arxiv.org/abs/2411.19826
Do I have to post silly stuff to get more engagement on my programming skeets? Anyways, here's a couple of cats I saw recently:
December 6, 2024 at 6:11 PM
Do I have to post silly stuff to get more engagement on my programming skeets? Anyways, here's a couple of cats I saw recently:
Ocaml, scala, unison and other PL nerds, how would you advertise algebraic effects in comparison to monads and just old plain imperative style?
December 6, 2024 at 5:49 PM
Ocaml, scala, unison and other PL nerds, how would you advertise algebraic effects in comparison to monads and just old plain imperative style?
> Today, we’re adding ChatGPT Pro, a $200 monthly plan
SaaS has truly gone way too far
SaaS has truly gone way too far
December 6, 2024 at 10:23 AM
> Today, we’re adding ChatGPT Pro, a $200 monthly plan
SaaS has truly gone way too far
SaaS has truly gone way too far
Thanks to the day 3 of advent of code, I've learnt about Scala's extractor objects, and they are extremely cool:
```scala
@main def main(): Unit =
"text1+(2*3)" match
case s"text$a+($b*$c)" => println(s"$a, $b, $c")
case s"other$a/($b+$c+$d)" => println(s"$a, $b, $c, $d")
```
```scala
@main def main(): Unit =
"text1+(2*3)" match
case s"text$a+($b*$c)" => println(s"$a, $b, $c")
case s"other$a/($b+$c+$d)" => println(s"$a, $b, $c, $d")
```
December 3, 2024 at 10:55 AM
Thanks to the day 3 of advent of code, I've learnt about Scala's extractor objects, and they are extremely cool:
```scala
@main def main(): Unit =
"text1+(2*3)" match
case s"text$a+($b*$c)" => println(s"$a, $b, $c")
case s"other$a/($b+$c+$d)" => println(s"$a, $b, $c, $d")
```
```scala
@main def main(): Unit =
"text1+(2*3)" match
case s"text$a+($b*$c)" => println(s"$a, $b, $c")
case s"other$a/($b+$c+$d)" => println(s"$a, $b, $c, $d")
```
Adding a keyword to Scala through research plugins is hard, damn. Any guidance on how I could add a keyword to a function definition? There's `case class PatDef` with modifiers but where's it created? How do I extend the parser?
December 2, 2024 at 10:52 AM
Adding a keyword to Scala through research plugins is hard, damn. Any guidance on how I could add a keyword to a function definition? There's `case class PatDef` with modifiers but where's it created? How do I extend the parser?
Why doesn't cargo have checksums for git dependencies? Is it just assumed that all git hostings an app depends on are safe? Does git itself check that whatever binary blob it gets has a correct hash? Do I not know something about git I probably should?
December 1, 2024 at 4:51 PM
Why doesn't cargo have checksums for git dependencies? Is it just assumed that all git hostings an app depends on are safe? Does git itself check that whatever binary blob it gets has a correct hash? Do I not know something about git I probably should?
I'm really thinking about living in a small commune in France. They have everything, a station with frequent trains and often even a whole public transport network, all while 2000 people live there
November 16, 2024 at 7:52 AM
I'm really thinking about living in a small commune in France. They have everything, a station with frequent trains and often even a whole public transport network, all while 2000 people live there