Lobste.rs

title stats ⓘ date
OpenBSD formal driver verification with SeL4
 7 / 0 2023-11-13T20:10:47Z
The Cloud Is Just My Basement's Computers
 17 / 22 2023-11-13T18:40:14Z
Level Up Stable Diffusion with IP-Adapter
 1 / 0 2023-11-13T17:59:11Z
Improving the dead code elimination algorithm in js_of_ocaml
 9 / 1 2023-11-13T17:57:10Z
You should track your finances in TOML
 21 / 37 2023-11-13T15:45:33Z
KangarooTwelve: fast hashing based on Keccak-p (2018)
 6 / 2 2023-11-13T15:13:48Z
BLAKE3 Is an Extremely Fast, Parallel Cryptographic Hash (2020)
 8 / 3 2023-11-13T15:01:33Z
Solving a Sudoku with SBY and Formal Verification
 5 / 0 2023-11-13T14:53:42Z
Introducing Yet Another Rust Resource
 11 / 1 2023-11-13T14:41:26Z
Cathode-Retro: A collection of shaders to emulate the display of an NTSC signal through a CRT TV
 19 / 1 2023-11-13T13:11:34Z
What are you doing this week?
 8 / 32 2023-11-13T12:59:51Z
Reasons to prefer blake3 over sha256
 26 / 26 2023-11-13T12:52:51Z
otelbin: Web-based tool to facilitate OpenTelemetry collector configuration editing and verification
 4 / 0 2023-11-13T09:00:25Z
What I learned from LuaJIT by Vyacheslav Egorov
 9 / 5 2023-11-13T08:20:19Z
Debian on Mellanox SN2700 (32x100G)
 30 / 12 2023-11-13T07:52:30Z
Don’t waste money on a math coprocessor they said
 12 / 0 2023-11-13T07:50:45Z
URL explained - The Fundamentals
 18 / 5 2023-11-13T04:14:42Z
How a kernel developer made my styluses work again on newer kernels
 23 / 1 2023-11-13T02:00:04Z
Learn PostScript by Doing (2005)
 3 / 0 2023-11-13T01:55:11Z
Linux like original Unix
 4 / 0 2023-11-13T01:49:11Z
Proposal: an HTML element for spoilers
 50 / 35 2023-11-12T21:53:23Z
GeoDesk for Python: Analyze & Visualize OpenStreetMap Data
 4 / 0 2023-11-12T20:45:09Z
superbol-studio-oss: Cobol LSP, VSCode extension & Emacs mode
 3 / 5 2023-11-12T20:38:20Z
Stop deploying web application firewalls
 100 / 40 2023-11-12T20:19:11Z
The History of OS/2
 6 / 0 2023-11-12T19:53:25Z
Using Mastodon as a RSS Feed Reader
 13 / 3 2023-11-12T19:05:23Z
BinkyBox: Improved keyboard shortcuts for virtual desktops on Windows
 9 / 1 2023-11-12T18:29:11Z
HTML First
 32 / 16 2023-11-12T17:48:33Z
Effective Rust
 30 / 1 2023-11-12T17:01:43Z
Speaker support in Asahi Linux
 36 / 3 2023-11-12T16:39:22Z
Ubuntu Core Linux Developer Preview is ready for testing
 3 / 1 2023-11-12T16:36:33Z
Bcachefs Lands Big Scalability Improvement, Disables Debug Option By Default
 11 / 5 2023-11-12T15:42:09Z
PEP 733 – An Evaluation of Python’s Public C API
 6 / 0 2023-11-12T15:19:38Z
A little taste of HTMX (part 5/5)
 6 / 0 2023-11-12T14:57:42Z
Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)
 9 / 7 2023-11-12T13:05:29Z
Archive Your Old Projects
 37 / 9 2023-11-12T11:40:19Z
Announcing NetBSD 10.0 RC1
 18 / 0 2023-11-12T11:33:00Z
Using the Ninja build system to generate this site
 22 / 5 2023-11-12T10:53:41Z
GitHub Actions are a Problem
 60 / 57 2023-11-12T09:12:08Z
Data Oriented Blogging
 5 / 1 2023-11-12T08:42:41Z
The Apple Network Server's all-too-secret weapon (featuring PPC Toolbox)
 22 / 7 2023-11-12T07:06:56Z
An overview of Nix in practice
 31 / 8 2023-11-12T05:52:31Z
Go modules and the domain expiry problem
 6 / 19 2023-11-12T05:14:38Z
Level Up Your Python
 2 / 3 2023-11-12T02:31:06Z
RISC-V Board of Directors decision regarding RVA profiles and the Compressed extension
 9 / 0 2023-11-12T01:05:52Z
The new sokol-gfx WebGPU backend
 7 / 0 2023-11-11T22:46:46Z
Cyber hunt - A technical adventure for Unix enthusiasts
 11 / 0 2023-11-11T21:35:31Z
SPITBOL 360: an implementation of SNOBOL4 for IBM 360 compatible computers
 5 / 1 2023-11-11T20:41:27Z
LuaJIT Internals: Intro
 16 / 3 2023-11-11T19:22:09Z
Using a Markov chain to generate readable nonsense with 20 lines of Python
 22 / 5 2023-11-11T18:17:46Z
« < 122 123 124 125 126 127 128 129 130 > »