interesting links2024-02-20T13:43:01+01:00https://roland.iwasno.net/links/https://roland.iwasno.net/links/https://roland.iwasno.net/links/Using FIDO2 Auth Keys (Yubikey, Solokeys) with MacOS and FreeBSD // hackacad.nethttps://roland.iwasno.net/links/?aEOkIQ2024-02-20T13:43:01+01:00Just what it says in the title.<br>(<a href="https://roland.iwasno.net/links/?aEOkIQ">Permalink</a>)C2-Scans mit readcd - Wozu?https://roland.iwasno.net/links/?1MRG_g2023-11-02T12:59:33+01:00How to measure the number of correctable errors on CDs to judge the quality.<br />
Found via <a href="https://reproducible-builds.org/who/projects/" rel="nofollow">https://reproducible-builds.org/who/projects/</a> which links to <a href="https://www.fabiankeil.de/gehacktes/electrobsd/" rel="nofollow">https://www.fabiankeil.de/gehacktes/electrobsd/</a><br>(<a href="https://roland.iwasno.net/links/?1MRG_g">Permalink</a>)Chimera Linux - A modern, general-purpose non-GNU Linux distributionhttps://roland.iwasno.net/links/?EN6d4w2023-09-22T23:40:12+02:00Chimera is a general-purpose OS born from unhappiness with the state of Linux distributions. It's built around the core idea that a simple system does not have to require endless setup and customization to be practical.<br />
<br />
It aims to capture the convenience of complex distributions while retaining conceptual simplicity. To this purpose, it is built from scratch using novel tooling and approaches.<br>(<a href="https://roland.iwasno.net/links/?EN6d4w">Permalink</a>)mpmath - Python library for arbitrary-precision floating-point arithmetichttps://roland.iwasno.net/links/?1-ODBw2022-05-17T15:57:41+02:00mpmath is a free (BSD licensed) Python library for real and complex floating-point arithmetic with arbitrary precision. It has been developed by Fredrik Johansson since 2007, with help from many contributors.<br>(<a href="https://roland.iwasno.net/links/?1-ODBw">Permalink</a>)Game of Trees (Got)https://roland.iwasno.net/links/?MK_m2w2021-09-23T15:11:57+02:00Game of Trees (Got) is a version control system which prioritizes ease of use and simplicity over flexibility.<br />
<br />
Got is still under development; it is being developed on OpenBSD and its main target audience are OpenBSD developers.<br />
<br />
Got uses Git repositories to store versioned data. Git can be used for any functionality which has not yet been implemented in Got. It will always remain possible to work with both Got and Git on the same repository.<br>(<a href="https://roland.iwasno.net/links/?MK_m2w">Permalink</a>)saltpack - a modern crypto messaging formathttps://roland.iwasno.net/links/?1R8y2w2021-06-01T22:14:50+02:00Need to encode, transmit, or store encrypted or signed data? saltpack is a streamlined, modern solution, designed with simplicity in mind. It is easy to implement & integrate. We've made few crypto decisions and instead leave almost all of the heavy lifting to the NaCl library.<br />
<br />
saltpack is a binary message format, encoded using the MessagePack format. Messages are broken up into reasonable (1MB) chunks, over which regular NaCl operations are performed. We have taken pains to address many of the shortcomings of current message formats: (1) only authenticated data is output; (2) repudiable authentication is used wherever possible; (3) chunks cannot be reordered or combined with other transmissions; (4) the public keys of senders and recipients can be hidden; and (5) message truncation is detectable.<br />
<br />
Implementations in Go and Python are available at <a href="https://saltpack.org/implementations" rel="nofollow">https://saltpack.org/implementations</a> The format is used by <a href="https://keybase.io/" rel="nofollow">https://keybase.io/</a><br>(<a href="https://roland.iwasno.net/links/?1R8y2w">Permalink</a>)The Amsterdam Compiler Kithttps://roland.iwasno.net/links/?dfwBJQ2021-04-02T23:54:59+02:00The Amsterdam Compiler Kit is a cross-platform compiler and toolchain suite that is small, portable, extremely fast, and extremely flexible. It targets a number of low-end machines including the Z80, 8086 and 80386, but there are many other code generators available. It supports several languages, including ANSI C, Pascal and Modula-2, and contains integrated runtime libraries including a libc.<br />
<br />
The maintainer, David Given states "I, dtrg, cannot honestly recommend using the ACK for production code unless as a stop-gap measure or unless the other benefits of the ACK (e.g. having a very lightweight turnkey toolchain is valuable to you) outweigh the code quality."<br>(<a href="https://roland.iwasno.net/links/?dfwBJQ">Permalink</a>)gokrazy is a pure-Go userland for your Raspberry Pi 3/4 applianceshttps://roland.iwasno.net/links/?Q9kqlg2021-03-24T20:01:16+01:00For a long time, we were unhappy with having to care about security issues and Linux distribution maintenance on our various Raspberry Pis.<br />
Then, we had a crazy idea: what if we got rid of memory-unsafe languages and all software we don’t strictly need?<br />
Turns out this is feasible. gokrazy is the result.<br>(<a href="https://roland.iwasno.net/links/?Q9kqlg">Permalink</a>)Pikchr: Documentationhttps://roland.iwasno.net/links/?W-LOBQ2020-10-09T15:15:26+02:00Pikchr (pronounced "picture") is a PIC-like markup language for diagrams in technical documentation. Pikchr is designed to be embedded in fenced code blocks of Markdown or similar mechanisms of other documentation markup languages.<br />
Pikchr source code is released under a zero-clause BSD license.<br>(<a href="https://roland.iwasno.net/links/?W-LOBQ">Permalink</a>)NomadBSD - live BSD systemhttps://roland.iwasno.net/links/?qg7GRg2020-07-28T02:09:00+02:00NomadBSD is a persistent live system for USB flash drives, based on FreeBSD®. Together with automatic hardware detection and setup, it is configured to be used as a desktop system that works out of the box, but can also be used for data recovery, for educational purposes, or to test FreeBSD®'s hardware compatibility.<br>(<a href="https://roland.iwasno.net/links/?qg7GRg">Permalink</a>)command line tool for DSPhttps://roland.iwasno.net/links/?zK5TJw2020-07-10T00:37:46+02:00csdr is a command line tool to carry out DSP tasks for Software Defined Radio.<br />
It can be used to build simple signal processing flow graphs, right from the command line.<br />
Found on Oona Räisänen's blog <a href="http://www.windytan.com/p/about.html" rel="nofollow">http://www.windytan.com/p/about.html</a>.<br>(<a href="https://roland.iwasno.net/links/?zK5TJw">Permalink</a>)LambdaNative cross-platform development environmenthttps://roland.iwasno.net/links/?RoKyXw2020-06-28T16:14:31+02:00LambdaNative is an open-source (BSD licensed) cross-platform development environment written in Scheme (Gambit-C), supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, and NetBSD. Some cross-compiler support for Raspberry Pi (Carlson-Minot) and OpenWrt (Sitara) also exists. See also <a href="https://www.lambdanative.org/" rel="nofollow">https://www.lambdanative.org/</a><br>(<a href="https://roland.iwasno.net/links/?RoKyXw">Permalink</a>)The Power Of CTRL+T – The Bloghttps://roland.iwasno.net/links/?pGLMXQ2020-06-19T16:58:43+02:00On FreeBSD, OS X but not on Linux, C-T sends SIGINFO which produces information of the current process. Other interesting articles on the blog include <br />
<a href="https://blog.danielisz.org/2017/03/18/the-unix-system-family-tree-research-and-bsd/" rel="nofollow">https://blog.danielisz.org/2017/03/18/the-unix-system-family-tree-research-and-bsd/</a><br />
<a href="https://blog.danielisz.org/2018/02/10/raspbsd/" rel="nofollow">https://blog.danielisz.org/2018/02/10/raspbsd/</a><br />
<a href="https://danielisz.wordpress.com/2018/02/11/raspberry-pi-and-freebsd/" rel="nofollow">https://danielisz.wordpress.com/2018/02/11/raspberry-pi-and-freebsd/</a><br>(<a href="https://roland.iwasno.net/links/?pGLMXQ">Permalink</a>)Intel(R) Intelligent Storage Acceleration Libraryhttps://roland.iwasno.net/links/?dQBOCg2020-06-15T15:26:37+02:00ISA-L is a collection of optimized low-level functions targeting storage applications. ISA-L includes:<br />
Erasure codes - Fast block Reed-Solomon type erasure codes for any encode/decode matrix in GF(2^8).<br />
CRC - Fast implementations of cyclic redundancy check. Six different polynomials supported.<br />
iscsi32, ieee32, t10dif, ecma64, iso64, jones64.<br />
Raid - calculate and operate on XOR and P+Q parity found in common RAID implementations.<br />
Compression - Fast deflate-compatible data compression.<br />
De-compression - Fast inflate-compatible data compression.<br />
BSD 3-Clause "New" or "Revised" License.<br />
According to <a href="https://github.com/catid/cm256" rel="nofollow">https://github.com/catid/cm256</a>, ISA-L uses a O(N^3) Gaussian elimination solver for decoding. The CM256 decoder solves the linear system using a fast O(N^2) LDU-decomposition algorithm from "Pivoting and Backward Stability of Fast Algorithms for Solving Cauchy Linear Equations" (T. Boros, T. Kailath, V. Olshevsky), which was hand-optimized for memory accesses.<br />
See also <a href="https://github.com/catid/leopard" rel="nofollow">https://github.com/catid/leopard</a> for a fast O(N log(N)) RS erasure decoder.<br>(<a href="https://roland.iwasno.net/links/?dQBOCg">Permalink</a>)Modern interactive LLVM-based Fortran compilerhttps://roland.iwasno.net/links/?ReyLeA2020-02-24T23:44:00+01:00LFortran is a modern open-source (BSD licensed) interactive Fortran compiler built on top of LLVM. It can execute user’s code interactively to allow exploratory work (much like Python, MATLAB or Julia) as well as compile to binaries with the goal to run user’s code on modern architectures such as multi-core CPUs and GPUs.<br>(<a href="https://roland.iwasno.net/links/?ReyLeA">Permalink</a>)D. Souflis, J. Shapiro - TinyScheme Homehttps://roland.iwasno.net/links/?F8L42Q2020-02-13T18:47:55+01:00TinyScheme is a lightweight Scheme interpreter that implements as large a subset of R5RS as was possible without getting very large and complicated. It is meant to be used as an embedded scripting interpreter for other programs. As such, it does not offer IDEs or extensive toolkits although it does sport a small top-level loop, included conditionally. A lot of functionality in TinyScheme is included conditionally, to allow developers freedom in balancing features and footprint.<br>(<a href="https://roland.iwasno.net/links/?F8L42Q">Permalink</a>)restic · Backups done right!https://roland.iwasno.net/links/?0SirRw2019-11-06T15:49:28+01:00Encrypted, deduplicated backup tool, runs on Linux, *BSD, OS X and Windows.<br>(<a href="https://roland.iwasno.net/links/?0SirRw">Permalink</a>)Yet another tiny Unix machinehttps://roland.iwasno.net/links/?MGVVEQ2019-09-12T09:53:03+02:00Found via a post on the TUHS mailing list<br />
<a href="https://minnie.tuhs.org/pipermail/tuhs/2019-September/018465.html" rel="nofollow">https://minnie.tuhs.org/pipermail/tuhs/2019-September/018465.html</a><br>(<a href="https://roland.iwasno.net/links/?MGVVEQ">Permalink</a>)About – HelenOShttps://roland.iwasno.net/links/?3ZbP3Q2019-05-03T15:15:31+02:00HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others. HelenOS is therefore flexible, modular, extensible, fault tolerant and easy to understand.<br>(<a href="https://roland.iwasno.net/links/?3ZbP3Q">Permalink</a>)mpshhttps://roland.iwasno.net/links/?Agy8-A2019-01-25T16:51:15+01:00mpsh is an experimental command interpreter for Unix systems written by Dave Fischer at the Center for Computational Aesthetics and distributed under the 3-clause BSD license.<br>(<a href="https://roland.iwasno.net/links/?Agy8-A">Permalink</a>)Rump Kernelshttps://roland.iwasno.net/links/?0Ovn8g2018-12-03T12:13:11+01:00Rump kernels enable you to build the software stack you need without forcing you to reinvent the wheels. The key observation is that a software stack needs driver-like components which are conventionally tightly-knit into operating systems — even if you do not desire the limitations and infrastructure overhead of a given OS, you do need drivers.<br />
Found on Kooda's blog <a href="https://www.upyum.com/en/post/2.xhtml" rel="nofollow">https://www.upyum.com/en/post/2.xhtml</a><br>(<a href="https://roland.iwasno.net/links/?0Ovn8g">Permalink</a>)cl-6502 - A Readable CPU Emulatorhttps://roland.iwasno.net/links/?xEsUyQ2018-08-31T15:56:09+02:00cl-6502 is a Common Lisp emulator, assembler and disassembler for the MOS 6502 processor.<br>(<a href="https://roland.iwasno.net/links/?xEsUyQ">Permalink</a>)NuttX Real-Time Operating System - NuttX Real-Time Operating Systemhttps://roland.iwasno.net/links/?wV_Abg2018-06-05T14:44:30+02:00NuttX is a real-time operating system (RTOS) with an emphasis on standards compliance and small footprint. Scalable from 8-bit to 32-bit microcontroller environments, the primary governing standards in NuttX are Posix and ANSI standards. Additional standard APIs from Unix and other common RTOS's (such as VxWorks) are adopted for functionality not available under these standards, or for functionality that is not appropriate for deeply-embedded environments (such as fork()).<br>(<a href="https://roland.iwasno.net/links/?wV_Abg">Permalink</a>)Awesome UNIX® listhttps://roland.iwasno.net/links/?rEMSFw2018-05-08T14:02:04+02:00This 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.<br>(<a href="https://roland.iwasno.net/links/?rEMSFw">Permalink</a>)Ymacs status (Ymacs: AJAX source code editor)https://roland.iwasno.net/links/?h7_NrQ2017-10-31T14:57:16+01:00Emacs-like editor running in the web browser.<br>(<a href="https://roland.iwasno.net/links/?h7_NrQ">Permalink</a>)Home | Robert Nordierhttps://roland.iwasno.net/links/?q8sQcw2016-11-12T00:36:49+01:00V7/x86 is a port of the Seventh Edition of the UNIX operating system to the x86 (IA-32) based PC. UNIX V7 was the last general distribution (around 1979) to come from the Research group at Bell Labs, the original home of UNIX. The port was done mostly around 1999 when "Ancient UNIX" source code licenses first became available, and was revised for release, with some enhancements, during 2006-7.<br />
The distribution includes the full UNIX Version 7 operating system, with source code, pre-built binaries, man pages, and original Version 7 documentation. Also included are a custom UNIX-style x86 assembler, an ACK-based C compiler, and several key early UCB software components such as the C shell, the editors ex and vi, and the pager more.<br />
V7/x86 currently supports ATA (IDE) hard drives, ATAPI CDROM drives, a 1.44M floppy drive, and standard serial ports, in addition to the usual PC screen and keyboard. For easier installation and setup, supplied utilities allow access to CD (ISO 9660) and FAT (MS-DOS) filesystems. Source code is available under a Berkeley-style license.<br>(<a href="https://roland.iwasno.net/links/?q8sQcw">Permalink</a>)Computer Laboratory: Capsicum: practical capabilities for UNIXhttps://roland.iwasno.net/links/?1hMXWg2016-09-01T17:23:54+02:00Capsicum is a lightweight OS capability and sandbox framework developed at the University of Cambridge Computer Laboratory, supported by grants from Google, the the FreeBSD Foundation, and DARPA. Capsicum extends the POSIX API, providing several new OS primitives to support object-capability security on UNIX-like operating systems:<br />
<br />
capabilities - refined file descriptors with fine-grained rights<br />
capability mode - process sandboxes that deny access to global namespaces<br />
process descriptors - capability-centric process ID replacement<br />
anonymous shared memory objects - an extension to the POSIX shared memory API to support anonymous swap objects associated with file descriptors (capabilities)<br />
rtld-elf-cap - modified ELF run-time linker to construct sandboxed applications<br />
libcapsicum - library to create and use capabilities and sandboxed components<br />
libuserangel - library allowing sandboxed applications or components to interact with user angels, such as Power Boxes.<br />
chromium-capsicum - a version of Google's Chromium web browser that uses capability mode and capabilities to provide effective sandboxing of high-risk web page rendering.<br>(<a href="https://roland.iwasno.net/links/?1hMXWg">Permalink</a>)xhyve – Lightweight Virtualization on OS X Based on bhyve | pagetable.comhttps://roland.iwasno.net/links/?_DVxVA2016-01-28T12:02:08+01:00xhyve is a lightweight virtualization solution for OS X that is capable of running Linux. It is a port of FreeBSD’s bhyve, a KVM+QEMU alternative written by Peter Grehan and Neel Natu.<br />
The blog also has entries about 6502 assembly programming.<br>(<a href="https://roland.iwasno.net/links/?_DVxVA">Permalink</a>)i3 - improved tiling wmhttps://roland.iwasno.net/links/?QVKtuw2014-11-22T22:56:11+01:00i3 is a tiling window manager, completely written from scratch. The target platforms are GNU/Linux and BSD operating systems, our code is Free and Open Source Software (FOSS) under the BSD license. i3 is primarily targeted at advanced users and developers.<br>(<a href="https://roland.iwasno.net/links/?QVKtuw">Permalink</a>)The Amsterdam Compiler Kithttps://roland.iwasno.net/links/?XLjfhw2014-11-04T11:02:28+01:00The Amsterdam Compiler Kit is a cross-platform compiler and toolchain suite that is small, portable, extremely fast, and extremely flexible. It targets a number of low-end machines including the Z80, 8086 and 80386, but there are many other code generators available (including the pdp-11). It supports several languages, including ANSI C, Pascal and Modula-2, and contains integrated runtime libraries including a libc. While it used to be a commercial product, it has been made open source under a BSD license.<br>(<a href="https://roland.iwasno.net/links/?XLjfhw">Permalink</a>)HelenOS projecthttps://roland.iwasno.net/links/?Nvoxjw2014-10-20T19:08:16+02:00HelenOS is an open-source microkernel-based multiserver operating system written from scratch. It runs on several different CPU architectures (IA-32, x86-64, SPARC V9, IA-64, PowerPC, ARM, MIPS). HelenOS prides in portability, modularity, clean design and coding style.<br />
<br />
It does not mimic any existing system and it is not meant to be POSIX-compliant or UNIX-like at all. Just as an example, HelenOS does not support fork().<br>(<a href="https://roland.iwasno.net/links/?Nvoxjw">Permalink</a>)SourceForge.net: SaVi satellite constellation visualizerhttps://roland.iwasno.net/links/?552RyA2009-06-03T17:36:09+02:00SaVi - satellite constellation visualization. Simulate Iridium, Globalstar, Sirius, GPS, Teledesic and other systems, modify them, or design your own. Uses Tcl/Tk and Unix libraries; 3D viewing option requires Geomview running on X Window. BSD license.<br>(<a href="https://roland.iwasno.net/links/?552RyA">Permalink</a>)noedler.de // softwareprojekte // wdfs: webdav filesystemhttps://roland.iwasno.net/links/?DTiUbg2008-11-10T15:44:49+01:00wdfs is a webdav filesystem that makes it possible to mount a webdav share under linux, freebsd and apple mac os x. wdfs has some special features for accessing subversion repositories via webdav. it's based on fuse and neon.<br>(<a href="https://roland.iwasno.net/links/?DTiUbg">Permalink</a>)von und für lau - GPS-Toolshttps://roland.iwasno.net/links/?EjKpKA2008-09-09T17:17:29+02:00Tools for processing of GPS track data.<br>(<a href="https://roland.iwasno.net/links/?EjKpKA">Permalink</a>)Eric Kustarz's Webloghttps://roland.iwasno.net/links/?dGAAAQ2007-11-13T14:45:54+01:00How to use ZFS snapshots as backup mechanism.<br>(<a href="https://roland.iwasno.net/links/?dGAAAQ">Permalink</a>)The Essential GNSS Projecthttps://roland.iwasno.net/links/?DvIEJQ2007-11-13T12:29:12+01:00This project provides efficient 'c' functions for essential Global Navigation Satellite Systems (GNSS) algorithms. The 'BSD-style' license (<a href="http://en.wikipedia.org/wiki/BSD_license" rel="nofollow">http://en.wikipedia.org/wiki/BSD_license</a>) allows non-restrictive use for commercial and open source development.<br>(<a href="https://roland.iwasno.net/links/?DvIEJQ">Permalink</a>)lispbox - Google Codehttps://roland.iwasno.net/links/?WlzgZg2007-04-04T13:49:05+02:00The new home of Lispbox, a "ready to run" package of a Lisp system, Emacs, SLIME and some libraries. Work in progress.<br>(<a href="https://roland.iwasno.net/links/?WlzgZg">Permalink</a>)Metra-Shophttps://roland.iwasno.net/links/?rvQhtg2007-02-06T19:45:21+01:00Another web shop for Linux and BSD distributions.<br>(<a href="https://roland.iwasno.net/links/?rvQhtg">Permalink</a>)