Hi, this is wldhx. I am transitioning
from networks R&D to PLV research.
wldhx/kotperffuzz
slides: Performance fuzzing the
Kotlin compiler with JQF (AFL-Java), incomplete notes.fourmolu/fourmolu#129:
A golden tests generator for a Haskell formatter.kocherga/mm-dating-matcher-minizn:
A discrete optimisation model for mastermind dating in MiniZinc.wldhx/plfa:
Nix-enabled PLFA.wldhx/fp-course:
Forks data61’s fp-course for a workshop.goto-ruwldhx/gnunet-hs:
Build GNUnet applications from the well-typed concurrent comfort of your
Haskell.equalitie/ouinet:
Distributed web cache for censorship circumvention.goto-ru/chain:
A scholarship management platform built on blockchain.kostava44/whohome:
Fetches connected STAs from APs via Telnet.wldhx/ch-timestamping:
P2P GSet-based timestamping service build on Cloud Haskell and featuring
JSON-RPC.wldhx/libp2p-hs:
Like gnunet-hs, but for go-libp2p.wldhx/testground:
Libp2p testground for Haskell.wldhx/runfw:
Initialize virtio-net with Rust in a Firecracker VM.wldhx/git-send-telegram:
Like git-send-email, but for 2023.wldhx/crm:
Make a Telegram folder for those you’d like to keep in touch with and
the tool will pin k people you didn’t talk with for
n days every day. Or automatically send them a “heya”.wldhx/persist-presence:
Turns your Telegram avatar into a UTC clock, with the presence status
for a seconds indicator.wldhx/yadisk-direct:
Get real direct links usable with tools like curl or wget for files
stored in Yandex.Disk.wldhx/gitlab-ci-android:
Build Docker images for Android CI with GitLab CI and store them in GL
Container Registry.Other stuff: