Skip Navigation

Posts
9
Comments
10
Joined
3 yr. ago

Hi, it's-a me, Mario!

A Robotics enthusiast with a MSc degree in Engineering Physics, currently diving into a Ph.D.

  • Maybe I'll write something in the future

  • It was not too hard if you are already familiar with Nix. The features supported (and the custom Linux kernel) can be found in surface-linux. For NixOS I used the nix-hardware flake to simplify things.

    The worst part was the compilation of the Linux kernel, that took hours on the surface. Eventually, I used the remote nix build feature to compile on a more capable computer.

  • I have a Microsoft Surface 7 running NixOS. Everything works, even touch/pen

  • I wanted something like this! I think I'm gonna give this a shot, thank you for sharing your work

  • You miss What If? The show with some of the best episodes imo

  • YYYY-MM-DD is easier to get sorted since most significant number is on the left.

  • The past few days in Portugal were very windy, might explain the high renewal percentage.

    It is a very misleading number/information.

  • Football (migrated to football@sopuli.xyz) @lemmy.world

    Officials to miss weekend games after penalty error

    www.bbc.com /sport/football/66506026
  • Wolverhampton Wanderers F.C. @lemmy.world

    Officials to miss weekend games after penalty error

    www.bbc.com /sport/football/66506026
  • Robotics @programming.dev

    Robot Learns to Walk in 1 Hour

  • Robotics @programming.dev

    Automatic robotic pool stick

  • Julia @programming.dev

    Julia in 100 seconds

  • Julia @programming.dev

    2023 Julia User & Developer Survey

    eu-submit.jotform.com /231302658707354
  • ROS @programming.dev

    ROS News for the Week of June 12th, 2023

    discourse.ros.org /t/ros-news-for-the-week-of-june-12th-2023/32006
  • ROS @programming.dev

    ROS on the Steam Deck

    discourse.ros.org /t/ros-on-steam-deck/27283
  • ROS @programming.dev

    Welcome to the ROS Community!

  • I use EndeavourOS with Hyprland on my laptop but I am considering trying VanillaOS (once they move to Debian base). On desktop I have Ubuntu 20.04 and EndeavourOS (both on Gnome)