This thread is about introducing yourself to the community. You can also announce your projects on the Nest, since we don’t (yet) have a good way to do that on the Nest itself.
2 Likes
Hey,
I’m ilmu (nest) I have a bachelors degree in mathematics, I’m interested in compositional politics and digital rights.
I will update this post to explain projects I’m playing around with as I add them. Some notes:
-> My projects are mostly in Haskell at the moment since I’m trying to get to a reasonable level with that.
-> I’m also looking at Idris, Lean and Rust. Plus doing topology with pen and paper.
-> Please give me feedback or start a discussion (in the nest) on one of my projects! 
BaseConversion
This is a very naive implementation of the Base16/32/64 RFC, it does not compile as of right now, only a few hours of work have been put into it, I will update it over the weekend. Right now I’m in the middle of making it a bit more flexible after having gotten to the point of being able to decode base strings. I would really appreciate pointers on how I can make better use of types to implement this.
2 Likes
Hello!
I’m Christian (aka. Krixano). I am currently in College for Computer Science. I usually write in C, aside from web projects of course. I used to be active in the ZeroNet and Handmade Network communies, but no longer am. I am also somewhat active in the Gopher community (as well as the circumlunar.space pubnix). Below is a list of my projects, all hosted on the nest:
EdimCoder - line editor
Paled - shell for Windows and Linux (only linux works atm)
BeeNet - A project I’m working on with someone else. Inspiration taken from the Gopher protocol. Decentralized/Distributed project.
Derevel - A build system
Deconflicter - Simple interactive terminal program to visualize and manage files with vcs merge conflicts in them.
Ncure - cross-platform terminal manipulation library that supports VT100 and Windows Console API. More API’s are coming soon.
Website: https://www.circumlunar.space/~krixano
Nest: https://nest.pijul.com/krixano
Hi.
I am lthms on the nest, sourcehut, and GitHub.
I have been interested in pijul development since even before the release of its 0.3 version (when the bird went public and bootstraped). I have contributed to the project, mostly on the CLI side (e.g., you can now write a patch name and description from your favorite editor, or output the graph of patches dependencies \o/). At the moment, I am currently waiting for @pmeunier to publish its rewriting of libpijul (as he announced in a Nest discussion) for trying to get back in hacking pijul again.
Hi, I’m Nick, a Rust learner and a heavy user of Git. I’d like to be involved in a Rust open-source project in order to help me learn. I REALLY like the idea of merge conflict detection and resolution working better than it does in Git.
Thanks for having me!
Nick
Hi, I’m Max. I’m currently working on-and-off on a wrapper around Pijul, and associated tooling to complement that wrapper. (The basic plan is to develop a prototype, then recreate the wrapper using the prototype as a tool and a guide, so this isn’t going online any time soon.)
Hi folks, i’m student in theoretical computer science, mainly doing some category flavored type theory. I usually write rust and functional languages, i’ve also been doing a lot of formalization using agda and other dependent languages recently. I’m currently thinking about a grand scheme to make the web more useful for small informal groups, pretty much in the gnunet movement. For that i’m probably gonna use some parts of pijul but more on that in another thread.
Hello. I am kind of a version control enthusiast. I’ve used CVS, SVN, Clearcase, Perforce, Mercurial, and git over the course of my career. One of my favorites was using mercurial with the mercurial queues extension (mq, inspired by quilt). It allowed you to manage a stack of patches (sound familiar?) on top of your mercurial repository. It was really powerful, but had some very rough edges (like, zero conflict resolution). I’m hoping (and so far from what I see its looking good) that pijul will give me the power of mq/quilt without the rough edges.
Hey hey!
I’m just starting to get to know Pijul. I’m a Haskeller at heart (having worked with it professionally for 2 years) and now getting on the Rust hype train 
This union led me to Pijul so I thought I’d come check out what the community is up to and get to know the tech a bit better.
Really love the patch theory approach and I’d love to get to know it better, so if anyone has links for extra reading hit me up!
Looking forward to getting to know the community better 
2 Likes
Hello, everybody!
I’m currently getting neck-deep into software development with Rust, although my background is in web development primarily in JS and C#.
One of my dream projects is a distributed FOSS LMS, and I hope to be able to use Pijul for version control.
2 Likes
Hello everybody. I develop ergonomic keyboards.
1 Like
Hi everyone!
I’m a full-time software developer (mainly Java and TypeScript, but with interests in all directions) with a mathematics background.
I noticed the pijul 1.0.0 announcement on HackerNews, I think (called anu there, what’s up with that, btw?) and was intrigued. Now I even got my first change accepted to the pijul documentation Currently, I’m trying to update the installation guide to work for Arch Linux – maybe I can make a contribution to the AUR package as well. If anyone would like to help me get up to speed with that, I’d be very happy!
Hi! The thing with the name is, many people made the joke that it was too close to “anus” in english, and started talking about that instead of the actual thing. The new name was meant to be easier to type on speed-optimised keyboard layouts (Dvorak), and easier to pronounce and remember.
Edit: it would be very cool to have this in AUR. Previous versions were in AUR already, maybe you can start from that.
Alright, the thing with the name makes sense – although I have been wondering about pronunciation, actually: The word seems to come from Spanish, so do I say [pixul]? Or rather English with a sound like the j in journal? And is the u more of an “oo” sound or more of an “uh”?
I had a look at the current AUR script, but it seems to use a release tarball, which I can’t find anymore. I’m going to try to use the cargo install line from the manual. I’ll give you a heads up when I get somewhere
1 Like
I pronounce it like in Spanish indeed (I’m not a native Spanish speaker btw).
Release tarballs were always a nightmare on this project, because of the lack of a good CD tool for multiple platforms, which we couldn’t have. There is a tarball, hosted on crates.io:
https://crates.io/api/v1/crates/pijul/1.0.0-alpha.8/download
1 Like
What a bunch of gits 
@pmeunier I just wanted to say thanks for all of your work on Pijul! Been using it for about a year I think? It has worked quite well for me. Cant wait for it to get more of the recognition it deserves!
2 Likes
Hi, I’m part of the team developing the Yatima language which is a dependently typed and hash embedded language. We are also aiming to be compatible with Lean4.
I find this project very interesting. Things I would like to look into are:
- IPFS integration so that patches are accessible from their hashes and can be distributed across the network. This would also keep the code safer from data center fires and such.
- Federated development and communication so that different servers and implementations can collaborate, while still being independent.
- Hosting nixpkgs and flakes over Pijul. This would be a huge improvement since currently loading new sources is very slow and redundant.
Hi!
I have no idea what most of the things in your post are, but welcome!
I’m trying to understand how a version control tool could help with developing a language.
2 Likes