Boondock Echo

Radio reception in mountainous terrain is sporadic. During an emergency, poor communication can cost lives. The proposed solution is internet-backed time-shift radio.

This project uses commercial off-the-shelf handheld radios and a microcontroller-based internet gateway to receive and store messages on a server where they can be queued for playback locally or through a remote repeater. This solution allows increased communication in mountainous terrain with limited capital expenditure. Radio operators can capture traffic during a pileup, monitor multiple frequencies of interest, and replay important messages.

Diamond Types

The world's fastest CRDT. WIP.

As well as being lightning fast, this library is also designed to be interoperable with positional updates. This allows simple peers to interact with the data structure via operational transform.

This repository contains a high performance rust CRDT for text editing. This is a special data type which supports concurrent editing of lists or strings (text documents) by multiple users in a P2P network without needing a centralized server.

This version of diamond types only supports plain text editing. Work is underway to add support for other JSON-style data types. See the more_types branch for details.

rssnix

Unix-style filesystem-based RSS/Atom/JSON Feed fetcher/reader

shadergarden

Create evolving artistic images with hot-code-reloaded Lisp and GLSL.

Source Code: https://github.com/tonarino/shadergarden

Shadergarden is a tool for building hot-code-reloadable shader pipelines. For a tutorial for how to get started, consult the introductory blog post or the shadergarden lisp language documentation.

rssnix

Unix-style filesystem-based RSS/Atom/JSON Feed fetcher/reader

Chatter Net Client

Chatter Net is a modern decentralized semantic web built atop self-sovereign identity.

Chatter Net is a platform which is:

• Open: anyone can participate in, extend, and innovate on the platform.
• Decentralized: there is no central point of failure. Network consensus determines what content arrives to a user.
• Self-moderating: a user has enough control over what they receive to reject spam content.

Chatter Net does not rely on a specific network stack or protocol. It is instead specified by its data model. It would be possible (though prohibitively slow) to operate a Chatter Net network using carrier pigeons.

Whereas the world wide web is a web of HTML documents, Chatter Net is a web of self-signed semantic documents. It closely follows (but is not fully compliant with) the Activity Pub protocol. Consequently, it is closely related to other federated platforms, of which Mastodon is the a well established platform.

Chatter Net's self-signed data model does differ in a subtle yet meaningful way: the authority resides in the users of the network, not the servers.

This is what allows the project to realize its objectives.

No de-platforming: since no server is needed to verify the identity of a user, no server can prevent a user from accessing the network.
No platform lock-in: since no server is needed to verify the authenticity of data, no server can lock data away from users and other servers.
No spam from arbitrary users: would-be spammers need not only convince a server to trust them, they must directly convince other users.

feuille

feuille is a fast, dead-simple socket-based pastebin that allows a user to send text, logs or code to your server. It focuses on speed, code quality, and security.

1234567// sending text
$ echo Hello, World! | nc heimdall.pm 9999
https://bin.heimdall.pm/abcd

// sending files
$ cat feuille.c | nc heimdall.pm 9999
https://bin.heimdall.pm/efgh

Magma

Open-source carrier-grade wireless networking platform for rural areas

Magma is an open-source software platform that gives network operators an open, flexible and extendable mobile core network solution. Magma enables better connectivity by:

Allowing operators to offer cellular service without vendor lock-in with a modern, open source core network
Enabling operators to manage their networks more efficiently with more automation, less downtime, better predictability, and more agility to add new services and applications
Enabling federation between existing MNOs and new infrastructure providers for expanding rural infrastructure
Allowing operators who are constrained with licensed spectrum to add capacity and reach by using Wi-Fi and CBRS

USB c industrial camera

Opensource USB C industrial camera with Interchangeable C mount lens, Interchangeable MIPI Sensor with Lattice Crosslink NX FPGA and Cypress FX3 USB 3.0 controller

MPI CSI receiver ISP has No virtual restriction on supported frame rate or resolution. Tested more than 4K with IMX477 4056x3040. Can do 8K with around 30FPS or even higher than that as long as FPGA is fast enough for needed frame rate and FPGA/Board has enough memory to be able to store minimum 4 Line worth of pixels. Output Clock is independent of MIPI clock. Easily Portable code to Xilinx or any other FPGA, No Vendor specific components has been used except for the PHY itself which can be replaced by other vendor's DDR phy and Embedded Block RAM. Only Debayer/Demosaic and Output reformatter need Block RAM. Block ram can also be replaced vendor's RAM. Auto detection of RAW pixel width supporting different camera sensors and sensor modes without FPGA reconfiguration.

The ℵ-Calculus: A declarative model of reversible programming

A novel model of reversible computing, the ℵ-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previously demonstrated reversible term-rewriting systems, it does not require the accumulation of history data. Terms in the ℵ-calculus, in combination with the program definitions, encapsulate all program state. An interpreter was also written.

https://github.com/openai/point-e -- Point cloud diffusion for 3D model synthesis

While recent work on text-conditional 3D object generation has shown promising results, the state-of-the-art methods typically require multiple GPU-hours to produce a single sample. This is in stark contrast to state-of-the-art generative image models, which produce samples in a number of seconds or minutes. In this paper, we explore an alternative method for 3D object generation which produces 3D models in only 1-2 minutes on a single GPU. Our method first generates a single synthetic view using a text-to-image diffusion model, and then produces a 3D point cloud using a second diffusion model which conditions on the generated image. While our method still falls short of the state-of-the-art in terms of sample quality, it is one to two orders of magnitude faster to sample from, offering a practical trade-off for some use cases. We release our pre-trained point cloud diffusion models, as well as evaluation code and models, at 

glicol

Graph-oriented live coding language and music DSP library written in Rust

Glicol (an acronym for "graph-oriented live coding language") is a computer music language with both its language and audio engine written in Rust programming language, a modern alternative to C/C++. Given this low-level nature, Glicol can run on many different platforms such as browsers, VST plugins and Bela board. Glicol's synth-like syntax and powerful audio engine also make it possible to combine high-level synth or sequencer control with low-level sample-accurate audio synthesis, all in real-time.

• Near-native, garbage-collection-free and memory-safe real-time audio in web browsers

• Quick reference in consoles with alt-d

• The web app automatically loads samples; you can also drag and drop local samples in the browser editor

• Robust error handling: error reported in console, but previous music will continue!

• Mix JavaScript code to create visuals with Hydra synth made by @ojack

• What you see is what you get, i.e. declarative programmering for both code writing and executing: no need to select anything, just change the code and update, Glicol engine will use LCS algorithm to handle adding, updating and removing

• Decentralised collaboration using yjs and a unique be-ready mechanism

alpakka

The Alpakka controller is Input Labs' main reference design, a re-interpretation of the standard gamepad that everyone is familiar with, but with advanced gyro controls, mouse-like competitive performance, and the power of an open source community bringing limitless accessibility and customization options.

Having the performance of a mouse combined with the convenience of a gamepad, you won't have to make any compromise anymore.

Zero software

"Gaming peripherals and bloatware apps, name a more iconic duo"

No drivers, no apps, no overlays, no bloat. The Alpakka firmware emulates as a standard keyboard, mouse, and Xinput gamepad at hardware level; so it just works out of the box in Windows and Linux, and every game launcher.

Instead of having per-game configurations, the firmware includes 8 profiles carefully crafted for different game genres, that can be switched directly on the controller (for example: FPS, racing, flight).

With 2 gyro sensors working in parallel, and the hexagonal touch-sensitive surface surrounding the ABXY buttons, we finally cracked the code for gyro as primary input.

Gyro controls are not an afterthought anymore, they are the new default. And since a secondary thumbstick would be redundant, instead it features a scrollwheel and a 8-directional "physical selection wheel".

OpenHD

Low-latency High-definition video, 2-way UAV telemetry, audio, and RC control signals on COTS wifi hardware. Supports RPi onboard wifi.

OpenHD uses off-the-shelf Wi-Fi adapters available for purchase online. However, it is not standard Wi-Fi, which is unsuitable for low-latency or very long-distance transmission. Instead, OpenHD configures the Wi-Fi adapter in a way that is closer to a simple broadcast, much like analog video transmission hardware you may be using already.

High definition video, bidirectional UAV telemetry, audio, and RC control signals can all be sent over a single radio link.

https://annas-archive.org/

Search engine of shadow libraries: books, papers, comics, magazines. ⭐️ Z-Library, Library Genesis, Sci-Hub. ⚙️ Fully resilient through open source code and data. 

Disko -- Declarative Disk Partitioning

Disko takes the NixOS module system and makes it work for disk partitioning as well.

Features

• supports LVM, ZFS, btrfs, GPT, mdadm, ext4, ...
• supports recursive layouts
• outputs a NixOS-compatible module
• CLI

Hillingar -- building mirage unikernels with nix

To build a

123456# create a flake from Hillingar's default template
$ nix flake new . -t github:/RyanGibb/hillingar
# substitute the name of the unikernel you're building
$ sed -i 's/throw "Put the unikernel name here"/"<unikernel-name>"/g' flake.nix
# build the unikernel with Nix for a particular target
$ nix build .\#<target>

See an example at

Built on top of

Spyglass -- A personal search engine, crawl & index websites/files you want with a simple set of rules

SKiDL -- SKiDL is a module that extends Python with the ability to design electronic circuits.

Permits compact descriptions of electronic circuits (think about not tracing signals through a multi-page schematic).
Allows textual descriptions of electronic circuits (think about using diff and git for circuits).
Performs electrical rules checking (ERC) for common mistakes (e.g., unconnected device I/O pins).
Supports linear / hierarchical / mixed descriptions of electronic designs.
Fosters design reuse (think about using PyPi and Github to distribute electronic designs).
Makes possible the creation of smart circuit modules whose behavior / structure are changed parametrically (think about filters whose component values are automatically adjusted based on your desired cutoff frequency).
Can work with any ECAD tool (only two methods are needed: one for reading the part libraries and another for outputing the correct netlist format).
Can perform SPICE simulations (Python 3 only).

public-inbox -- an "archives first" approach to mailing lists

public-inbox implements the sharing of an email inbox via git to
complement or replace traditional mailing lists. Readers may
read via NNTP, IMAP, Atom feeds or HTML archives.

Email

trufflehog

Find credentials all over the place

TruffleHog has a sub-command for each source of data that you may want to scan:

• git
• github
• gitlab
• S3
• filesystem
• syslog
• circleci
• file and stdin (coming soon)

Over 700 credential detectors that support active verification against their respective APIs. Verification eliminates false positives. For example, the AWS credential detector performs a GetCallerIdentity API call against the AWS API to verify if an AWS credential is active.

Instantly verify private keys against millions of github users and billions of TLS certificates using

microvm.nix -- NixOS MicroVMs

A Nix Flake to build NixOS and run it on one of several Type-2 Hypervisors on NixOS/Linux. The project is intended to provide a more isolated alternative to nixos-container. You can either build and run MicroVMs like Nix packages, or alternatively install them as systemd services declaratively in your host's Nix Flake or imperatively with the provided microvm command.

• MicroVMs are Virtual Machines but use special device interfaces
  (virtio) for high performance.
• This project runs them on NixOS hosts.
• You can choose one of five hypervisors for each MicroVM.
• MicroVMs have a fixed RAM allocation (default: 512 MB) but can be
  shrunk using microvm-balloon
• MicroVMs have a read-only root disk with either a prepopulated
  /nix/store or by mounting the host's along with an optional
  writable overlay. This filesystem can be built as either squashfs
  (smaller) or erofs (faster).
• You define your MicroVMs in a Nix Flake's nixosConfigurations
  section, reusing the nixosModules that are exported by this Flake.
• MicroVMs can access stateful filesystems either on a image volume as
  a block device, or alternatively as a shared directory hierarchy
  through 9p or virtiofs.
• Zero, one, or more virtual tap ethernet network interfaces can be
  attached to a MicroVM. qemu and kvmtool also support user
  networking which requires no additional setup on the host.

| Hypervisor | Language | Restrictions |
|-------------------------------------------------------------------------|----------|---------------------------------------|
|

openipc -- Open Source IP Camera firmware

OpenIPC is a Linux operating system targeting IP cameras with processors from several manufacturers in order to replace that closed, opaque, insecure, often abandoned and unsupported firmware pre-installed by a vendor.

Historically, OpenIPC firmware only supported SoC manufactured by HiSilicon, but as the development continues, the list of supported processors expands. Today, it also includes chips from Ambarella, Anyka, Fullhan, Goke, GrainMedia, Ingenic, MStar, Novatek, SigmaStar, XiongMai, and is expected to grow further.

cameradar -- Cameradar hacks its way into RTSP videosurveillance cameras

Cameradar allows you to

• Detect open RTSP hosts on any accessible target host
• Detect which device model is streaming
• Launch automated dictionary attacks to get their stream route (e.g.: /live.sdp)
• Launch automated dictionary attacks to get the username and password of the cameras
• Retrieve a complete and user-friendly report of the results

rtsp-simple-server -- rtsp-simple-server is a ready-to-use and zero-dependency RTMP/RTSP/LL-HLS/WebRTC server and proxy that allows users to publish, read and proxy live video and audio streams.

Features:

• Publish live streams to the server
• Read live streams from the server
• Proxy streams from other servers or cameras, always or on-demand
• Streams are automatically converted from a protocol to another. For instance, it's possible to publish a stream with RTSP and read it with HLS
• Serve multiple streams at once in separate paths
• Authenticate users; use internal or external authentication
• Redirect readers to other RTSP servers (load balancing)
• Query and control the server through an HTTP API
• Reload the configuration without disconnecting existing clients (hot reloading)
• Read Prometheus-compatible metrics
• Run external commands when clients connect, disconnect, read or publish streams
• Natively compatible with the Raspberry Pi Camera
• Compatible with Linux, Windows and macOS, does not require any dependency or interpreter, it's a single executable

hypershell -- Spawn shells anywhere. Fully peer-to-peer, authenticated, and end to end encrypted.

1234567891011121314# Create keys for use by hypercore-protocol:
hypershell-keygen [-f keyfile] [-c comment]

# Create a P2P shell server:
hypershell-server [-f keyfile] [--firewall filename]

# Connect to a P2P shell:
hypershell [-f keyfile] <server name or public key>

# Local tunnel that forwards to remote host:
hypershell [-L [address:]port:host:hostport] <server name or public key>

# Copy files (download and upload)
hypershell-copy [-f keyfile] <[@host:]source> <[@host:]target>

GRASP: The GRAphical Scheme Programming Environment -- an extensible editor of s-expressions optimized for interacting via touch screen.

larynx -- A fast, local neural text to speech system.

echo 'Welcome to the world of speech synthesis!' | ./larynx --model en-us-blizzard_lessac-medium.onnx --output_file welcome.wav

Larynx is meant to sound as good as

Voices are trained with

colmena-health

A prototype healthchecker for colmena

123456    deployment.healthchecks = [
      { type = "http"; params.url = "http://${config.networking.hostName}.dc1.example.com:5050"; }
      { type = "http"; params.url = "http://${config.networking.hostName}.dc1.example.com:${toString config.services.my-service.port}"; }
      { type = "dns"; params.domain = "my-service.service.consul."; }
      { type = "http"; params.url = "https://my-service.example.com"; }
    ];

casync

Content-Addressable Data Synchronization Tool

1. A combination of the rsync algorithm and content-addressable storage
2. An efficient way to store and retrieve multiple related versions of large file systems or directory trees
3. An efficient way to deliver and update OS, VM, IoT and container images over the Internet in an HTTP and CDN friendly way
4. An efficient backup system

elmerfs

elmerfs is a filesystem that leverage Conflict Free Replicated Data Type CRDT on top of 

nix-script

nix-script lets you write quick scripts in compiled languages, transparently compile and cache them, and pull in whatever dependencies you need from the Nix ecosystem.

123#!/usr/bin/env nix-script
#!buildInputs (pkgs.haskellPackages.ghcWithPackages (ps: [ ps.text ]))
#!build ghc -O -o $OUT_FILE $SCRIPT_FILE

treefmt

treefmt applies all the needed formatters to your project with one command line.

Before making contributions to any project, it’s common to get your code formatted according to the project’s standards. This task seems trivial from the first sight — you can simply set up the required language formatter in your IDE. But contributing to multiple projects requires more effort: you need to change the code formatter configs each time you switch between projects, or call formatters manually.

Formatting requires less effort if a universal formatter for multiple languages is in place, which is also project-specific.

captive portal controller

Control how Android detects captive portal.

Features

• Enable/disable captive portal detection
• Set captive portal servers (with presets from
  GrapheneOS
  ,
  Kuketz
  and Google)
• A quick setting tile to toggle captive portal detection
• Less than 100KB app as you don't need to use it frequently.

CaptivePortalAutologin

It works by simply replacing the action URL from the login form on the web page to a local HTTP server which redirects the request to the original destination. The local HTTP server saves the request, so the app can reproduce the same call next time you connect to the same WiFi network.

tickle

broadcast messages to everyone on your network.
Lang: TCL

a simple {networked, threaded, native GUI, single-dependency} program
a proof of concept in [computational bricolage](broadcast messages to everyone on your network)

DVDisaster

Data loss/scratch/aging protection for CD/DVD media

PotatoP

A lisp programmable laptop with a battery life measured in years.

It currently has an estimated battery life of up to 2 years depending on ambient light (with a 12000 mAh li-po battery), but I am hoping to eventually make it powered by ambient light alone.

combobulate

Structured Editing and Navigation in Emacs

Combobulate is a package that adds structured editing and movement to a wide range of programming languages. Unlike most programming major modes that use error-prone imperative code and regular expressions to determine what's what in your code, Combobulate uses Emacs 29's tree-sitter library.

Writing to the new file adds a new entry to the registry. See the manual for more information.

An example of a "connect to the grid" script can be found at this link. The script mounts all the services from the registry and opens chat windows in a separate rio session. Messages are typed in directly and sent with a ctrl+d after a newline.

https://github.com/midzer/dontbore/

https://dontbo.re/

2. All persons obtaining a copy or substantial portion of the Software,a modified version of the Software (or substantial portion thereof), ora derivative work based upon this Software (or substantial portion thereof)must not delete, remove, disable, diminish, or circumvent any inference filters orinference filter mechanisms in the Software, or any portion of the Software thatimplements any such filters or filter mechanisms

Drop-in CSS switcher for prettifying your HTML, no JS or framework needed. Switcher has a ton of options to see them on your site.
https://github.com/dohliam/dropin-minimal-css
Demo https://dohliam.github.io/dropin-minimal-css/

Bookmarklet! javascript:(function()%7Bvar%20body%20%3D%20document.getElementsByTagName('body')%5B0%5D%3Bscript%20%3D%20document.createElement('script')%3Bscript.type%3D%20'text%2Fjavascript'%3Bscript.src%3D%20'https%3A%2F%2Fdohliam.github.io%2Fdropin-minimal-css%2Fswitcher.js'%3Bbody.appendChild(script)%7D)()

In reply to

Colin

i got to demo the pocket reform a couple months back at a local hardware meetup. it's real :)

had the typical problem of unpredictable perf. could stream a Youtube video just fine -- but only in Chromium and not in Firefox. and open any other app (a terminal) so that the screen's split, and frames start to drop.

but AFAICT that's not a fundamental hardware problem, but stuff that could be improved with time. it's certainly far less beta at launch than the Pinephone or anything else in that category ever was.

Attack as the Best Defense: Nullifying Image-to-image Translation GANs via Limit-aware Adversarial Attack

https://arxiv.org/abs/2110.02516