How to improve the RISC-V specification (alastairreid.github.io)
2024-04-26 microsoft at work (computer.rip)
Three ways of handling user input (2022) (dubroy.com)
Tasks are the wrong abstraction (blog.yoshuawuyts.com)
gf: A GDB frontend for Linux (github.com)
jf: flatten nested json for easy searchability (github.com)
jank gets lazy sequences, destructuring, and loop (jank-lang.org)
jub0bs/cors: a new CORS middleware library (jub0bs.com)
What Nix Will Have Been (boinkor.net)
nixpkgs.news (nixpkgs.news)
Fearless CORS: a design philosophy for CORS middleware libraries (and a Go implementation) (jub0bs.com)
A USB Adapter for a Depraz Mouse (jfloren.net)
Keeping track of directories using pushd and pop (www.lewis8s.codes)
Exploiting the NT Kernel in 24H2: New Bugs in Old Code & Side Channels Against KASLR (exploits.forsale)
Reflectively constructing enums at runtime (highlysuspect.agency)
Clang's -O0 output: branch displacement and size increase (maskray.me)
How Not To Release Historic Source Code (www.os2museum.com)
Reflections on Qualitative Research (transformer-circuits.pub)
Giving Rust a chance for in-kernel codecs (lwn.net)
PEP 686 – Make UTF-8 mode default (peps.python.org)
Porting the EndBASIC console to an LCD (blogsystem5.substack.com)
Reliable HTTP: Outsmarting the Two Generals with Webhooks (antman-does-software.com)
bun.report is Bun's new crash reporter (bun.sh)
The End Of The Free Tier (www.smashingmagazine.com)
On community in Nix (determinate.systems)
Lessons learned after 3 years of fulltime Rust game development, and why we're leaving Rust behind (loglog.games)
Maintaining the world’s fastest CDN at Netflix on FreeBSD (freebsdfoundation.org)
adding activitypub to humungus (flak.tedunangst.com)
I am So Disappointed with Ubuntu 24.04 (news.itsfoss.com)
Learn one thing at a time (blog.lawrencejones.dev)
Sonic: A low-latency asynchronous networking library for trading in Go (www.talos.com)
Patching requests for fun and (concurrent) profit (blog.borrego.dev)
Building a highly-available search engine using SQLite (www.philipotoole.com)
Pharo - Pharo 12 Released (pharo.org)
Heed v0.20: The safest and most maintained Rust wrapper for the LMDB key-value store (github.com)
VueJS + Gleam (experimental) (github.com)
Database Migration Systems: An Overview (2021) (bruceoutdoors.wordpress.com)
Passkeys: A Shattered Dream (fy.blackhats.net.au)
simone: Repurpose your YouTube videos by converting them into blog posts (github.com)
X-CMD | Lightweight POSIX script for managing tools (500+) and providing classic command extensions in an open-source environment (www.x-cmd.com)
JSR Is Not Another Package Manager (deno.com)
Announcing TypeScript 5.5 Beta (devblogs.microsoft.com)
Why is my CPU usage always 100%? (Upgrading my Chumby 8 kernel part 9) (www.downtowndougbrown.com)
Guiding users away from cd and ls (terminal.click)
Hilbish the Moon-powered interactive shell for Lua fans (rosettea.github.io)
Open Sourcing DOS 4 (www.hanselman.com)
Coverage Guided Fuzzing - Extending Instrumentation to Hunt Down Bugs Faster (blog.includesecurity.com)
Ubuntu 24.04 (Noble Numbat) (releases.ubuntu.com)
Dependent types in Haskell, Part 3 (serokell.io)
gacube emeleter (Dolphin on the Nintendo 3DS) (nocoffei.com)
AI / LLM bot blocker web server configs (github.com)
Inside the Leaked System Prompts of GPT-4, Gemini 1.5, Claude 3, and More (levelup.gitconnected.com)
Deriving a Bit-Twiddling Hack: Signed Integer Overflow (grack.com)
Go or Rust? Just Listen to the Bots (cybernetist.com)
Overcoming Hallucinations with the Trustworthy Language Model (cleanlab.ai)
kandria: A post-apocalyptic actionRPG written in lisp (github.com)
Package management on macOS with nix-darwin (davi.sh)
Getting your Haskell executable statically linked without Nix (hasufell.github.io)
Effectful – An easy to use, performant extensible effects library (flora.pm)
Create a Debian VM on MacOS Apple Silicon with QEMU (sleepymug.me)
Using Vectors without a Vector Database (swirlaiconnect.com)
Equivalence of morphisms under substitution (math.stackexchange.com)
The Invisible Internet Project (I2P) (geti2p.net)
Tokens for LLMs: Byte Pair Encoding in Go (eli.thegreenplace.net)
What’s new in security for Ubuntu 24.04 LTS? (ubuntu.com)
Bluefin (hackage.haskell.org)
Mind the Patch Gap: Exploiting an io_uring Vulnerability in Ubuntu (blog.exodusintel.com)
Ruby might be faster than you think - John Hawthorn (www.johnhawthorn.com)
21 Helpful and trending Ruby gems (dev.to)
Pilgrimages for electronics tinkerers in Tokyo/Kyoto/Osaka? (lobste.rs)
HashiCorp joins IBM to accelerate multi-cloud automation (www.hashicorp.com)
Notifications in 46 and beyond – GNOME Shell & Mutter (blogs.gnome.org)
Magic Numbers (exple.tive.org)
Next.js App Router Routing patterns you should know (medium.com)
Fine-tuning OpenAI models (gajus.com)
Ukrainian Coder's New Programming Language: One Big Data Structure (thenewstack.io)
Dumping and extracting the SpaceX Starlink User Terminal firmware (www.esat.kuleuven.be)
How I tricked iOS into giving me EU DMA features (adamdemasi.com)
Is your programming language made of multidimensional plasma? (cygni.ghost.io)
Consistent overhead byte stuffing for binary logs (pvk.ca)
Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches (verdagon.dev)
Emacs Tidbit: rectangle-number-lines (www.emoses.org)
A visual introduction to Fourier Series (www.andreinc.net)
Reminding Myself to Take a Break, The Hard Way (blog.damnever.com)
OpenELM: An Efficient Language Model Family with Open-source Training and Inference Framework (arxiv.org)
No, LLM Agents can not Autonomously Exploit One-day Vulnerabilities (struct.github.io)
What are some of your must-have Neovim customizations? (lobste.rs)
HTML attributes vs DOM properties (jakearchibald.com)
Learn OTP With Gleam (github.com)
The Apple M-Series GoFetch Attack (youtube.com)
The Rise of GQL: A New ISO Standard in Graph Query Language (www.tigergraph.com)
Project Fluent (projectfluent.org)
Sysadmin friendly high speed ethernet switching (blog.benjojo.co.uk)
ManMan (2020) (wooz.dev)
Composability: Designing a Visual Programming Language (johnaustin.io)
Any Lobsters in Hanoi? (lobste.rs)
Beckhoff Achieves Smaller (1.5GB vs. 2.0GB) RAM Footprint by Switching from Windows to FreeBSD (freebsdfoundation.org)
We attend the Vintage Computer Festival (VCF East 2024) (youtu.be)
Color and TTYs (eklitzke.org)
Who are your favorite tech youtubers (lobste.rs)
Porting a cross-platform GUI application to Rust (hacks.mozilla.org)
lean theorem prover used to show that New Foundations set theory is equiconsistent with ZFC (leanprover-community.github.io)
LLM Agents can Autonomously Exploit One-day Vulnerabilities (arxiv.org)
Tracking down a UEFI quirk on the Fujitsu LIFEBOOK AH532 (blog.timschumi.net)
ESPHome (esphome.io)
Sized, DynSized, and Unsized (smallcultfollowing.com)
Are batch scripts a security vulnerability? (chrisdenton.dev)
Spritely Goblins v0.13.0: Object persistence and easier IO (spritely.institute)
Ruby 3.3.1 Released (www.ruby-lang.org)
Bing Copilot (ChatGPT-4) Flunks Math (www.cs.dartmouth.edu)
Good essays on application vs library programming? (lobste.rs)
It’s the End of the Web as We Know It (www.theatlantic.com)
rust-sel4: Rust support for seL4 userspace (github.com)
CakeML (cakeml.org)
Taking regular screenshots of my website (alexwlchan.net)
anthropic-rb: Ruby bindings for the Anthropic API (github.com)
vcswatch and git --filter (www.df7cb.de)
Double Edged Sword of Docker: Balancing Benefits and Risks (it-notes.dragas.net)
WireGuard FreeBSD VNET Jail (eldapper.wordpress.com)
Extensible Language Support in Zed (zed.dev)
ProVerB — SLEBoK (slebok.github.io)
Help us invent CSS Grid Level 3, aka “Masonry” layout (webkit.org)
But what is a GPT? Visual intro to transformers (www.youtube.com)
coroot: open-source DataDog/NewRelic alternative (github.com)
C isn’t a Hangover; Rust isn’t a Hangover Cure (medium.com)
Test Sizes (testing.googleblog.com)
The Two Reasons I Prefer Passing Struct Pointers Around (preslav.me)
A Daily Practice of Empirical Software Design - Kent Beck - (2023) (www.youtube.com)
Announcing py2wasm: A Python to Wasm compiler (wasmer.io)
Top 10 Trending Python Libraries in April 2024 (dev.to)
sdt: Prototype implementation of SDT probes using hot-patching (reviews.freebsd.org)
The Optimizations in Erlang/OTP 27 (www.erlang.org)
The value of unit tests (nedbatchelder.com)
udev-hid-bpf: quickstart tooling to fix your HID devices with eBPF (who-t.blogspot.com)
Understanding and avoiding visually ambiguous characters in IDs (gajus.com)
LLM in a flash: Efficient Large Language Model Inference with Limited Memory (arxiv.org)
Understanding a Trait Selection Bug in Rust Compiler (veera.app)
Equinox (equinox.space)
Good Ideas in Computer Science (danielchasehooper.com)
Introducing for-each loops for Hare (harelang.org)
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language (hirrolot.github.io)
The Bubble Sort Curve (youtu.be)
What is the Metropolis algorithm? (jameshfisher.com)
Voyager 1 Resumes Sending Engineering Updates to Earth (blogs.nasa.gov)
Builders Are Happier But What Happens When AI Takes Over (cybernetist.com)
The Performance Impact of C++'s `final` Keyword (16bpp.net)
First Come First Served: The Impact of File Position on Code Review (2022) (arxiv.org)
Practical parsing with PEG and cpp-peglib (berthub.eu)
Options for accessing Llama 3 from the terminal using LLM (simonwillison.net)
Automated stitching of chip images (www.bunniestudios.com)
Secure Boot & TPM-backed Full Disk Encryption on NixOS (jnsgr.uk)
Making a flute controlled mouse (0110.be)
LogTape: Simple logging library with zero dependencies for Deno/Node.js/Bun/browsers (github.com)
The only two log levels you need are INFO and ERROR (ntietz.com)
Are aarch64 atomics really this sensitive? (eighty-twenty.org)
Address Sanitizer for bare-metal firmware (security.googleblog.com)
Interview with Matt Godbolt on early microprocessors, the games industry, and performance optimization (microarch.club)
A Deeper Look Inside PostgreSQL Visibility Check Mechanism (www.highgo.ca)
The Windows Registry Adventure - Part 1 (googleprojectzero.blogspot.com)
On Llamafile not making sense (gist.github.com)
badkeys tool can detect xz backdoor RSA keys (github.com)
The Future of Ruby and Rails in the Age of AI (obie.medium.com)
Cross compiling C/Rust to win32, again (neugierig.org)
Shared libs, rpath and the runtime linker (carlosrdrz.dev)
What’s New in Go 1.22: cmp.Or (blog.carlana.net)
Inside the Super Nintendo cartridges (fabiensanglard.net)
C&C - Solving Recursive Equations (jozefg.bitbucket.io)
Open letter to the NixOS foundation (save-nix-together.org)
Why you shouldn't run a BSD on a PC (michal.sapka.me)
Forge: A Tool to Teach Formal Methods (blog.brownplt.org)
Dataflow Analyses and Compiler Optimizations that Use Them, for Free – Embedded in Academia (blog.regehr.org)
lunatik: Lunatik is a framework for scripting the Linux kernel with Lua (github.com)
glibc CVE-2024-2961: Buffer overflow in iconv (www.openwall.com)
Stanford AI Syllabus (1980) (www.saildart.org)
Tips on Adding JSON Output to Your CLI App (blog.kellybrazil.com)
The Design of Everyday APIs (www.roguelynn.com)
thetawave: A physics based, space shooter game made with Rust and the Bevy engine (github.com)
Rust Stream API visualized and exposed (github.com)
An entire Social Network in 1.6GB (GraphD Part 2) (jazco.dev)
Coroutines and effects (without.boats)
Programming vs mathematical curiosity (demian.ferrei.ro)
Parsing and all that (blog.jeffsmits.net)
Zig 0.12.0 Release Notes (ziglang.org)
Do not buy Hisense TVs (or at least keep them offline) (cohost.org)
Open Source's Funding Fiasco (dominickm.com)
An Interesting Problem Solved In Python And Elizir (medium.com)
git bisect-find (gitlab.com)
TrueNAS CORE versus TrueNAS SCALE (vermaden.wordpress.com)
Fast and flexible observability with canonical log lines (2019) (stripe.com)
The Problem with Threads (2006) (digitalassets.lib.berkeley.edu)
Design patterns for extracting from REST APIs (blog.sequin.io)
Porting 8-bit Sonic 2 to the TI-84+ CE (medium.com)
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production (arxiv.org)
Zilog Calls Time on the Venerable Z80 (www.hackster.io)
Why We Run FreeBSD CURRENT at Netflix (www.youtube.com)
FreeBSD: Using DTrace to Track Down Started Processes and Used Files (www.youtube.com)
What is FreeBSD Missing? (www.youtube.com)
TLA+ Web Explorer (will62794.github.io)
EURISKO lives (blog.funcall.org)
Logpipe: automatic syntax highlighting for development logs (github.com)
AI isn't useless. But is it worth it? (www.citationneeded.news)
LLVM is Smarter Than Me (blog.sulami.xyz)
Rust tokio task cancellation patterns (cybernetist.com)
Rook’s Law: There’s Always a Limit (nigeltao.github.io)
3 important things I overlooked during code reviews (www.piglei.com)
On Signal Relays (www.pzuraq.com)
Raw flux streams and obscure formats: Further work around imaging 5.25-inch floppy disks (digitalpreservation-blog.lib.cam.ac.uk)
Randar Explanation and Information (github.com)
Ubuntu 24.04 yields a 20% advantage over Windows 11 on Ryzen7 Framework laptop (www.phoronix.com)
Hydradancer: Faster USB Emulation for Facedancer (blog.quarkslab.com)
XZ/LZMA Worked Example (nigeltao.github.io)
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance (dl.acm.org)
cronometro: Simple benchmarking suite powered by HDR histograms (github.com)
Ruff v0.4.0: a hand-written recursive descent parser for Python (astral.sh)
Meta Llama 3 (llama.meta.com)
We Need to Talk About the State of Calendar Software on Desktop (nadim.computer)
CVE-2024-20356: Jailbreaking a Cisco appliance to run DOOM (labs.nettitude.com)
Gazelle v0.2 (demo.tincans.ai)
PCIe 6.0 overview (pcisig.com)
Why you need a "WTF Notebook" (www.simplermachines.com)
Zest: syntax (www.scattered-thoughts.net)
SQLite on Rails: The how and why of optimal performance (fractaledmind.github.io)
The History of Novell (www.abortretry.fail)
NumFOCUS concerns (pirsquared.org)
seL4 on AArch64 is now verified for functional correctness (proofcraft.systems)
Natural Language Processing in Bash (massimo-nazaria.github.io)
Memory management in mpmetrics (blog.trends.tf)
Lions OS: secure – fast – adaptable (trustworthy.systems)
FreeBSD for Devs #01 (dev.to)
Wayland, where are we in 2024? Any good for being the default? (www.dedoimedo.com)
That IACR preprint (scottaaronson.blog)
Make your own backdoor: CFLAGS code injection, Makefile injection, pkg-config (www.openwall.com)
Formal Methods: Just Good Engineering Practice? (brooker.co.za)
The Rust Calling Convention We Deserve (mcyoung.xyz)
A deep dive into Single Pair Ethernet (electricui.com)
Systems Distributed '24 (systemsdistributed.com)
libnix mingw status (lastlog.de)
Full-text search of the OpenBSD manual pages (man.ifconfig.se)
Deployer 7.4.0 release (github.com)
The Endless Maze algorithm (Atari 2600) (www.gamesthatwerent.com)
Effort Engine (kolinko.github.io)
Deep Dive into Rspack & Webpack Tree Shaking (github.com)
rHttp: REPL for HTTP (github.com)
Advanced Memory Management in Vale (youtu.be)
Types of estimates (dan.turnerhallow.co.uk)
Prism in 2024 - A history of Ruby parsers (railsatscale.com)
Palo Alto Networks zero-day exploited since March to backdoor firewalls (www.bleepingcomputer.com)
PyPI: Expanding Trusted Publisher Support (blog.pypi.org)
Solving the minimum cut problem for undirected graphs (research.google)
AM phasor has no setting for 'stun' (www.jeffgeerling.com)
5 ideas for user research when you can't talk to users (www.pixelfridge.digital)
Rust GUI framework performance comparison (lukaskalbertodt.github.io)
Java 23: The New Features are Officially Announced (coderoasis.com)
Unpacking the Blackjack Group's Fuxnet Malware (claroty.com)
Redis is forked (newsletter.vickiboykis.com)
AI Index Report 2024 – Artificial Intelligence Index (aiindex.stanford.edu)
Participating in the Spring Lisp Game jam, why and how (drewsh.com)
Collection of notebooks showcasing some fun and effective ways of using Claude (github.com)
Use Cases for Merging and Splitting Partitions With Minimal Locking in PostgreSQL 17 (andyatkinson.com)
A quick post on Chen's algorithm (blog.cryptographyengineering.com)
We Need To Rewild The Internet (www.noemamag.com)
Getting TAI time on a Debian machine (www.bortzmeyer.org)
HTML popover Attribute (davidwalsh.name)
The BLISS programming language: a history (2002) (www.cs.tufts.edu)
Ten years of improvements in PostgreSQL's optimizer (rmarcus.info)
Hardest Problem in Computer Science: Centering Things (tonsky.me)
m2dir: treating mails as files without going crazy (bitfehler.srht.site)
River 0.3.0, Waylock 1.0.0, Status Update (isaacfreund.com)
Humane AI – Pico Laser Projection – $230M AI Twist on an Old Scam (kguttag.com)
Megalodon: Efficient LLM Pretraining and Inference with Unlimited Context Length (arxiv.org)
gcloud-lite lightweight Google Cloud Platform CLI distro (github.com)
Cute trick for fetch-and-add-based queues (outerproduct.net)
The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences (2022) (www.benthamsgaze.org)
Why OpenSSL punycode vulnerability CVE-2022-3602 was not detected by fuzz testing (allsoftwaresucks.blogspot.com)
Expr release v1.16.5 (github.com)
Colima k8s nix setup (dev.to)
ATAC: A simple API client (postman like) in your terminal (github.com)
Gleam version v1.1 (gleam.run)
Calling OCaml from C (transactional.blog)
Effect 3.0 – Effect Blog (effect.website)
Failures, Mistakes, Confusion (blog.ignaskiela.eu)
Some useful types for database-using Rust web apps (boinkor.net)
Topfew Release 0.5 (www.tbray.org)
Telegram Arbitrary Code Execution via InstantView | TeleSec (www.telesec.top)
Freespin (2021) (www.youtube.com)
iOS404 (ios404.com)
Exploring improvements to the Firefox sidebar (blog.nightly.mozilla.org)
Descent3 Source Code (github.com)
VR Browser Wolvic Switches from Gecko to Chromium (wolvic.com)
Story of Etak Navigator (maphappenings.com)
Mastering Observability: How We Solved a Major Bug in Just 15 Minutes (jaywhy13.hashnode.dev)
Trying Out Cloudflare's `foundations` Library for Rust (cprimozic.net)
Measuring your system’s performance using software (Go edition) (lemire.me)
No I don't want 2, Emacs (www.emoses.org)
Knuth–Morris–Pratt illustrated (www.cambridge.org)
Apple’s Mysterious Fisheye Projection (blog.mikeswanson.com)
A Feat of Engineering (registerspill.thorstenball.com)
PuTTY vulnerability vuln-p521-bias (www.chiark.greenend.org.uk)
XZ Utils review notes (tukaani.org)
Elastic Universal Profiling agent, a continuous profiling solution, is now open source (www.elastic.co)