# A survey of software related to the Gemini protocol
This is a collection of Nix packages, either picked from the main Nixpkgs repository or locally hosted. Please submit a patch if you wish to add packages in either form.
Requires Nix with flakes supported and enabled.
=> https://www.tweag.io/posts/2020-05-25-flakes.html
There is a common view that extracting text from a PDF document should not be too difficult. After all, the text is right there in front of our eyes and humans consume PDF content all the time with great success. Why would it be difficult to automatically extract the text data? Turn
Hi! I’ve been a happy user of NixOS for quite some time, but I couldn’t quite polish my nix-shell workflow and I am wondering if you have any practical tips? I think that my problems with nix-shell boil down to the fact…
Bamboo Spark, to wyjątkowe urządzenie firmy Wacom, które stosunkowo niedawno weszło na nasz rynek. Łączy ono w sobie możliwości tradycyjnych tabletów grafi…
linked to me from https://twitter.com/cattheory/status/1220803662802489344 (by Joomy Korkut, PhD student in programming languages at Princeton https://cs.princeton.edu/~ckorkut/) — « not a language but a way to reason about C programs in Coq: VST lets you define separation logic predicates that describe how a Coq type would be represented in C: https://cs.princeton.edu/~appel/vc/Verif_reverse.html#lab32 \n\n might be interesting to you, or not, I don't know. » at 9:20 PM CET on Jan 24, 2020
I’m using flakes for my system configuration. Most things are going smoothly, but I’m stuck on one thing. I create a custom pkgs attribute set in flake.nix and then attempt to pass it to nixosSystem for use in all module…
A month or so back, I wrote a tweet saying that F# computation expressions are amazing and no other language has anything like that. I can finally provide all the evidence by linking to a PADL 2014 paper about them.
(Phys.org)—A team of undergraduates from the Indian Institute of Science Education and Research (IISER) at the College of Engineering in Trivandrum, India, has designed and constructed a portable college-level radio telescope for amateur radio astronomers. The students have developed a radio telescope and also data analysis tools that are affordable for schools and colleges, combining low cost and ubiquitous accessibility of resources needed to build these instruments. The team described the project in details in a paper published online on Jan. 12 on the arXiv pre-print server.
Found linked from Whose Curve Is It Anyway <https://whosecurve.com/>. | Here at Trail of Bits we review a lot of code. From major open source projects to exciting new proprietary software, we’ve seen it all. But one common denominator in all of these systems is that for some inexplicable reason people still seem to think RSA is a good cryptosystem to use. Let me save…
I submit that we should use them in a way like some Markdown converters do, where the fragment is the header text. This is how you transform a header into a fragment:
1. Downcase the string
2. Remove anything that is not a letter, number, space or hyphen
3. Change any space to a hyphen.
4. If that is not unique, add "-1", "-2", "-3",... to make it unique
5. Encode non-ASCII characters so the entire string is URL-safe
Last month’s release of VS Code (1.35) introduced an exciting set of extensions for remote development. In a nutshell, the three extensions are: This post will be a deep-dive into Remote Containers…
While there are lots of comparison online of game development tools there is very little in the way of comparisons of game marketplaces. With Elements of Dreams we experienced some of the differences first hand as one of our strategies for releasing the game was to allow as many people as possible to be able…
This PureScript case study and guide for newcomers contains a complete and self-contained example of how to write a PureScript application from scratch and how to integrate it into an existing project.
In this post you will learn how to create a workspace adapted to the mobile app development using the Flutter framework organized in a Docker container.
Introduction Rust has gained a lot of traction recently. I was chatting with a friend about building web applications with rust, and mentioned how rocket makes it easier and enjoyable. I figured it might be a good time to pick rust up now. It does not take long to refamiliarize myself with rust and rocket, and I ended up building a tiny and dumb web application with it. My plan was to further polish it and make it a NixOS service, so that I can easily spin it up on all my NixOS powered machines.
Short post on using mach-nix with niv. Background In previous posts, there was a discussion on a ground up approach to adding packages which aren’t on the core nixpkgs channels using GitHub or PyPi sources. However, this lacked a way to do so programmatically, and also a way to convert existing python projects. Python Dependency Management This time, instead of the more pedagogical approach of building packages from PyPi or GitHub, we will use overlays and the excellent mach-nix to speed up the process.
Die gezeigten Posts sind eventuell nicht akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch akkurate Posts mit eingeschränkten Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.