Interesting minimal computer using TTL SSI parts. Includes VGA output.

Minifree provides secure, privacy-respecting computers with 100% free (as in freedom) software, including the Libreboot BIOS replacement and GNU+Linux operating system, certified by FSF under their Respects Your Freedom certification program.

uBlox NEO-M8T Reference Board with SMA antenna connectors for your RTK systems, UAV systems, Robots, RC, FPV or other projects. Ultra small and light.

The project contains the VHDL code for a complete DEC PDP-11 system: a PDP-11/70 CPU with memory management unit, but without floating point unit, a complete set of mass storage peripherals (RK11/RK05, RL11/RL02, RK70/RP06, TM11/TU10) and a basic set of UNIBUS peripherals (DL11, LP11, PC11), and last but not least a cache and memory controllers for SRAM and PSRAM.

The design is FPGA proven, runs currently on Digilent Cmod A7 , Arty , Basys3 , Nexys4 DDR , Nexys4 , Nexys3 , Nexys2 and S3board boards. See section Complete Systems for more information.

5th Edition UNIX, 7th Edition UNIX, and 2.11BSD UNIX are known to boot, the hardware should also support DEC RT11 and RSX-11M, see section Running Systems for more information.

This is a retrocomputing project, rebuilding hardware from the late 70s and running historical software. To get into the tune see Figure D-1, a 11/70 console, and Figure F-2, a baseline system setup.

Explanations and code for how to enable copy-paste support working in as many terminal applications as possible. Works on a full GUI $DISPLAY, over SSH, on both macOS and Linux, and between ZSH, tmux and Emacs.

This list is an exploration of the world of UNIX®, including UNIX history, the relevance of UNIX today, and lists select awesome UNIX and UNIX-like projects. This list also contains resources for UNIX standards, programming, communities, and free software.

A reading protocol is a set of strategies that a reader must use in order to benefit fully from reading the text. Poetry calls for a different set of strategies than fiction, and fiction a different set than non-fiction. It would be ridiculous to read fiction and ask oneself what is the author's source for the assertion that the hero is blond and tanned; it would be wrong to read non-fiction and not ask such a question.  This reading protocol extends to a viewing or listening protocol in art and music. Indeed, much of the introductory course material in literature, music and art is spent teaching these protocols.

Mathematics has a reading protocol all its own, and just as we learn to read literature, we should learn to read mathematics.  Students need to learn how to read mathematics, in the same way they learn how to read a novel or a poem, listen to music, or view a painting.  Ed Rothstein’s book, Emblems of Mind, a fascinating book emphasizing the relationship between mathematics and music, touches implicitly on the reading protocols for mathematics.

From the book Rediscovering Mathematics: You Do the Math by Shai Simonson. http://web.stonehill.edu/compsci/RediscoveringMath/RM.html

RTags is a client/server application that indexes C/C++ code and keeps a persistent file-based database of references, declarations, definitions, symbolnames etc. There’s also limited support for ObjC/ObjC++. It allows you to find symbols by name (including nested class and namespace scope). Most importantly we give you proper follow-symbol and find-references support. We also have neat little things like rename-symbol, integration with clang’s “fixits” (http://clang.llvm.org/diagnostics.html). We also integrate with flymake using clang’s vastly superior errors and warnings. Since RTags constantly will reindex “dirty” files you get live updates of compiler errors and warnings. Since we already know how to compile your sources we have a way to quickly bring up the preprocessed output of the current source file in a buffer.

While existing taggers like gnu global, cscope, etags, ctags etc do a decent job for C they often fall a little bit short for C++. With its incredible lexical complexity, parsing C++ is an incredibly hard task and we make no bones about the fact that the only reason we are able to improve on the current tools is because of clang (http://clang.llvm.org/). RTags is named RTags in recognition of Roberto Raggi on whose C++ parser we intended to base this project but he assured us clang was the way to go. The name stuck though.

Found via "Some random thoughts on improving self-hosting of software at home"  http://notes.whatthefuck.computer/1493081100.0-note.html
We claim that Sandstorm mitigates most security bugs in apps, by default. We also claim that Sandstorm is the easiest way ever to deploy small-scale (personal, or corporate-internal) web services.
Understandably, people used to the status quo find these claims hard to believe. It sounds like magic.

On this page, we will explain the two main pieces of "magic" that make it all work:

Fine-grained Containerization
Capability-based Security

How to use (GNU) make.