Benki → Bookmarks

This chart describes the support level of each Haskell editor/IDE plug-in combination.

In most cases there is a main plug-in which act as a base for the provided features.

acbuild is a command line utility to build and modify container images.

It is intended to provide an image build workflow independent of specific formats; currently, it can output the following types of container images:

• ACI, the container image format defined in the App Container (appc) spec.
• OCI, the format defined in the Open Containers Image Format specification

The Self-contained System (SCS) approach is an architecture that focuses on a separation of the functionality into many independent systems, making the complete logical system a collaboration of many smaller software systems. This avoids the problem of large monoliths that grow constantly and eventually become unmaintainable. Over the past few years, we have seen its benefits in many mid-sized and large-scale projects.

The idea is to break a large system apart into several smaller self-contained systems, or SCSs, that follow certain rules.

kdtree is a simple, easy to use C library for working with kd-trees.

Kd-trees are an extension of binary search trees to k-dimensional data. They facilitate very fast searching, and nearest-neighbor queries.

This particular implementation is designed to be efficient and very easy to use. It is completely written in ANSI/ISO C, and thus completely cross-platform.

CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The CλaSH compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.

This software enables the user to put on a stylish, high-brow presentation using only a text editor, a 256-colour capable terminal and a copy of Node.js!

CDE (formerly known as CDEpack) automatically packages up the Code, Data, and Environment required to deploy and run your Linux programs on other machines without any installation or configuration. CDE is the easiest way to completely eliminate dependency hell.

Weyl is an extensible algebraic manipulation substrate that has been designed to represent all types of algebraic objects. It deals not only with the basic symbolic objects like polynomials, algebraic functions and differential forms, but can also deal with higher level objects like groups, rings, ideals and vector spaces. Furthermore, to encourage the use of symbolic techniques within other applications, Weyl is implemented as an extension of Common Lisp using the Common Lisp Object Standard so that all of Common Lisp’s facilities and development tools can be used in concert with Weyl’s symbolic tools.

[H]ere are a few notes on how to configure operating systems and write code to support thousands of clients. The discussion centers around Unix-like operating systems, as that’s my personal area of interest, but Windows is also covered a bit.

Cayley is an open-source graph inspired by the graph database behind Freebase and Google’s Knowledge Graph.

I want to upgrade from packages, but not upgrade PHP automatically. pkgng has a tool for this, pkg lock. You must give pkg lock a package name and confirm that you want to update this package.

You login to a Linux server with a performance issue: what do you check in the first minute?

I’m a little frustrated with finding “gdb examples” online that show the commands but not their output. gdb is the GNU Debugger, the standard debugger on Linux. I was reminded of the lack of example output when watching the Give me 15 minutes and I’ll change your view of GDB talk by Greg Law at CppCon 2015, which, thankfully, includes output! It’s well worth the 15 minutes.

It also inspired me to share a full gdb debugging example, with output and every step involved, including dead ends. This isn’t a particularly interesting or exotic issue, it’s just a routine gdb debugging session. But it covers the basics and could serve as a tutorial of sorts, bearing in mind there’s a lot more to gdb than I used here.

This page links to various Linux performance material I’ve created, including the tools maps on the right.

Boomerang is a programming language for writing lenses—well-behaved bidirectional transformations—that operate on ad-hoc, textual data formats. Every lens program, when read from left to right, describes a function that maps an input to an output; when read from right to left, the very same program describes a “backwards” function that maps a modified output, together with the original input, back to a modified input.

Lenses have been used to solve problems across a wide range of areas in computing including: in data converters and synchronizers, in parsers and pretty printers, in picklers and unpicklers, in structure editors, in constraint maintainers for user interfaces, in software model transformations, in schema evolution, in tools for managing system configuration files, and in databases where they provide updatable views.