LHolten @LHolten@qoto.org

This post is great: https://www.hillelwayne.com/post/graph-types/

There's lots to enjoy, but what stands out to me is that it's based on interviews, instead of just shouting an opinion as many blog posts do. It's strange that this feels so refreshing, because it's basic journalism. I'd love it if the bar for blog posts with high traction changes from confidently stated opinions to something more like this; well-researched and based on multiple perspectives (and fun to read!)

2024 we ship strict provenance and deprecate `ptr as usize` and `usize as ptr` mark my goddamn words

Go get your tickets now for RustNL, one of the biggest Rust events this year!

https://2024.rustnl.org/

See you all in Delft!

Great blog post by Simon Ask Ulsnes about porting libyaml to safe Rust: https://simonask.github.io/libyaml-safer/

It's full of interesting technical details and very funny. Definitely worth a read!

The ticket sales for RustNL 2024 is now live!

Come join us in Delft (NL) on 7 & 8 May.

https://2024.rustnl.org/

#rustlang #rustnl2024

A very happy new year to all! May 2024 be full of new discoveries and stories to tell. And perhaps a bit of dependent types on the side ;)

We are organizing the FP Dag aka Dutch Functional Programming Day on Friday the 5th of January in Delft. People from neighboring countries are also very welcome to join!

The (soft) registration deadline is on the 22th of December (next Friday), so get your tickets soon!

#FP #FPDag #FunctionalProgramming #Haskell #OCaml #Scala #Racket #Scheme #Agda #Coq #Idris #Lean #AndAllTheOtherLanguagesIForgot

@yosh Oh, we could use `yolo { }` for the unsafe elim form!

`unsafe`/`yolo` seems like a good pairing.

"(even non-allocating) sort can cause oom because it can change compression ration of memory"

Blog Post: Non-Send Futures When?

https://matklad.github.io/2023/12/10/nsfw.html

Discussions: https://discu.eu/q/https://matklad.github.io/2023/12/10/nsfw.html

#programming #rustlang

Everyone should get 2024 as paid leave to finish their personal projects

🦀 New #rustlang blog post! Learn about temporary lifetimes, about something called "temporary lifetime extension", and my idea for a new language feature called "super let".

https://blog.m-ou.se/super-let/

If you've not read through the #BytecodeAlliance blog post on wasmtime and cranelift in 2023, I recommend it, not merely for #wasmtime information, but rather for a great summary of proposals in #webassembly and the component model. really well done. https://bytecodealliance.org/articles/wasmtime-and-cranelift-in-2023

OH FUCK FUCK SHIT WHY DO PEOPLE VOTE FOR THIS STUPID RACIST ASSHOLE

I made a little website yesterday. Today is election day in the Netherlands and I always get jealous of the interfaces they use on TV to explore possible coalitions based on the polls. So, I made one myself!

I put in a few poll results from yesterday and will update it later today with exit polls and the final results once they are available.

https://tertsdiepraam.gitlab.io/Formeren

Also, I used the new Svelte 5 to build this and it was great!

For me probably the most interesting application of LLMs/ML/AI in the context of programming is when they’re combined with an additional step of “verification”.

If I’m generating api endpoint boilerplate, or database queries • then yeah sure, I trust that I can probably eyeball whether something is roughly right. It’s fine.

But if I’m porting some critical production system from one language to another. Or changing it in some other substantial but automated way — verification becomes critical.

Eyra does the impossible

https://blog.sunfishcode.online/eyra-does-the-impossible/

Discussions: https://discu.eu/q/https://blog.sunfishcode.online/eyra-does-the-impossible/

#programming #rustlang

85,000, confirmed by the police. Largest climate match ever in the Netherlands! #klimaatmars
https://nos.nl/l/2497565

New lifetime capture rules for Rust 2024 edition [Accepted RFC]

https://rust-lang.github.io/rfcs/3498-lifetime-capture-rules-2024.html

Discussions: https://discu.eu/q/https://rust-lang.github.io/rfcs/3498-lifetime-capture-rules-2024.html

#programming #rustlang