# 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.
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.