HNHacker News
TopNewBestAskShowJobs

leonheld

745 karma · joined June 9, 2023

I write here https://leonardoheld.ovh/ and here.
submissionscomments
leonheld··on Ask HN: Can we please limit the AI news flood?
To be clear: I'm not the author. I just use the service.
leonheld··on Ask HN: Can we please limit the AI news flood?
HN is a reflection of the industry and we're at peak hype-cycle at the moment. I use this when I need a break https://elijahpotter.dev/hnsansai.
leonheld··on Run OpenBSD on DigitalOcean for $4/month
Man I always look at this project with nothing by awe. I'd love to start something like this... if you're in central Switzerland and would like to copy their model, hit me up.
leonheld··on Fixing a bricked Framework laptop
> Or some DFU mode you can boot into.

Ironically, Macs do have that, no?

leonheld··on Modernish – A library for writing programs for POSIX-based shells and utilities
It's all written in shell, no other dependencies. This is what so many shells that tried to "revitalize" sh missed! I'll definitely adopt this.
leonheld··on Ask HN: Is it time to fork HN into AI/LLM and "Everything else/other?"
My experience with HackerNews would be significantly improved if I could exclude the LLM-related stuff... it's overwhelming.
leonheld··on uv: An extremely fast Python package and project manager, written in Rust
My apologies: "mydependencies" are packages from PyPI (https://pypi.org/), as if you did "pip install ...".
leonheld··on uv: An extremely fast Python package and project manager, written in Rust
I adore the

  uv add <mydependencies> --script mycoolscript.py
And then shoving

  #!/usr/bin/env -S uv run
on top so I can run Python scripts easily. It's great!
leonheld··on Cosmoe: BeOS Class Library on Top of Wayland
Haiku/BeOS to me is simply peak computer design. This is beautiful!
leonheld··on Modifying an HDMI dummy plug's EDID using a Raspberry Pi
We use it for testing binary embedded Linux distros where tricking the OS to think there's a display connected introduces a new variable that is not present in the user's deployment - and it's a cheap hardware solution. Buying and installing them is probably more cost-effective than having an engineer writing the `echo on > /sys/whatever` and the logic around it.
leonheld··on Launch HN: Nomi (YC X25) – Copilot for Sales
I get nomi.ai, which is a service to:

"... build a meaningful friendship, develop a passionate relationship, or learn from an insightful mentor."

Jesus Christ.

leonheld··on Don't guess my language
While others have expressed sentiments about YouTube and Google, let me tell you what I really hate - translated reddit posts.

They're polluting search results and it's the ultimate disrespect against multi-lingual users... it's made my life hell when trying to find localized information (for example, in Portuguese), when my computer is set to Portuguese but I'm searching in English.

leonheld··on $20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder
Good point. I did not scroll to the rules.
leonheld··on $20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder
What are you talking about? 25~30k is almost a year's salaries for a dev in Eastern Europe/South America.
leonheld··on The world could run on older hardware if software optimization was a priority
If we're talking numbers, there are many, many more embedded systems than general purpose computers. And these are mostly built on ancient process nodes compared to the cutting edge we have today; the shiny octa-cores on our phones are supported by a myriad of ancilliary chips that are definitely not cutting edge.
leonheld··on Spade Hardware Description Language
> Honestly my sense is that it's just time to rip the bandaid off and generate synthesizable hardware from Python or Rust or whatnot.

I worked a bit with VHDL and the parallelism aspect is - to me - so fundamentally different than what our sequential programming languages can express that I'm not sure I a layer of abstraction between this and that. How would that work?

leonheld··on Matt Godbolt sold me on Rust by showing me C++
I love Rust, but I after doing it for a little while, I completely understand the "brain drain" aspect... yes, I get significantly better programs, but it is tiring to fight the borrow-checker sometimes. Heck, I currently am procrastinating instead of going into the ring.

Anyhow, I won't go back to C++ land. Better this than whatever arcane, 1000-line, template-hell error message that kept me fed when I was there.

leonheld··on The True Size Of
It's about half of my state in Brazil (which is one of the smallest in the country). However, I've been to Belgium many times and it feels bigger. I think the key is the population density: 388/km^2 in Belgium vs 70/km^2 here. Like, yes, it's big, but empty space is truly boring.
leonheld··on How I blog with Obsidian, Hugo, GitHub, and Cloudflare
I profoundly do not understand why one needs Hugo or Jekyll or whatever other generator. Why not write HTML in the first place? It's so absurdly easy and it makes you not depend on external infrastructure at all.

I tried some generators but it was so much more complicated than writing a style sheet and some pages. Maybe for some more complex use-case, okay, I get it, but the author's blog is so minimal and simple.

edit: today I learned people have very strong opinions about static site generators. Good valid reasons, y'all. Maybe my use case really is too simplistic!

leonheld··on Any program can be a GitHub Actions shell
Has been done: https://youtu.be/Z1Nf8KcG4ro?t=1107
leonheld··on Tell HN: Y Combinator backing AI company to abuse factory workers
It's obvious to you becase you seem like a decent human being, judging from this comment.
leonheld··on Tell HN: Y Combinator backing AI company to abuse factory workers
The response here would be significantly different if this was about measuring the performance of software engineers in wealthy countries.
leonheld··on How Core Git Developers Configure Git
I... did not know that! Yep yep that should do the trick for me. Thanks a lot, actually!
leonheld··on How Core Git Developers Configure Git
Nobody is stopping you from using master, you can do whatever you want. The author even recognizes that very clearly in the text.

You can name all your default branches `megazord`. Hell, you can fork git, call it "gitzord" and enforce your `megazord` branch as The Correct Main Branch Name for every user. Feels good to be free, doesn't it?

And PS: I'm not from the USA ;-)

leonheld··on How Core Git Developers Configure Git
After using delta for a while, I'm going back to the regular diff view... it's not that it isn't good, but I'm constantly copying diffs (yes, I know I can generate patches) and the pretty output breaks that workflow.

Also, when your terminal is a bit small it's a bit hard to see things. But it's really good software, I recommend anyone who's reading to give it a try.

leonheld··on Torvalds: You can avoid Rust as a C maintainer, but you can't interfere with it
> I guess some older or more closer to the metal parts will stay in C

I suppose the biggest reason is that C programmers are more likely than not trained to kinda know what the assembly will look like in many cases, or have a very good idea of how an optimizer compiler will optimize things.

This reminds me I need to do some non-trivial embedded project with Rust to see how it behaves in that regard. I'm not sure if the abstraction gets in the way.

leonheld··on Yocto, RockPi and SBOMs: Building modern embedded Linux images
> have not yet found a hardware independent Linux distro that can be reliably updated in an IOT context

I'm part of the team that builds an immutable distro based on OSTree (https://www.torizon.io) that does exactly that.

Docker/Podman support is first-class as the distro is just a binary, Yocto-based one that we maintain so users don't have to. You can try our cloud for free with the "maker" tier. To update a device you just drop a compose file with the web ui and massively update a fleet. You can even use hardware acceleration from the containers using our reference OCI images.

The layer is open (https://github.com/torizon/meta-toradex-torizon) and will get Raspberry Pi support soon but you can integrate already easily with meta-raspberrypi (we can also do this for you very quickly ;-)).

Happy to answer any questions.

leonheld··on Yocto, RockPi and SBOMs: Building modern embedded Linux images
This comment makes zero sense. It's a meta-distribution: it builds a custom one for you. Professional custom embedded distros are a different beast altogether from the vanilla distros.
leonheld··on Darcs, Friendly Version Control
I was like 4 years old when git was released, so I'm unaware of any of this. Sorry.
leonheld··on Darcs, Friendly Version Control
Sadly my only experience with Pijul was this https://github.com/Eugeny/russh/issues/151.

When one of the key guys behind the VCS says things like "especially when the alternative is something as broken as Git" about other control systems I really don't feel like using said tool.

Page 1 of 6Next →