Notices by Jan :rust: :ferris: (janriemer@floss.social), page 2

Everyone should learn how to develop software - because it teaches you the fundamental consequences of short-term vs. long-term thinking.

#SoftwareEngineering #Philosophy

"I refuse to plant my hope in delusion...and I'm probably one of the more optimistic people you'll meet." - @Mer__edith on the question of if there's any positive outlook for #AI.

Listen to the full #podcast by Logbuch Netzpolitik:

Episode 504 - The politics of intellectual shame:

https://logbuch-netzpolitik.de/lnp504-the-politics-of-intellectual-shame

#ArtificialIntelligence

Some Tokio trivia (no, not _that_ #Tokio, but the #Rust Tokio #Async runtime):

Did you know that since Tokio v1.41 (Oct 22th, 2024), large Futures (>16KB) are automatically `Box`ed, when `spawn`ed in order to not overflow the stack (or causing excessive memcpy)!? This is enabled in release builds!

Previously, it was only enabled in debug builds, for which the threshold is >2KB until `Box`ing.

https://github.com/tokio-rs/tokio/pull/6826

Found via

How Big is your Future:
https://hegdenu.net/posts/how-big-is-your-future/

#RustLang

3D Gaussian Ray Tracing: Fast Tracing of Particle Scenes

https://gaussiantracer.github.io/

"Most existing methods render particles via rasterization, projecting them to screen space tiles for processing in a sorted order. This work instead considers ray tracing the particles, building a bounding volume hierarchy and casting a ray for each pixel using high-performance #GPU ray tracing hardware."

#RayTracing #Graphics #Paper #GaussianSplatting #GaussianRayTracing

F* (pronounced F star)

https://fstar-lang.org/

"F* is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on #SMT solving and tactic-based interactive theorem proving."

2/2

hax - A #Rust #verification tool

https://github.com/hacspec/hax

hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.

1/2

#Proof #Hax #FStar #ProgrammingLanguage #OCaml #RustLang

#Code in #Rust is one of the most readable code I've ever come across!

When some people say they find #RustLang's syntax ugly, they miss something very crucial, IMHO:

It's not about some 'a or <> or other symbols!
It's about _how data flows through your software_, which Rust presents to you in the clearest way possible!

#SoftwareEngineering

#Rust's module system is actually amazing! ✨ 🎡

Let's say we have a module `foo` that can create `Foo`s in different ways. Yes, that's it - it can only create `Foo`s.

But `Foo`s should also be able to `dance` and `twinkle`.

So we create two other modules `dance` and `twinkle` and `impl Foo` in each of them, so `Foo` can dance and twinkle.

But `Bar` can also dance - so we `impl Bar` in `dance` as well.

Do you see a pattern? You organize (primarily) by _behaviour_, not data.

#RustLang

Oh nice, the #Roc #ProgrammingLanguage now has a polished website! :awesome: 💅

https://www.roc-lang.org/

My #prediction is: we'll see a v0.1 release in a year or so. 🤞

Definitely a language I'm going to learn!

#FunctionalProgramming #RocLang

Async #Rust is not safe with io_uring | by Tzu Gwo

https://tonbo.io/blog/async-rust-is-not-safe-with-io-uring

#RustLang #AsyncRust #Async #IOuring #IOSafety

You know what should have been nominated "word of the year"?

=> Slop

#Language #AI #ArtificialIntelligence #LLM

#AI is simply the biggest #magic trick ever being shown to people and #society at large!

#BigTech companies are the magicians.

And you know what magicians do: they deceive the audience!

✨

#ArtificialIntelligence #LLMs

@alcinnz 👆 knowing you're into Haskell, you might be interested in the above (is this called "nerd sniping"?) 😜

@clementd Very interesting read! Thank you for sharing. Wish you all the best on your further Rust journey. :ferris:

The commercials about #Apple Intelligence pretty much sum up the whole #AI industry and their "use cases".

via Invidious:

https://inv.nadeko.net/watch?v=3m0MoYKwVTM

https://inv.nadeko.net/watch?v=TPe8revsg3k

https://inv.nadeko.net/watch?v=_eJy6QyHaFM

https://inv.nadeko.net/watch?v=A0BXZhdDqZM

Or YT:

https://www.youtube.com/watch?v=3m0MoYKwVTM

https://www.youtube.com/watch?v=TPe8revsg3k

https://www.youtube.com/watch?v=_eJy6QyHaFM

https://www.youtube.com/watch?v=A0BXZhdDqZM

Please tell me this was an inside-job. It's parody/satire at it's finest! 👌 😗 🧑🍳

#LLM #LLMs #ArtificialIntelligence

@emilygorcenski Wow, this is incredible, Emily!✨ 9,000 words!? I can't even see my scrollbar anymore.😄

I haven't read the whole thing yet, but from what I've read it looks like a beautiful arc from past to present to future on the topics you've mentioned. ➰

Thank you for this. I love it, when people are so dedicated/passionate about something! ❤️

@marijn Check this out:

Your AI-free Content Deserves a Badge

https://notbyai.fyi/

#AIFree #AI #ArtificialIntelligence #NotByAI #LLM #LLMs #SALAMI

@evan Never!