-
f : ⊥ x ⊥ → ⊥ · Barely typed
Interesting blog discussion lisp-like languages (the author has forked Clojure), Lisp Machines and more.Thu Mar 2 18:50:00 2017 - permalink -- https://www.arrdem.com/
-
Semantic Versioning 2.0.0 - Semantic Versioning
Given a version number MAJOR.MINOR.PATCH, increment the:Thu Mar 2 18:09:52 2017 - permalink -
MAJOR version when you make incompatible API changes,
MINOR version when you add functionality in a backwards-compatible manner, and
PATCH version when you make backwards-compatible bug fixes.
Additional labels for pre-release and build metadata are available as extensions to the MAJOR.MINOR.PATCH format.- http://semver.org/
-
Keep a Changelog
Don’t let your friends dump git logs into CHANGELOGs™Thu Mar 2 18:03:49 2017 - permalink -
Arguments for keeping a human-readable, high-level change log.- http://keepachangelog.com/en/0.3.0/
-
SHAttered
First collision for SHA-1 has been constructed by researchers at CWI and Google.Mon Feb 27 11:46:38 2017 - permalink -- http://shattered.io/
-
Version-Control Systems for Linux
Long list of version control software available for Linux.Fri Feb 24 16:16:06 2017 - permalink -- http://linuxmafia.com/faq/Apps/vcs.html#fossil
-
Bullet Journal - The Analog System for the Digital Age
System for taking notes in a paper diary.Thu Feb 16 22:48:56 2017 - permalink -- http://bulletjournal.com/
-
OMG! Ubuntu! - Ubuntu Linux News, Apps and Reviews
Just what it says.Mon Feb 13 15:40:14 2017 - permalink -- http://www.omgubuntu.co.uk/
-
Machina Speculatrix – Retro computing, robots, electronics, geek stuff
Blog about retrocomputing, including the PiDP-8, running VMS on a raspberry π, 6502-based machines.Mon Feb 13 14:04:22 2017 - permalink -- https://mansfield-devine.com/speculatrix/
-
Toves: A graphical circuit simulation tool
Logic simulator with graphical entry, written in C# and released under the GPL.Sat Feb 11 02:07:24 2017 - permalink -
Work in progress, a followup of http://www.cburch.com/logisim/, which is written in Java.- http://www.toves.org/
-
Binwalk is a fast, easy to use tool for analyzing, reverse engineering, and extracting firmware images.
Found on Filippo Valsorda's blogFri Feb 10 14:30:03 2017 - permalink -
https://blog.filippo.io/shrink-your-go-binaries-with-this-one-weird-trick/- https://github.com/devttys0/binwalk
-
raspberry.tips • Raspberry Pi Projekte und Tutorials
Information about the Raspberry π in german.Fri Feb 10 13:41:13 2017 - permalink -- http://raspberry.tips/
-
Aluminium case for Raspberry π
Made in Germany.Fri Feb 10 13:23:07 2017 - permalink -- https://s-case.org/
-
Raspberry Pi+ GPS Expansion Board
GNSS receiver based on ublox MAX-M8Q for the Raspberry π. Other interesting parts such as antennas, filtered pre-amplifiers etc. are available too.Wed Feb 8 12:19:24 2017 - permalink -- https://store.uputronics.com/index.php?route=product/product&path=60_64&product_id=81
-
DebateTranscription - DebateTranscription.pdf
Transcription of “The Great Debate”:Mon Feb 6 13:54:06 2017 - permalink -
John Gustafson vs. William Kahan on Unum Arithmetic
Held July 12, 2016- http://www.johngustafson.net/pdfs/DebateTranscription.pdf
-
An Org-mode template for technical specification documents and HTML publishing
Specification document skeleton for a web application, incl. usage examples of various org-mode features:Mon Feb 6 12:46:41 2017 - permalink -
Inline, text-based diagramming via Ditaa, Graphviz & PlantUML
Hyperlink abbreviations (incl. presets for GitHub, RFC, W3C, Wikipedia)
Section status flags, tags & custom properties
Tables
Named section IDs for internal x-refs
Footnotes
Automatically updating fields (e.g. publication date)
Automatic updating of document changelog (using git commits)
Beautiful, minimal, responsive CSS theme with print support (also for PDF generation)
Basic syntax highlighting of code blocks- https://github.com/thi-ng/org-spec
-
Licenses for Open Source Hardware (OSHW) - InMojo
Description of various licenses for open hardware.Wed Feb 1 09:25:41 2017 - permalink -- http://inmojo.com/licenses/
-
Cryptocat - encrypted chat program
Cryptocat is free software with a simple mission: everyone should be able to chat with their friends in privacy.Tue Jan 31 16:40:08 2017 - permalink -
Open source. All Cryptocat software is published transparently.
Encrypted by default. Every message is encrypted, always.
Forward secure. Chats are safe even if your keys are stolen.
Multiple devices. Devices receive messages even when offline.
File sharing. Securely share files with friends.
Available for Windows, Linux and Mac.- https://crypto.cat/index.html
-
youtube-dl
youtube-dl is a command-line program to download videos from YouTube.com and a few more sites. It requires the Python interpreter (2.6, 2.7, or 3.2+), and it is not platform specific. We also provide a Windows executable that includes Python. youtube-dl should work in your Unix box, in Windows or in Mac OS X. It is released to the public domain, which means you can modify it, redistribute it or use it however you like.Thu Jan 26 18:18:25 2017 - permalink -- https://rg3.github.io/youtube-dl/
-
Understanding Git - git-slides-2009.pdf
70 presentation slides explaining the git version control tool. Found viaThu Jan 26 18:14:42 2017 - permalink -
Sumana Harihareswara's blog
http://www.harihareswara.net/sumana/2016/08/04/1- http://web.mit.edu/nelhage/Public/git-slides-2009.pdf
-
View PDF documents in an Emacs buffer with DocView-like bindings.
PDF Tools is, among other things, a replacement of DocView for PDF files. The key difference is, that pages are not pre-rendered by e.g. ghostscript and stored in the file-system, but rather created on-demand and stored in memory.Mon Jan 23 13:09:04 2017 - permalink -
This rendering is performed by a special library named, for whatever reason, poppler, running inside a server program. This program is called epdfinfo and its job is it to successively read requests from Emacs and produce the proper results, i.e. the PNG image of a PDF page.
Actually, displaying PDF files is just one part of PDF Tools. Since poppler can provide us with all kinds of information about a document and is also able to modify it, there is a lot more we can do with it.
[shaarli save link does not work here under Firefox 45.5.1/Windows or Firefox 51.0.1 (64-bit) on xubuntu, because github does not allow "foreign" JavaScript]- https://github.com/politza/pdf-tools