84 Followers
417 Following
156 Posts

I like functional programming, inline skating and statistics :)

I use #NixOS , #RocLang, and #JuliaLang 

Migrated from @hasnep

👁👃👁

Websitehttps://ha.nnes.dev
Pixelfedhttps://pixelfed.fi/Hasnep
GitHubhttps://github.com/hasnep
Gravatarhttps://gravatar.com/hasnep

v0.20 of sqruff is now available in #Nixpkgs. Thanks @rfc1149 for updating it!

https://github.com/NixOS/nixpkgs/pull/353394

#sql #nixos

sqruff: 0.17.0 → 0.20.2 by samueltardieu · Pull Request #353394 · NixOS/nixpkgs

Release notes Close #353374 Things done Built on platform(s) x86_64-linux aarch64-linux x86_64-darwin aarch64-darwin For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual) sa...

GitHub

My first PR to #Nixpkgs got merged! The community was very helpful, especially @glepage who gave lots of useful feedback, thanks!

If you use #NixOS and want to lint #SQL quickly, then you can try using sqruff :)

https://github.com/NixOS/nixpkgs/pull/342435

sqruff: init at 0.17.0 by Hasnep · Pull Request #342435 · NixOS/nixpkgs

Description of changes sqruff is a fast SQL linter and formatter. fix #336098 Things done Built on platform(s) x86_64-linux aarch64-linux x86_64-darwin aarch64-darwin For non-Linux: Is sand...

GitHub
Meet ✨ Oracular Oriole ✨ The Matcha prophet in the family.  💚 🧡 Inspired by Ubuntu release 24.10, scheduled for release this month! Created with @Krita and @Blender.
https://www.deviantart.com/sylviaritter/art/1107736015 #art #mastoart #fediart #wallpaper #krita
Oracular Oriole by SylviaRitter on DeviantArt

In a move that absolutely no one asked for:
I am porting the Windows Vista/7 desktop Gadgets to Wayland with some GTK sorcery.

These widgets are actually zip files with web resources plus some metadata.
I got the Machine CPU and RAM stats working, along with some of Microsoft's weird JS API's.

https://ha.nnes.dev/blog/fuzzing-is-fun/

I tried #fuzzing and really enjoyed it, so I wrote a blogpost about it! It mentions some #RocLang stuff, but you don't need to know any Roc to read it :)

#blogpost #testing #fuzztesting

Fuzzing is fun - Ha.nnes.dev

My first (proper) PR to the #RocLang compiler got merged! :)

https://github.com/roc-lang/roc/pull/7046

Add commit information to roc versions built from source by Hasnep · Pull Request #7046 · roc-lang/roc

Addresses #7030. I'm not that experienced with Rust and I'm not familiar with the style and priorities of the Roc compiler team, so I'd appreciate feedback on anything that looks out of...

GitHub

@JoeRess In a recent episode of one of your podcasts, you talked about whether WSL brings people over to "proper" desktop Linux.

In 2018 I was writing my masters dissertation on Windows, and someone on Reddit said that it's much easier to manage LaTeX packages on Linux and recommended using WSL to do that. I wrote my dissertation using WSL, which later made me want to try dual booting Ubuntu 19.10, which then broke my Windows partition, so I uninstalled Windows and have used Linux ever since.

A typhoon changed direction last minute, so we got all the hot weather and none of the days off work :(

The Niri desktop environment looks cool, the scrolling design is very similar to how I already use my desktop (plus, written in #RustLang, blazing fast, blah blah blah)

https://github.com/YaLTeR/niri

#Linux #Wayland

GitHub - YaLTeR/niri: A scrollable-tiling Wayland compositor.

A scrollable-tiling Wayland compositor. Contribute to YaLTeR/niri development by creating an account on GitHub.

GitHub

https://hasnep.github.io/roc-packages

I wrote an unofficial package index website for #RocLang. The number of packages is growing quickly, and I have a bunch more that I'm close to releasing!

Roc Packages