bookmarks (hide)169
- Oficjalne dane o zachorowaniach i podejrzeniach zachorowań na grypę w Polsce
- Go to Settings -> Filters and Blocked Addresses -> Create a new filter. In the Has the words field, add deliveredto:joe@foo.com and choose what you want to do with such filtered emails. This solution worked for my setup.
- Simple HTTP server to save artifacts. Contribute to mayth/go-simple-upload-server development by creating an account on GitHub.
- Deploy LaTeX (and Markdown) Documents as PDF (and DjVu) via GitHub and TravisCI - SimonWaldherr/HowTo-Deploy-LaTeX-Documents
- 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…
- 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
- HTML codes, unicode and keyboard shortcuts for the almost equal or approximately equal sign, ≈.
- Find out how to setup and use Compose Key shortcuts on Linux. Contains a list of Compose Key sequences. Type text symbols with your keyboard.
- (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.
- HISTORIA ANTYKULTURY, czyli jak działa mechanizm kulturowej lobotomii. Pierwsza przekrojowa historia antykultury, jej politycznych i ideologicznych źródeł, celów i artystycznych narzędzi.
- “A man who tells lies … merely hides the truth but a man who tells half-lies has forgotten where he put it.” Claude Rains as Mr. Dryden in Lawrence of Arabia
- The Waters of Babylon — A Novel About Lawrence After Arabia — By DAVID STEVENS
- Te pytania i komentarze dostałem naprawdę. Postanowiłem udzielić na nie konkretnych odpowiedzi oraz wyjaśnić co to ten marketing LGBT+.
- 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.
- API documentation for the Rust `from_reader` fn in crate `serde_json`.
- 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…
- with Extended Euclidean Algorithm steps
- 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.
- What do you do when you have nothing else left to do? I freak out. So there I was, furio... Tagged with showdev, rust.
publications (hide)6
- (2009)
- CoRR (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.
- LP, volume 264 of Lecture Notes in Computer Science, page 126-136. Springer, (1986)
- PADL, volume 1753 of Lecture Notes in Computer Science, page 81-92. Springer, (2000)
- ALGOL Bull. (July 1972)
- Journal of Waste Management (2014)
