le.com/special_remotes/).
Cheers,
pukkamustard
64249. Basically I don't know how fast I/we will be able to look into
the other items in this list. Maybe it makes sense to just merge in to
master instead of having a too long-lived ocaml-team branch? Or set a
pre-defined time-to-live for the branch? What's the current modus
operandi for other teams?
Cheers,
pukkamustard
nd updating the decentralized substitute
patches. Sorry for the slowness. They would at first only address
block-wise transfer with a naive encoding that does not do very good
de-duplication.
As outlined I think de-duplication can be added later and I think it's
great to start thinking about it and experimenting with ideas.
-pukkamustard
updates to the OCaml compiler
and Dune.
Do you have an overview of what Coq packages need an update?
> Anyway, I am new to Guix, but will try to help if I can (time- and
> competence-wise) ! :)
Yeah, very nice! :)
-pukkamustard
dune, merlin)
- (gnu packages ocaml-boot): For the 4.07 and 4.09 compilers
- (gnu packages ocaml-xyz): Everything else
Thoughts? Any other things? How do we get started with such a branch?
Cheers,
pukkamustard
Hm, it seems to build: https://ci.guix.gnu.org/build/891468/details
pukkamustard writes:
> Csepp writes:
>
>> I'm pretty sure I added uring for Mirage stuff, which no one uses yet
>> except me, so yeah, not blocking.
>> Although I'm not looking forward to fi
Csepp writes:
> I'm pretty sure I added uring for Mirage stuff, which no one uses yet
> except me, so yeah, not blocking.
> Although I'm not looking forward to fixing it on my next rebase.
I'm using ocaml-uring via ocaml-eio. I'll have a look at the build
issue.
-pukkamustard
get? Also
have a look at the nar-herder tool
(https://git.cbaines.net/guix/nar-herder) by Christopher Baines (in
CC).
-pukkamustard
Shivam Madlani writes:
> Hey everyone!
> I am Shivam Madlani, an undergraduate at DAIICT, India. I want to participate
> in GSoC'23 for The GNU
>
uld keep
it out of scope from the GSoC project and rely on the existing signature
mechanism for authenticity.
A web-of-trust like system for substitute system would be an excellent
and very interesting follow-up project.
-pukkamustard
> On Mon, 27 Mar 2023 at 2:49 AM Attila Lendvai wrote:
>
sure we only use authenticated substitutes. Especially
when developing transparent fallback mechanisms that might go back to
just downloading the entire substitute from HTTP.
-pukkamustard
ijaya is an outstanding candidate and look forward to working
with them. Plese join me in giving a warm welcome!
In CC: Attila, who might co-mentor a GSoC project.
-pukkamustard
Vijaya Anand writes:
> Hi Everyone,
>
> I am Vijaya Anand, a mathematics undergraduate studying in IIT
inary directly:
--8<---cut here---start->8---
$ /gnu/store/8pd12pn8n3ganc3y4776m44gjrfdvlvd-zig-0.10.1/bin/zig
Segmentation fault
--8<---cut here---end--->8---
I'm afraid, I don't know anything about debugging segfaults.
A hunch: This might have something to do with Zig not properly
supporting glibc 2.35: https://github.com/ziglang/zig/issues/12808
-pukkamustard
teraction with existing tools and libraries that
would require programming in other languages (e.g. C/C++/Rust/Go) but
that is not the focus or main task of the project.
> 3) What would be the duration of the project? (175hrs/350hrs).
I think 175h should be enough to do interesting and meaningfull
pukkamustard writes:
> I'll try and add some notes to the wiki page in the next few days.
Added a project idea: https://libreplanet.org/wiki/Group:Guix/GSoC-2023
Comments, suggestions and co-mentors very welcome!
-pukkamustard
he next few days.
-pukkamustard
aning of the property more explicit.
Cheers,
pukkamustard
Csepp writes:
> But there are packages that were added by others that already specify
> which subpackage they build, and yet seem to be accepted as subpackages.
Do you have an example?
And maybe send in your patches, that may provide more context around
this discussion.
-patches).
The patch series uses the ERIS encoding (http://purl.org/eris) and
implements transport over HTTP (a la RFC 2169) and IPFS. By using ERIS
we are quite transport agnostic and could use other things such as
GNUnet, NDN, Freenet, CoAP or a bicycle.
Cheers,
pukkamustard
r written in OCaml by one written in C. That
> way, it is possible to use all the primitives of the runtime for free.
> I am still unsure as to what I should do for the parsing, since
> several options are possible. It probably needs more thinking.
Sounds like a job for Guile with some C interop and PEGs? :)
Cheers,
pukkamustard
ay to give OCaml 5.0 with multicore support
a try.
Best regards,
pukkamustard
action? If this only affects a few packages then
storing the source double-archived does not seem so bad.
Thanks,
pukkamustard
I'm in!
Ludovic Courtès writes:
> Hello Guix!
>
> This week, the node behind {ci,issues,disarchive}.guix.gnu.org and
> guix.gnu.org was down twice for a few hours—nothing terrible in the end,
> but it reminded us that, even though Guix doesn’t rely on any particular
> machine, we can definitel
quite large and hard to review (42 patches). If you could
try them out that would be great.
-pukkamustard
Erik writes:
Hi, I have a project that requires a more recent core-kernel and
some of the
ppx'es (such as ppx_fields_conv).
Being very new to guix I've managed to add/upda
chiving (a la distri)
- Peer-to-peer distribution of packages (that's what ERIS is for)
- De-duplicating common content in packages to a certain extent
(topic
of this thread)
A more in-depth write-up:
https://gitlab.com/openengiadina/eris/-/tree/main/examples/dedup-fs
Happy Hacking!
-pukkamustard
24 matches
Mail list logo
