The spec library specifies the structure of data, validates or destructures it, and can generate data based on the spec. The clojure.spec namespace is included in the Clojure core distribution, so no extra library is required to use it.
Ergonomics is a measure of the friction you experience when trying to get things done with a tool.
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
[A] robust yet easy to use ZFS based replication and failover solution. It can also serve as the conduit to create a simple backup hub.
Just freeware, though, no free software.
Tredly Containers are in essence, scriptable virtual machines. Tredly Containers are configured through the use of a Tredlyfile.
Sort of like a jail-oriented Docker alternative, it seems.
Docker is a popular application containment environment on GNU/Linux that is available on FreeBSD as of June, 2015. Docker on FreeBSD relies heavily on ZFS, jail and the 64bit Linux compatibility layer […]. Docker on FreeBSD is genuine Docker and retrieves containers from the official docker.io repository.
Duplication is far cheaper than the wrong abstraction.
Javaslang is a functional library for Java 8+ that provides persistent data types and functional control structures.
An occasional blog on Greek linguistics (broadly meant). βMaking Greek more googleable (through English).β
NX is a highly flexible, Tcl-based, object-oriented scripting language. It is a descendant of XOTcl and was designed based on 10 years of experience with XOTcl in projects containing several hundred thousand lines of code. While XOTcl was the first language designed to provide language support for design patterns and to provide a highly dynamic programming environment, the Next Scripting Framework (NSF) and NX add to these features support for language-oriented programming.
NX is designed to improve maintainability of large systems involving teams of developers by removing sources of common errors. It encourages developers to write better structured programs by providing clear interfaces. Explicit interfaces improve reliability and reuse of components. NX facilitates language learning for novices by adopting a streamlined terminology. The Next Scripting Language is implemented fully scripted on top of the Next Scripting Framework (NSF). NX and NSF are available under the terms of the MIT license.
s6 is a small suite of programs for UNIX, designed to allow process supervision (a.k.a service supervision), in the line of daemontools and runit, as well as various operations on processes and daemons. It is meant to be a toolbox for low-level process and service administration, providing different sets of independent tools that can be used within or without the framework, and that can be assembled together to achieve powerful functionality with a very small amount of code.
Examples of things you can do by assembling together several programs provided by s6 - besides process supervision:
- syslogd functionality, using much less resources than the traditional syslogd.
- Reliable service readiness notification, which is the basis for service dependency management.
- Controlled privileged gain as with sudo, without using any suid programs.
- The useful parts of socket activation[1] without having to change application code or link servers against any specific library, and without having to switch to any specific init system.
The nosh package is a suite of system-level utilities for initializing and running a BSD or Linux system, for managing daemons, for managing terminals, and for managing logging.
Vortragsfolien.
Task::Kensho is a list of recommended modules for Enlightened Perl development. CPAN is wonderful, but there are too many wheels and you have to pick and choose amongst the various competing technologies.
The plan is for Task::Kensho to be a rough testing ground for ideas that go into among other things the Enlightened Perl Organisation Extended Core (EPO-EC).
Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
It is often suggested that users are hopelessly lazy and unmotivated on security questions. They chose weak passwords, ignore security warnings, and are oblivious to certificates errors. We argue that usersβ rejection of the security advice they receive is entirely rational from an economic perspective. The advice offers to shield them from the direct costs of attacks, but burdens them with far greater indirect costs in the form of effort. Looking at various examples of security advice we find that the advice is complex and growing, but the benefit is largely speculative or moot. For example, much of the advice concerning passwords is outdated and does little to address actual threats, and fully 100% of certificate error warnings appear to be false positives. Further, if users spent even a minute a day reading URLs to avoid phishing, the cost (in terms of user time) would be two orders of magnitude greater than all phishing losses. Thus we find that most security advice simply offers a poor cost-benefit tradeoff to users and is rejected. Se- curity advice is a daily burden, applied to the whole population, while an upper bound on the benefit is the harm suffered by the fraction that become victims an- nually. When that fraction is small, designing security advice that is beneficial is very hard. For example, it makes little sense to burden all users with a daily task to spare 0.01% of them a modest annual pain.