iiinova — where your digital self keeps evolving

WeetHet @weethet.eurosky.social · 08/09/2026

what r we thinking about bazelpkgs which is nixpkgs but fully store-location independent and also bazel-based?

Reposted by WeetHet

Typst @typst.app · 11/03/2026

Still have to publish with LaTeX? Just use Typst with ttt! Listen in on how @thezoq2.bsky.social plugged into the Typst compiler to create only slightly dubious LaTeX code (it got accepted by the journals!). www.youtube.com/watch?v=8nH8...

youtube.com

Write in Typst, submit in LaTeX with ttt | Typst Meetup

YouTube video by Typst

1314

WeetHet @weethet.eurosky.social · 28/02/2026

Came back to finish doctor who after a month long break and Demons of the Punjab is just a beautiful story especially after having a hard day

031

Reposted by WeetHet

isabel @isabelroses.com · 18/01/2026

on the left we have the, trash, trash, trash, lesbian, trash, trash, the one supreme nixos and more trash. and on the right we have, maple, ash, pine, oak, and i think beech

2407

Reposted by WeetHet

Mallow 🦊 @hexandcube.com · 08/01/2026

76510

WeetHet @weethet.eurosky.social · 28/12/2025

Okay, fuck @fasterthanli.me, turned from a person I genuinely respect into an LLM shill bullshit vibecoder real fast

230

Reposted by WeetHet

Jerry Chen @jcsalterego.bsky.social · 25/12/2025

now for the traditional eating of the christmas tree

922162378

WeetHet @weethet.eurosky.social · 01/12/2025

Hi, @welltypedwit.ch I like Vega a lot. Did you consider query based compilation for easier/better IDE and incremental compilation support? hackage.haskell.org/package/rock

hackage.haskell.org

rock

A build system for incremental, parallel, and demand-driven computations

010

WeetHet @weethet.eurosky.social · 01/12/2025

Could someone with inside GHC knowledge explain how GHC 9.10 is different from GHC 9.8 and GHC 9.12 that apply-refact (which hlint depends on) never added support for it? #Haskell

100

Reposted by WeetHet

tweety fish oh wow like a chimera or something spoooky @sifu.tweety.fish · 18/11/2025

cloudflare's on-duty IT staff bangs on the doors which I have padlocked from the inside as I calmly break open lava lamp after lava lamp and drink the contents

172095545

Reposted by WeetHet

expert-lsp.org @expert-lsp.org · 28/08/2025

Our GitHub repository is now public! github.com/elixir-lang/...

github.com

010336

WeetHet @weethet.eurosky.social · 18/05/2025

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

400

Reposted by WeetHet

Steve Klabnik @steveklabnik.com · 15/05/2025

#rustlang 1.0, ten years later steveklabnik.com/writing/rust...

steveklabnik.com

Rust 1.0, ten years later

1319834

WeetHet @weethet.eurosky.social · 08/05/2025

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

092

WeetHet @weethet.eurosky.social · 06/03/2025

Determinate Systems can go fuck themselves

000

WeetHet @weethet.eurosky.social · 03/02/2025

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

010

WeetHet @weethet.eurosky.social · 29/01/2025

Twitter: get depressed because everyone is horrible Bluesky: get depressed because everything is shit and everyone is depressed

010

WeetHet @weethet.eurosky.social · 22/01/2025

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

000

WeetHet @weethet.eurosky.social · 07/01/2025

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

github.com

GitHub - 256lights/zb: An experiment in hermetic, reproducible build systems

An experiment in hermetic, reproducible build systems - 256lights/zb

160

WeetHet @weethet.eurosky.social · 07/01/2025

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

140

WeetHet @weethet.eurosky.social · 29/12/2024

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

100

WeetHet @weethet.eurosky.social · 23/12/2024

Welp, I crashed the swift compiler (again) by trying to abuse distributed actors (again) to try and run killable functions (again). Whyyyyy

010

WeetHet @weethet.eurosky.social · 18/12/2024

The thing about Rust really is that the language feels less designed and more discovered around its central concepts and it's really cool

030

WeetHet @weethet.eurosky.social · 07/12/2024

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

The Death of Monads? Direct Style Algebraic Effects

YouTube video by Impure Pics

0152

WeetHet @weethet.eurosky.social · 06/12/2024

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:

White and black cat sitting with trees in the back

A black and white cat with pool infrastructure in the background

050

WeetHet @weethet.eurosky.social · 06/12/2024

Ocaml, scala, unison and other PL nerds, how would you advertise algebraic effects in comparison to monads and just old plain imperative style?

5192

WeetHet @weethet.eurosky.social · 06/12/2024

> Today, we’re adding ChatGPT Pro, a $200 monthly plan SaaS has truly gone way too far

030

WeetHet @weethet.eurosky.social · 03/12/2024

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") ```

000

WeetHet @weethet.eurosky.social · 02/12/2024

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?

000

WeetHet @weethet.eurosky.social · 01/12/2024

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?

100

WeetHet @weethet.eurosky.social · 16/11/2024

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

140

WeetHet @weethet.eurosky.social · 16/11/2024

Finally, livekit rust ask was merged into @zed.dev. This is huge, because now audio on Linux is basically within reach. Also, we can finally fix nixpkgs builds to have audio on macOS and write a crate2nix build on GitHub to fix flakiness with tests on macOS

191

WeetHet @weethet.eurosky.social · 15/11/2024

My follower count has spiked almost exponentially, what is going on? Is there a very popular starter pack with me in it?

330

WeetHet @weethet.eurosky.social · 11/11/2024

learn koka and unison if you feel that none of the conventional languages do the trick

050

WeetHet @weethet.eurosky.social · 11/11/2024

What autocomplete provider for the shell do you use? Carapace/fig/just the default shell one?

000

WeetHet @weethet.eurosky.social · 09/11/2024

Bluesky has done something I personally thought of as impossible before, replacing a major established platform. I guess even the amount of knowledge stored somewhere isn't enough when the critical amount of mistakes are made and maybe, just maybe, Reddit is the next

180

WeetHet @weethet.eurosky.social · 09/11/2024

For the Nix people out here: do you prefer functions or hooks for building language specific derivations? I thought I preferred functions but thinking about it now, hooks feel more versatile and composable. Multi-language derivations are so much easier to build this way

010

WeetHet @weethet.eurosky.social · 06/11/2024

Cyprus has the best weather in the mountains during this time of year. It's 15°C during the day. The views are amazing too

Mountainous view from the Troodos mountains. You can see the sea on the left and the forest in front

020

WeetHet @weethet.eurosky.social · 06/11/2024

I guess it's time to learn to survive in the climate catastrophe, because we are genuinely fucked. 2028 would be too late to fix anything

010

WeetHet @weethet.eurosky.social · 03/11/2024

It is completely absurd that for the price of one 32/512 mac mini you can buy two 16/256 mac minis, like apple can't keep getting away with this, right?

020

WeetHet @weethet.eurosky.social · 28/10/2024

I've tried devenv.sh and tbh it's insanely good. It's super easy, fast, and very importantly seems to be built in good faith as compared to whatever detsys have been doing lately. Giant kudos to Domen and Cachix for building this

devenv.sh

Fast, Declarative, Reproducible, and Composable Developer Environments

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

250

WeetHet @weethet.eurosky.social · 24/10/2024

If you see this, post a bridge

RhB Ge 4/4 III with a Regio Express train from St. Moritz to Chur on the Landwasser viaduct. The locomotive carries advertisement for the UNESCO world heritage Albula and Bernina lines. The stylized viaduct pictured on the locomotive is the very same that it is currently passing over! Also note the two first panoramic coaches. This type of panoramic coach is normally used on the Bernina line, but because there's less traffic on that line during winter they use the coaches on other parts of the network.

Kabelleger / David Gubler (CC BY-SA 3.0)

000

WeetHet @weethet.eurosky.social · 24/10/2024

This is big for anyone writing at least some amount of sophisticated unsafe code

010