@niklaskorz@rheinneckar.social
@niklaskorz@rheinneckar.social avatar

niklaskorz

@niklaskorz@rheinneckar.social

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly :rust: Rust, Go and TypeScript.
I use :nixos: Nix btw.
MSc Computer Science (2019-2022 https://xn--baw-joa.social/@uniheidelberg).
Co-founder of https://rheinneckar.social/@alugha.
Toots in German and English.
#MastoAdmin at @admin.

#fedi22 #rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

This profile is from a federated server and may be incomplete. Browse more on the original instance.

sandro, to NixOS
@sandro@c3d2.social avatar

Yesterday I finally nuked my Windows 10 gaming machine and installed . I was a bit afraid of the Nvidia graphics card but I literally just turned 2 options on and could build a working custom ISO and install the system with them as well.
I had literally more trouble to properly format my disk 😂

My current working theory is, that just the hybrid/prime laptops are so troublesomed.

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@sandro Even with anti cheat, both Valve's VAC and Epic's EAC are officially supported on Wine / Proton. It's mainly LoL and Valorant players that are out of luck now.

https://www.gamingonlinux.com/2021/09/epic-games-announce-full-easy-anti-cheat-for-linux-including-wine-a-proton/

kubikpixel, to rust
@kubikpixel@chaos.social avatar

»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«

Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?

🦀 https://www.pm.inf.ethz.ch/research/prusti.html

—

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@kubikpixel I didn't use it myself yet but one of the creators of Prusti is giving a talk about it at RustFest Zürich next month: https://rustfest.ch/talks/beyond-memory-safety/

mcollina, to random
@mcollina@fosstodon.org avatar

A company uses one of my libraries, and they often open issues about bugs and other help. I promptly offered them a support contract, which would greatly help them and myself. They refuse.

After a while they open a bug about a production issue. What would you do?

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@mcollina "Looking forward to your pull request!" 👀

fasterthanlime, (edited ) to random
@fasterthanlime@hachyderm.io avatar

Does your native language use the same words or different words for "borrow" and "lend"?

And do you struggle with that distinction in English? (if English native, answer "diff words")

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@fasterthanlime
borrow: etwas von jemandem ausleihen
lend: jemandem etwas ausleihen
🇩🇪

(but no struggle for me in English)

sophie, to random
@sophie@social.lol avatar

Apparently I’ve been hanging on to these computer part boxes since 2016 “just in case”

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@sophie I still have the box for my GTX 970, and the GPU itself isn't even working anymore... Oh wait, actually it's the exact same box as in your photo! 😄

christianselig, to random
@christianselig@mastodon.social avatar

Any recommendations for USB-C to C charging cables over 10 feet/3 meters long? USB 2.0 speeds are fine, no video transmission needed, just want 100W of power delivery and ideally not as thick as a garden hose

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@christianselig Been using https://uniaccessories.com/products/usb-c-to-usb-c-cable-100w-braided?variant=29636259283008 for two years now, no issues so far

phranck, to random German
@phranck@chaos.social avatar

Kann mal jemand bitte schauen, ob meine Website https://phranck.dev erreichbar ist? Von mir aus ist das naemlich nicht der Fall. 🤔

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@phranck "Das Zertifikat für phranck.dev ist am 30.4.2024 abgelaufen"

niklaskorz, to rust
@niklaskorz@rheinneckar.social avatar

I'm happy to announce I will be speaking at this year. My talk is about Linon, a graphical application I began writing during my MSc studies at @uniheidelberg for interactively exploring the visual effects of continuous refraction or distortion of light rays. The application is based on , making heavy use of compute shaders.

https://rustfest.ch/talks/interactive-exploration-of-nonlinear-ray-casting-with-rust-and-wgpu/

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@mo8it @janriemer I'm pretty sure they will be, as the talks of the previous RustFest Zurich in 2017 are also online 😄

fasterthanlime, to random
@fasterthanlime@hachyderm.io avatar

I live in the future (but rust-analyzer refuses to join me)

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@fasterthanlime Which editor is that?

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@fasterthanlime I wasn't sure but it looked familiar, nice. 😄 Only thing holding me back from switching is direnv. If it gets a direnv plugin, I can use my nix devshells with it.

niklaskorz, to NixOS
@niklaskorz@rheinneckar.social avatar

me: let's try these Wayland explicit sync patches, maybe they fix my Nvidia issues

nixos-rebuild: let me just quickly rebuild 30 gigabytes of source code

element, to rust
@element@mastodon.matrix.org avatar

🚀 Exciting News! 🚀

We're consolidating our cryptographic libraries with Rust! 🦀

With a unified crypto library, we simplify development, speed up deployment, and ensure consistent security measures across all clients.

This milestone marks a significant step in our journey.

Join us in celebrating this achievement, and looking forward to even more exciting developments ahead! 🎉

https://element.io/blog/meet-element-r-our-new-unified-crypto-implementation/

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@epicEaston197 @element it says cryptography right in the toot

janriemer, to rust

Currently in the process of rewriting my #transpiler from #nom v4.2 to #chumsky v1.0.0-alpha.6 🤓

It is a lot of fun so far, but I have to say these type signatures are wild!😄

I'm still struggling with it far more than I'd like, but I guess it is just a matter of time until intuition kicks in and it will become more and more natural.

Exciting project ahead!🙂

I'm even able to parse string literals with escape sequences - something I haven't even achieved with nom!

#Rust #RustLang

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@janriemer don't forget to box now and then to keep your build times sane 🫠

niklaskorz, to mastodon
@niklaskorz@rheinneckar.social avatar

If there's one more "crucial security update" for that I have to install this week, I'll quit the internet for the rest of the week.

walsonde, to random German

beste (und bisher für mich einzig akzeptable) Kalender App war acalendar. "War" deshalb, weil es immer häufiger Probleme gibt, wenn man diesen nicht mit Malware Calender sondern mit Nextcloud betreibt.

niklaskorz,
@niklaskorz@rheinneckar.social avatar

@platypus @walsonde Den benutz ich aktuell auch, aber evtl. wechsel ich wieder zu Etar. Beides aber in Kombination mit DAVx5 für die Synchronisation mit Nextcloud. (alle drei apps in f-droid).

kubikpixel, to rust
@kubikpixel@chaos.social avatar

deleted_by_author

    •
    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @kubikpixel if you are looking for a server implementation, there is https://github.com/lldap/lldap

    Mastodon, to random
    @Mastodon@mastodon.social avatar

    We are running out of mugs, so come quick if you want one! We also have screen printed cotton t-shirts and enamel pins. Building H, level one!

    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @Migueldeicaza You can also order them here: https://freshstore.co/collections/mastodon

    niklaskorz, to delhi German
    @niklaskorz@rheinneckar.social avatar

    Seit letzter Woche bin ich Mitglied im gemeinnützigen Verein @hackerstolz, der vor allem vor der Pandemie zahlreiche Workshops, Meetups und Hackathons in und Umgebung organisiert hat. Dadurch ist der Hackerstolz e.V. nun auch endlich im Fediverse angekommen. Meine Motivation für den Beitritt war die generell etwas geschrumpfte Meetup-Szene in unserer Region und die sehr positive Resonanz auf unser erstes @NixRust in letzten Monat.

    milan, (edited ) to random German
    @milan@social.tchncs.de avatar

    fractional scaling... immernoch schmerzhaft mit ende 2023... :/

    hab noch nicht testweise die einstellungen zurückgenommen aber jetzt nachdem ich beim neuen laptop das mutter feature organisiert habe fällt mir direkt die schlechte desktop performance mit cursor/windowdrag ghosting auf... das ist auch beim thinkpad so und war auch am desktop so ehe ich da auf mac gewechselt bin. ärgerlich.

    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @milan Mit und ist Fractional Scaling mittlerweile sehr gut umgesetzt. Auf anderen Desktopumgebungen eher weniger.

    niklaskorz, to NixOS
    @niklaskorz@rheinneckar.social avatar

    #Immich looks interesting, but now I've already set up #Photoprism on #NixOS on my Pi. And the fact that you need like five docker containers to run Immich vs one NixOS service configuration for Photoprism doesn't make it any more appealing.

    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @hmiron The latter :) On , you can abstract what's necessary for setting up a service behind a NixOS module. There are a lot of premade modules already included in nixpkgs, like . That module can take some configuration values, and also define defaults. So setting up Photoprism only requires services.photoprism.enable = true;. Then you can specify additional config values, like what port it should run on and in which directory your photos are stored.

    janriemer, to rust

    If you get weird 's: have you already tried to just remove the lifetime annotations and see what happens? You'll often get much better error messages this way. :ferris:

    If this doesn't work and you still can't figure it out: try to not use references and own your values instead.

    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @janriemer "own your values" is a statement that works even outside of the Rust context

    janriemer, (edited ) to programming

    There is still plenty of room for in the space of 's:

    sapling | A highly experimental vi-inspired editor where you edit code, not text.

    https://github.com/kneasle/sapling

    Accessible AST-Based for Visually-Impaired Programmers (2019)

    https://dl.acm.org/doi/pdf/10.1145/3287324.3287499

    Also related:
    diffsitter | A tree-sitter based AST to get meaningful semantic diffs

    https://github.com/afnanenayet/diffsitter

    ➡️ Edit: please check out part 2 of this post below...

    1/2

    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @janriemer Thanks! :)

    Lots of kudos to @marijn for CodeMirror 6, which is amazingly extensible and thus perfect for such kinds of experiments.

    regis, to CSS
    @regis@phpc.social avatar

    I learned today that you can actually use this new CSS property to auto resize a textarea without any JS.

    Browser support is almost at 100% (https://caniuse.com/?search=form-sizing).

    niklaskorz,
    @niklaskorz@rheinneckar.social avatar

    @regis uninstalls react-textarea-autosize

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • mdbf
  • ngwrru68w68
  • InstantRegret
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • tacticalgear
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • anitta
  • ethstaker
  • GTA5RPClips
  • modclub
  • tester
  • provamag3
  • osvaldo12
  • cisconetworking
  • everett
  • cubers
  • normalnudes
  • megavids
  • Leos
  • lostlight
  • All magazines
    •