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…