rekado

11 ms·

91.
by rekado 3y ago
I think that the paper on G-expressions is very well written and thus a great job at motivating the implementation. You can find the paper here: https://inria.hal.science/hal-01580582/en
92.
by rekado 3y ago
It's pretty much a separate implementation. It reuses a version of the Nix daemon because Guix targets the same derivation format as Nix, but the whole machinery that produces derivation files is completely separate. Guix compiles fir
93.
Deploy scripts using G-expressions(systemreboot.net)
18 points by rekado 3y ago|7 comments
94.
Directly compiling Scheme to WebAssembly: lambdas, recursion, iteration(spritely.institute)
142 points by rekado 3y ago|23 comments
95.
SXML(en.wikipedia.org)
3 points by rekado 3y ago|0 comments
96.
by rekado 3y ago
> If you write the most efficient code, and then simply slap a license on it, does that mean, the most efficient code is now unusable by those who do not wish to submit to your licensing requirements? If you don't "slap a licen
97.
by rekado 3y ago
I did not write "fundamentally defective" -- I'm not OP. My point is merely that we should have high requirements and not excuse flaws in language models just because humans have them. That thinking is akin to apologetics
98.
by rekado 3y ago
It is frustrating to see this idea that human learning and machine learning are essentially the same repeated uncritically. Humans can't possibly remember provenance of all information. Machines possibly could. There's a signifi
99.
by rekado 3y ago
FWIW I can also get radiology appointments within a few days in Berlin. I don't have private health insurance.
100.
by rekado 4y ago
What's the deal with this low-effort flame bait? Have you volunteered for the FSF? Are you or have you been active on the FSF or GNU mailing lists? Certainly there are countless opportunities for reform away from elitist pedantry tha
101.
by rekado 4y ago
It goes beyond just battles on mole hills: the FSF and the GNU mailing lists are full of extremely time-consuming discussions that are fueled by conspiratorial thinking, feature excessive celebration of nitpicking, with participants that re
102.
by rekado 4y ago
NovaCustom also sells some of the same laptops with coreboot (there are a few differences in the configurations, but it's close), and you can choose a custom logo or no branding at all. Unfortunately, there's no option for a touc
103.
by rekado 4y ago
I'm also out of touch, and so naturally I use mpd on my little home "server" (Guix System on rockpro64). It serves me well, though sometimes I wished for a more convenient way to tag or rate music.
104.
by rekado 4y ago
This may also be of interest: https://hpc.guix.info/blog/2022/05/back-to-the-future-module... Guix also has a compatibility layer with environment modules, though you likely wouldn't compose environments
105.
by rekado 4y ago
Guix has a different take on this problem: it provides package transformations to modify the build graph on the command line (or in a Scheme file), which don't preclude the use of binary substitutes and reproducible builds. All stuff i
106.
by rekado 4y ago
This will not work. There's no port of the GNU C Library for macOS, and there's no free toolchain that would let us build binaries for macOS. Possible routes are: - virtualization (use a GNU system on top of macOS) - arbitrarily c
107.
by rekado 4y ago
This is not Nix, but in showing the Environment Modules support for Guix the blog post also shows how functional package management (as implemented in Nix and Guix) differ: https://hpc.guix.info/blog/2022/05/b
108.
Deploy scripts using G-expressions(systemreboot.net)
1 points by rekado 4y ago|0 comments
109.
by rekado 4y ago
You're conflating S-expressions and the DSL. Your attempt to set up "ideologically driven" as an obstacle to "general purpose" is baffling, because we've gone out of our way to make extending Guix close to triv
110.
by rekado 4y ago
> Reached out briefly for help on the IRC with no response, same with the guix-help mailing list. IRC (on libera) is pretty active, maybe try again. I see your mail on help-guix[1], but there's no mention of sudo looking up the syst
111.
by rekado 4y ago
Just to clarify in case this might be misunderstood: Stallman has no say in the Guix project.
112.
by rekado 4y ago
There is no yoke. GNU is not RMS, but the people who make GNU software. See also https://gnu.tools .
113.
by rekado 4y ago
For Scheme I enjoy using Irregex: http://synthcode.com/scheme/irregex/ The key benefit is to have a proper DSL instead of a DSL hidden away inside an untyped string.
114.
by rekado 4y ago
I can't build any software for macos without signing a contract and buying their hardware. The fact that it is proprietary is the obstacle here.
115.
by rekado 4y ago
Use `setenv` inside the manifest. (setenv "MAMA" "MIA") (specifications->manifest (list "hello"))
116.
by rekado 4y ago
> for example allowing to specify environment variables in manifest.scm files. Just use setenv in the manifest: (setenv "MAMA" "MIA") (specifications->manifest (list "hello")) Then `guix shell -m this-fil
117.
by rekado 4y ago
> It’s too bad guix went full hardcore FOSS and refuses to support macs, This is either a misunderstanding or misrepresentation of the issue. We don't refuse to support Macs. Consider this: - the value of Guix is in building up a
118.
by rekado 4y ago
With SRFI 41 (streams) this can be expressed lazily in Scheme, but it is more verbose than Haskell: (import (srfi srfi-41)) (define xs '(a b c)) (stream-zip (stream-from 0) (list->stream xs)) This returns a lazy str
119.
by rekado 4y ago
It is observable but it is far from simple. Sex is an emergent property of multiple genetic networks. This doesn't mean that it doesn't exist or that it is not bi-modal, but it is far from simple. https://www.nature.co
120.
by rekado 4y ago
The problem is that it's not at all straight-forward. It doesn't help that the word "gender" has been used to name a number of different and conflicting concepts. See https://sro.sussex.ac.uk/id/epr

More ›