secana πŸ¦€

Maintainer of Kellnr πŸ¦€ , PeNet and other stuff. Teaches at a university.

secana πŸ¦€ boosted:
daniel:// stenberg://bagder
2025-05-07
secana πŸ¦€ boosted:

iocraft: A crate for beautiful, artisanally crafted CLIs, TUIs, and text-based IO using React-like components

lemmy.world/post/29249466

secana πŸ¦€ boosted:
2025-05-06

Typst ist ein moderner LaTeX-Ersatz mit klarer Syntax, flotter Vorschau und durchdachtem Scripting-System. Typewriter bringt das Ganze als GNOME-Editor auf den Linux-Desktop – inklusive Live-Preview, Templates und PDF-Export. Noch jung, aber mit viel Potenzial fΓΌr quelltextbasierte Dokumente: linuxundich.de/gnu-linux/typst

#Typst #Typewriter #LinuxDesktop #Gnome #OpenSource #Textsatz

secana πŸ¦€ boosted:
2025-05-06

Understanding Memory Management, Part 5: Fighting with Rust

Link: educatedguesswork.org/posts/me
Discussion: news.ycombinator.com/item?id=4

#rust

secana πŸ¦€ boosted:
Will Crichtontonofcrates
2025-05-06

If you've ever struggled with trait/typeclass compiler errors, or if you're interested in better user interfaces for compiler diagnostics, check out our upcoming PLDI paper: "An Interactive Debugger for Rust Trait Errors"

Rust famously has good error messages. But we found that with the right interface, people become ~3x faster at identifying the root cause of a trait error. See our blog post, including a live demo in your browser:

cel.cs.brown.edu/blog/an-inter

A screenshot of the Argus tool for visualizing trait inference. It shows a VSCode panel with a Bevy program on the left containing a type error related to the `SystemParam` trait, and an Argus visualization of that error on the right.
secana πŸ¦€ boosted:
2025-05-05

I am at the final steps of implementing iganaq in OCaml, and all in all I can say I enjoy writing in this language so much...

For whatever reason, the bracketlessness of ML style languages brings me joy

#OCaml

secana πŸ¦€ boosted:
2025-05-05

Announcing rustup 1.28.2

lemm.ee/post/63153775

secana πŸ¦€secana
2025-05-05

@horusiath I am not into round based games, but I here so much positive about the game that I’ll give it a try.

secana πŸ¦€secana
2025-05-05

@e7_87 I had the same problem with kellnr. Splitting into multiple crates is the only real compilation boost a.t.m for . Would be nice if not a crate, but a module would be the unit of compilation. That would require much less overhead.

secana πŸ¦€ boosted:
2025-05-05

We're 2.5 years into this gold rush, and I still haven't seen any gold. I've seen people selling picks & shovels. I've seen "gold experts" selling maps to the gold. I've seen CEOs announce they're going "gold-first". I've seen people selling land where they claim there's gold. But no actual gold.

secana πŸ¦€ boosted:
2025-05-05

We are one step closer to "no_std" Ratatui πŸπŸ¦€

β–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–‘β–‘ 90%

➑️ Read the blog: jslazak.com/are-we-embedded-ye

πŸ§€ New mousefood release, new soft_ratatui backend and more!

#rustlang #ratatui #tui #embedded #backend #blog #terminal

secana πŸ¦€ boosted:
2025-05-04

No, I do not want to install your app.

No, I do not want that app to run on startup.

No, I do not want that app shortcut on my desktop.

No, I do not want to subscribe to your newsletter.

No, I do not want your site to send me notifications.

No, I do not want to tell you about my recent experience.

No, I do not want to sign up for an account.

No, I do not want to sign up using a different service and let the two of you know about each other.

No, I do not want to sign in for a more personalized experience.

No, I do not want to allow you to read my contacts.

No, I do not want you to scan my content.

No, I do not want you to track me.

No, I do not want to click "Later" or "Not now" when what I mean is NO.

secana πŸ¦€ boosted:
Rust Weekly πŸ¦€rust_discussions
2025-05-02

Show r/rust: just-lsp - A language server for `just`, the command runner

github.com/terror/just-lsp

Discussions: discu.eu/q/https://github.com/

secana πŸ¦€ boosted:
Curated Hacker NewsCuratedHackerNews
2025-05-02
secana πŸ¦€ boosted:
Orhun ParmaksΔ±z πŸ‘Ύorhun@fosstodon.org
2025-05-01

WhatsApp is using Ratatui for their new Erlang crashdump viewer! πŸ”₯

πŸš€ Supports memory address decoding & more!

πŸ¦€ Written in Rust & built with @ratatui_rs

⭐ GitHub: github.com/WhatsApp/crashdump_

#rustlang #ratatui #tui #crashdump #erlang #logs #whatsapp #commandline #terminal

secana πŸ¦€ boosted:
Bartosz Sypytkowskihorusiath@fosstodon.org
2025-05-01

Opinion: the problem with SQL schema is that while SQL queries are declarative, DDL is not: you literally describe what needs to be done.

DDL should work similarly to terraform config: present database with the destination schema state, and ask it to create migration plan (like explain analyse) and execute it.

secana πŸ¦€ boosted:
2025-05-01

TIL: The European Union Public License.

en.wikipedia.org/wiki/European

Looks pretty decent actually!

β€’ OSI and FSF approved
β€’ copyleft
β€’ SaaS clause (like the AGPL)
β€’ explicitly compatible with several copyleft licenses to allow EUPL code to be integrated into GPL, AGPL, LGPL, OSL, MPL etc. projects
β€’ based on European law
β€’ available in 23 languages, all with the same validity

#EUPL #EuropeanUnion #software #license #FLOSS #OpenSource #licensing

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst