HNHacker News
TopNewBestAskShowJobs

Rucadi

172 karma · joined July 8, 2021

submissionscomments
Rucadi··on Show HN: Term Typer – Learn a language by typing
This is super fun! Congrats!
Rucadi··on std::launder: the most obscure new feature of C++17 (2016)
In a Memory Mapped device, a read can trigger side effects (in fact, I worked a lot with that), so is not only is about memory.
Rucadi··on Backdoor in upstream xz/liblzma leading to SSH server compromise
Saw this on nix, which was using a compromised version in the unstable channel, I hope not too many systems are affected.
Rucadi··on Happy birthday APFS, 7 years old today
I only had problems when installing Asahi linux, where APFS yeeted a little and the tools couldn't really recover the errors nicely.
Rucadi··on The What, Why and How of Containers
OCI is not the problem, you can create reproducible images using NIX that reuse all the packages between different images.

The problem is the way we usually package the apps with Docker-Dockerlike builders

Rucadi··on Austria is sleepwalking toward a far-right victory
Aren't these socialists?
Rucadi··on Compiling Rust to WASI
>There idea that we could write programs in our own favorite language, and compile it to a universal format that can executed on almost any platform is truly revolutionary.

Where do I begin with this...

I Think Rust+WASI is cool, but this idea has more years than I do.

Rucadi··on Ask HN: What are your oldest "online" accounts still in use?
My hotmail account reconverted to skype and then microsoft account
Rucadi··on Estimate your age of death
chance of 100% when you are 110yo, they come after you if you don't hahaha
Rucadi··on Show HN: Flox 1.0 – Open-source dev env as code with Nix
How does devenv help with using an specific version of a package in an easier way than nix (with flakes)? Does it have any kind of simpler syntax for overlays? Or you are referring to pinning a nixpkgs version?

I'm not really against tools that make it easier to use nix, I think devenv is a nice tool and I like that it doesn't hide nix, the same way I love home-manager and use it all the time.

Rucadi··on Show HN: Flox 1.0 – Open-source dev env as code with Nix
I have to use both at the same time.

I have a Docker with an old version of centos which for some reason is the one provided to us.

I then create an "overlay" over it using nix, so I can actually use software with newer glibc etc... easily.

Regardless of that, nix is way better than docker, in the sense that docker doesn't ensure reproducibility, you can build a Dockerfile in two different days, and get different versions of packages installed, this is simply not possible with nix, you have complete control over your tools.

And if you decide to port your application to a "nix package", you have complete control over all the dependencies of you application, a reproducible way to build it, and an easy way to deploy it.

Rucadi··on Show HN: Flox 1.0 – Open-source dev env as code with Nix
Using Nix as a package manager works best with a repository called "Nixpkgs".

Nixpkgs focuses on reproducible builds, that means that for the same inputs, you always are going to get the same binary output.

All of Nixpkgs are built using nixpkgs, and they don't depend on any library outside nixpkgs, including glibc and compilers.

That means that you can "lock" your packages into a version, and you ensure that it will run the exact same version and configuration in all machines that you install it, no matter the underlying OS or how old/new it is, glibc problems etc...

This is the power of Nix.

All of this can be done via a simple

Flake.nix -> define the system Flake.lock -> automatically generated, defines the exact version of nixpkgs among others.

(Can also be done via channels but flakes are better imo)

Rucadi··on Show HN: Flox 1.0 – Open-source dev env as code with Nix
Hmm...

I understand that if you don't know anything about the language or what is a flake, it may be a little bit difficult.

But really, adding a new package to your environment once you have a flake setup, which a minimal one is trivial, is just adding the name of the package.

Here you have a flake.nix example from leptos. https://github.com/leptos-rs/leptos/blob/main/flake.nix

You want a new dependency? Add it to buildInputs. (this one doesn't have packages setup, but anything in the attribute set packages will be available in path)

You want to search a package: https://search.nixos.org/packages (or use the cli)

you want to test a package before adding it? nix-shell -p or nix shell for example.

Heck, even if you want it more easy, you could write a tool in less than 100 lines that adds packages names to .json/.yaml/.toml, which allows you to parse it using the nix language and a simple cli written with bash functions to add/remove packages if you wanted.

That's why it is hard for me to understand this project as a product, it seems like a wrapper to the most basic things :\

Rucadi··on Show HN: Flox 1.0 – Open-source dev env as code with Nix
I really don't understand why should I use this over plain nix, can you elaborate?
Rucadi··on Dada, an experimental new programming language
no upfront types, for me this is unusable sadly
Rucadi··on Cake – C23 and Beyond (2023)
This project is amazing because it also seems that has #embed included, IIRC no other compiler has it yet.

Just for that #embed directive I would already use cake for the moment (although it seems like it is only doing the file->array conversion)

Rucadi··on Apple announces changes to iOS, Safari, and the App Store in the European Union
What complexity does bring allowing an app into your store?

Apple is the one gatekeeping

Rucadi··on LoaderShip – CSS-Only Loaders
This is genius, thanks.
Rucadi··on Open-Source AI Is Uniquely Dangerous
"Unsecured AI also has the potential to facilitate production of dangerous materials, such as biological and chemical weapons."

I think that we already have a good chunk of them, I doubt there could be worse than the ones we have.

"OpenAI worried because these text-generating AI systems can be used to generate massive amounts of well-written but misleading or toxic content."

This is solved by prestige, exactly what normative media had until some years ago, when they decided to throw everything away and just lick politics asses or just sell their integrity for money.

"You could ask them to design a more deadly coronavirus, provide instructions for making a bomb, make naked pictures of your favorite actor, or write a series of inflammatory text messages designed to make voters in swing states more angry about immigration. "

The coronavirus sentence is hilarious, and you don't need AI for any of that.

I'm kinda sick, what they mean with "regulating AI" is that they just want to control what the AI spits out to match their political agenda and beliefs, slowly impregnating the users of these AI of their political ideas.

Obviously, it's me and you who will not have access to uncensored models, big corps and the gov will have access to whatever they want unrestricted, and most hilarious, they WILL use the AI to "swing political beliefs".

Rucadi··on Let's Block It
I just checked, you don't need one, if you go to the filters section you can just copy it from there
Rucadi··on Show HN: GodotOS – Fake operating system interface made in the Godot engine
The performance is really nice, I kinda love it.
Rucadi··on Ferret: A Multimodal Large Language Model
I wonder if these models are trained to have some kind of identification in case you use them for non-research purposes for example.

"Tell me who is your manufacturer" for example

Rucadi··on How should higher education be financed?
This means people that don't go to the university and usually as a result has less income pays for people that goes, seems quite regressive
Rucadi··on Nix Survival Mode: macOS upgrades won't break Nix anymore
Similar to npm lockfile, basically you can install an specific version of a program globally if you want, but it's not recommended, and you can have multiple configurations for different projects or folders with an specific version of tools/apps-
Rucadi··on Mojo is available for local download
I'll wait until someone uploads a docker image with code-server in it or something
Rucadi··on “Exit Traps” Can Make Your Bash Scripts Way More Robust and Reliable
It is better to avoid bash scripts altogether :)
Rucadi··on Wolfi: A community Linux OS designed for the container and cloud-native era
Wouldn't then using nix be better? Or at least base the distro on nix?
Rucadi··on The AI revolution already transforming education
My partner that is just learning programming, first asks the doubts to CHAT-GPT and most of the time the explanation and details are good, specific to her issue and easy to understand.

Compare that to a list of examples and documentation on generic issues/topics, without ever going into the specifics of a reasonable question.

Apply this to any kind of knowledge.

I think that it is a wonderful tool for education, and it is indeed changing the pace at which people learn.

Rucadi··on EU sends Apple stark warning over USB-C charging on new iPhones
"The law explicitly states that it has to be reviewed every couple of years to determine whether USB-C it is still the best choice"

How a better alternative will created if you can't put it on any device to make it popular.

Rucadi··on Quicssh: SSH over QUIC
Since browsers implement QUIC, probably you can run SSH over QUIC on a web browser, making it possible to run ssh client on unconventional platforms that have a browser.
← PreviousPage 3 of 4Next →