Lobste.rs

title stats ⓘ date
Introduction to Homotopy Type Theory and Univalent Foundations (HoTT/UF) with Agda
 15 / 2 Aug 28, 2021
Taming the ‘stat’ storm with a loader cache
 7 / 1 Aug 28, 2021
Why I will stay Janet
 27 / 2 Aug 28, 2021
Kaitai Struct: declarative binary format parsing language
 33 / 6 Aug 28, 2021
Silent HP Z440 workstation: replacing noisy fans
 12 / 4 Aug 28, 2021
My tiny side project has had more impact than my decade in the software industry
 82 / 18 Aug 28, 2021
10 ways GNU Guile is 10x better
 16 / 2 Aug 28, 2021
RBAC like it was meant to be
 27 / 2 Aug 28, 2021
Computers should expose their internal workings as a 6th sense
 13 / 4 Aug 28, 2021
Latency Sneaks Up On You
 13 / 1 Aug 28, 2021
The Future of discord.py
 38 / 3 Aug 28, 2021
jsc: My New Best Friend
 22 / 12 Aug 28, 2021
Perceptual hash algorithms (2011)
 8 / 5 Aug 28, 2021
Utilizing msg_msg Objects for Arbitrary Read and Arbitrary Write in the Linux Kernel
 2 / 1 Aug 27, 2021
What are you doing this weekend?
 6 / 25 Aug 27, 2021
A Kubernetes engineer's guide to mTLS
 6 / 0 Aug 27, 2021
Hashing Techniques: A Survey and Taxonomy (2017)
 2 / 0 Aug 27, 2021
FreeBSD Journal - July/August 2021 - Desktop/Wireless
 6 / 5 Aug 27, 2021
Pin, Unpin, and why Rust needs them
 27 / 0 Aug 27, 2021
Have you ever experienced Tetris syndrome with programming? What was your experience?
 31 / 43 Aug 27, 2021
Install NetBSD 9.2 on a DEC Alpha CPU with AXPBox
 6 / 4 Aug 27, 2021
A Vim Guide For Experts
 23 / 0 Aug 27, 2021
IPv4 vs. IPv6 FAQ
 51 / 5 Aug 27, 2021
Async sequences, streams, and Combine
 1 / 1 Aug 27, 2021
GitFinder - git client with Finder integration
 0 / 2 Aug 27, 2021
The Hidden Skill and Art of Naming Things
 4 / 6 Aug 27, 2021
Some reasons to measure
 49 / 3 Aug 27, 2021
ICFP 2021 - OCaml Workshop Live Stream
 11 / 2 Aug 27, 2021
Agile Workplace
 5 / 3 Aug 27, 2021
Quantum Photonics — Strawberry Fields
 2 / 0 Aug 27, 2021
Qt Creator 5.0 released
 5 / 0 Aug 27, 2021
NetBSD wifi project status update
 11 / 0 Aug 27, 2021
Software Crisis 2.0
 20 / 4 Aug 27, 2021
My love-hate affair with technology
 10 / 1 Aug 27, 2021
Recent and not so recent changes in OpenBSD that make life better (and may turn up elsewhere too)
 16 / 1 Aug 27, 2021
Technical explanation of the Québec vaccination passport
 18 / 9 Aug 27, 2021
Why are hyperlinks blue?
 45 / 10 Aug 26, 2021
Writing a simple JSON library from scratch: a tour through modern C++
 11 / 4 Aug 26, 2021
The 74,000 numbers of Barclays Bank
 14 / 5 Aug 26, 2021
ICFP 2021 Tutorials: Programming with Effect Handlers and FBIP in Koka
 4 / 4 Aug 26, 2021
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
 7 / 0 Aug 26, 2021
Fast and Effective Optimization of Statically Typed Object-Oriented Languages (1997)
 3 / 0 Aug 26, 2021
Nix/NixOS package version diff tool
 26 / 1 Aug 26, 2021
prettymaps: A small set of Python functions to draw pretty maps from OpenStreetMap data
 30 / 3 Aug 26, 2021
Haiku activity report - Summer 2021
 17 / 0 Aug 26, 2021
Database modeling, stakeholders and their concerns
 2 / 0 Aug 26, 2021
Linux in a Pixel Shader - A RISC-V Emulator for VRChat
 44 / 12 Aug 26, 2021
Easily Send your git commits to skype group chats using skpy
 2 / 0 Aug 26, 2021
Learning by rewriting - bash, jq and fzf details
 19 / 0 Aug 26, 2021
Postgres Extensions in Rust
 17 / 1 Aug 26, 2021
« < 510 511 512 513 514 515 516 517 518 > »