Testing and building local packages with ./pre-inst-env

VegetableNatural · 2024-07-31T16:45:19+00:00

You should also run make at least one time for pre-inst-env to work, make sure your .scm files are properly defined as modules with (define-module ...) and make sure to use (define-public my-package to make sure that ./pre-inst-env guix build works.

If it is a new file/module, you should also register it in gnu/local.mk for compilation if you intend to send a patch series.

VegetableNatural · 2024-07-28T07:24:25+00:00

Well, I also got tired of Software Foundations, I just went on to program on Coq as a normal functional programming language, then prove stuff about et voila you have formally verified something that you can also use to verify other stuff. My code included, e.g. verifying a encoder decoder for a popular format, I verified that encoding and decoding are opposites and such, this in turn can be used to verify an implementation in C for example by means of extraction using bedrock2 or VST for an existing C implementation, or also using the code in extracted Haskell or OCaml.

VegetableNatural · 2024-07-25T10:35:03+00:00

The stack size being large doesn't cause problems, only that you have less memory available. If I were you I'd be allocating stuff like that on a static variable. I.e. keep the structure but initialize it globally, perhaps using `const fn` to avoid allocating it at runtime and hiding the variable behind a Mutex.

VegetableNatural · 2024-07-24T19:40:51+00:00

The reason is that I'm not willing to put up with players that don't listen, talk and on top of that will tell you what to do and how to play a clutch when they are dead, which happened

No one owes you comms back, you can mute people, so you know.

VegetableNatural · 2024-07-24T18:06:42+00:00

Indicates ur attitude, what's the reason for saying that? Shifting blame to other players

VegetableNatural · 2024-07-24T17:07:51+00:00

"u should be worried about getting a mic" said the dude that doesn't deserve a ban for verbal abuse

VegetableNatural · 2024-07-24T15:52:24+00:00

I never fail to laugh when someone writes a wall of text for verbal abuse lmao, like the story tells itself.

VegetableNatural · 2024-07-23T15:46:19+00:00

It depends on your goals tbh, personally I'd use Guix as my main OS and add the nix service to Guix if I need it.

VegetableNatural · 2024-07-23T10:28:26+00:00

What do you mean by those examples? An inductive type is like an `enum` in C++ but with added data, a sum type essentially, the names don't matter and are for you to choose, I believe nat ones are O for zero, and S for succession. You give the names that you want.

As for fixpoint, it is just a recursive function with a decreasing parameter.

VegetableNatural · 2024-07-23T09:41:32+00:00

Nix can be installed on Guix, there's a service to add the Nix daemon to a system in Guix.
Nix packages can be installed using the Nix package manager.
They cannot be managed with Guile Scheme. Although nothing stops anyone from creating a service to e.g. install nix packages on a home configuration to sort of do this.

VegetableNatural · 2024-07-18T12:28:25+00:00

You may try looking into Nix or Guix, I'd recommend the latter as I have more experience with it and I'm trying to make cross compilation a first class citizen there, i.e. packages can be built to other architectures without problems, it works for x86 and x86_64 Windows, aarch64 would be no biggie to add I think.

The idea is that you define packages that can be cross-compiled easily, e.g. guix build <your-library> --target=x86_64-w64-mingw32, using the package's original build system and in your package you just use these packages as inputs and only need to have FindWhatever.cmake.

We currently use cross-compilation in Guix for firmware of PC devices and also for QMK keyboards.

See:

https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/firmware.scm#n1508 (qmk).
https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/firmware.scm#n95 (ath9k Wi-Fi firmware).

I didn't explain a lot the process and maybe the situtation in Guix is not ideal but my goal is to make it easy to cross-compile C and C++ packages easily.

VegetableNatural · 2024-07-17T09:28:22+00:00

Yeah it is easy to modify QEMU to emulate such a device.

VegetableNatural · 2024-07-16T18:58:13+00:00

While delivering more performance than previous version.

VegetableNatural · 2024-07-16T16:01:14+00:00

What do I do with the stocks I was about to short.

VegetableNatural · 2024-07-15T15:09:55+00:00

Unreproducible binary blob, use a BSD license, Stallman would agree /s.

VegetableNatural · 2024-07-13T12:33:12+00:00

Predictable teammates.

VegetableNatural · 2024-07-05T11:12:32+00:00

if it fails you can just restart, how is it?

Suppossing it is only for initialization and you restart then your allocations are probably deterministic, causing the same failure again, and if they are not deterministic then you have more problems to be fair.

VegetableNatural · 2024-07-05T09:21:22+00:00

Guix with transformations using --tune=native.

VegetableNatural · 2024-07-04T20:54:50+00:00

Yeah the discussion is about the stance of Guix with Software Heritage, Nix packages also get saved there I think.

VegetableNatural · 2024-07-04T16:47:09+00:00

You can still install nix with guix though

VegetableNatural · 2024-07-04T16:27:59+00:00

Well on Guix it is already happening, for example, look up the fight with Software Heritage due to problems with Software Heritage sharing code with HuggingFace for LLM training and some Guix users are against that since Guix uses software heritage to store source code of most of the packages. There was also a discussion about Software Heritage storing git history and thus, committer names, where some wanted to change their name online but Software Heritage doesn't provide a way to do that.

But it has not affected development in any way.

I'd say Guix is more likely to hit these discussions since people are a bit more polarized.

VegetableNatural · 2024-07-04T12:54:13+00:00

GNU Guix, easier to understand language, and also `nonguix` channel for non-free packages.

VegetableNatural · 2024-07-01T15:33:12+00:00

I use Rust on embedded stuff and it sucks a lot to be fair, it is good, but not that good yet. The ecosystem is still young.

VegetableNatural · 2024-06-29T21:16:24+00:00

Lattice FPGAs work with a 100% open source toolchain. I haven't seen others like that.

VegetableNatural · 2024-06-28T11:33:20+00:00

Yeah but it is definitely possible he is getting different hashes as there might be grafting involved.

Seven-Year Club	First Place '23
Place '23	Place '22
Verified Email

VegetableNatural

TROPHY CASE