Lobsters

The wild west of polyglot docs sites

A polyglot docs site attempts to combine the outputs from multiple docs generators into a cohesive whole. There isn’t really a great way to do this, yet.

Arena Allocators in C

In this article, I show you a simple yet effective arena allocator implementation in the C programming language. It significantly eases the task of managing memory in such a low level language.

What we ended up doing about alias propagation

A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

I'm still around.. I'm just not writing here

What's Wrong with GitHub

Software developers, the GNU Project urges you to avoid hosting your repositories on GitHub. This is to avoid being on the receiving end of harmful practices, and avoid leading others to be victims too.

How big is a Git commit? - ratfactor

Short answer: It depends. Git stores "objects" as zlib compressed data. So the exact size of a commit will depend on the compressibility of your files (which is basically a function of the amount of repetition in them).

JSON Tiles: Fast Analytics on Semi-Structured Data (2021)

Developers often prefer flexibility over upfront schema design, making semi-structured data formats such as JSON increasingly popular. Large amounts of JSON data are therefore stored and analyzed by relational database systems.

LineageOS 24.0 released

We’re a bit sentimental about this release, as it precedes a really fun upcoming milestone.

Making np.searchsorted up to 25× Faster in NumPy 2.5

We explore how to speed up binary search by batching independent searches with NumPy's vectorized operations. We then reformulate the algorithm so all searches progress together with only $O(1)$ additional memory, port it to C++, and achieve up to a 25× speedup over NumPy 2.4's implementation.

Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation

The paper challenges the assumption that language models need explicit tokenizers to be efficient demonstrating that standard flat Transformers can process raw byte sequences and actually outperform traditional subword models as parameter sizes scale.

Inside a 1980s filter chip that uses switched capacitors

Sometimes it's easier to identify an IC with a microscope. While sorting a box of old ICs, CuriousMarc came across some Harris ICs labeled "...

Kiesel Devlog #15: Release 0.4.0

This week I completed the update to Zig 0.17 and released Kiesel 0.4.0! It contains 64 commits across 2.5 months, see the changelog for the full list of user-facing changes.

Cloudflare shutting down Deno is news, not just PR

Requesting the currently-removed post for https://deno.com/blog/cloudflare be restored. Thread: https://lobste.rs/s/8hauxs/deno_is_joining_cloudflare My reasoning: It isn't just PR, but significant tech news that Cloudflare is buying up open source teams while dismantling the projects they…

Unison Cloud is now open source

Unison Cloud is open source, MIT licensed. We think this tech will be more useful to the world as an open source technology and hope that people build great things with it.

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Arbitrary Rankings Ease of proof discovery (higher better) Ease of proof manipulation (higher better) Enjoyment (higher better) Annoyance factor (lower better) Puzzled factor (lower better)

Why Are Coding Agents So Dumb?

Updates about my life and what I learn about creating software

What are you doing this weekend?

Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!

Programming Isn’t Special

Artists understand that AI is bad for art. Why don’t programmers understand that we are artists?