Valkey: The secret life of data in Valkey

If you’ve used Valkey for very long you’re probably well aware of the different data types, however what lies under the surface of these types could be the missing piece of your cost optimization strategy.

ValkeySoftwareabout 6 hours agoStart discussion
Teaching Kids Forth

Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from

Anna LibertySoftwareabout 8 hours agoStart discussion
Forth Moving Lisp Moving Forth

This chapter is a culmination of many macro techniques we have looked at so far in this book. Using macro abstractions we have developed, we create an implementation of one of my favourite programming languages:forth. Although this implementation embodies most of the important ideas of forth, it is

LetoverlambdaSoftwareabout 10 hours agoStart discussion
OpenLoco version 26.07 Release

OpenLoco v26.07 is out! This month’s release incorporates changes made both this month and last as we didn’t have enough to put into a dedicated 26.06 release. As such, we’ve got some quality-of-life additions to UI, bug fixes for window and chart rendering, plenty of under-the-hood engine work,

OpenLocoSoftwareabout 10 hours agoStart discussion
Fast DEFLATE compression in Lean

Notes on Lean, tactics, and making the theorem prover do more work.

GitHubSoftwareabout 11 hours agoStart discussion
Xavier Leroy on programming, languages and formal verification

Profitez des vidéos et de la musique que vous aimez, mettez en ligne des contenus originaux, et partagez-les avec vos amis, vos proches et le monde entier.

YouTubeSoftwareabout 12 hours agoStart discussion
Dmitri Gaskin on jQuery

Profitez des vidéos et de la musique que vous aimez, mettez en ligne des contenus originaux, et partagez-les avec vos amis, vos proches et le monde entier.

YouTubeSoftwareabout 13 hours agoStart discussion
Beginner J: Dealing Cards

Profitez des vidéos et de la musique que vous aimez, mettez en ligne des contenus originaux, et partagez-les avec vos amis, vos proches et le monde entier.

YouTubeSoftwareabout 22 hours agoStart discussion
Scanwheel: a drum style mechanical television you can build yourself

Contribute to AncientJames/Scanwheel development by creating an account on GitHub.

Himalaya v2.0.0: CLI to manage emails

After a year of hard work and dedication, we are happy to announce the v2 release of Himalaya CLI: https://github.com/pimalaya/himalaya/releases/tag/v2.0.0 For those who come from the v1, here the migration guide: https://github.com/pimalaya/himalaya/blob/master/MIGRATION.md Special thanks to @n

Maybe we should revisit microkernels

IOMMU and other hardware features that are standard today solve the problems that made microkernels not viable in the 90s

Banner Highway 01

Banner Highway 01: Get on the fast lane, 汽车是旅行的工具. A browser-based visual poetry series reimagining classic Burma-Shave roadside advertisement-poems for the Information Superhighway.

Memory Safety Absolutists

When seeing the title of this post, I bet in some people's minds, the first thought was "Rust devs!". This connection is not unfounded. Rust devs tend to be passionate about memory safety. Some of it, I'm sure, may have been caused by a classic language wars attitude: my language is better than your

How I Find Problems to Solve as a Staff Engineer

How listening broadly turns everyday problems into useful project ideas.

Your harddrive is probably full

I currently have 17 GB free space on my root drive, out of 0.47 TB usable space, that’s 3% free space. I also have an additional harddrive installed, 12 TB, it has 140 GB free, which may seem a lot but it’s actually only about 1%. Your harddrive is probably pretty full too. Maybe not as crammed, but

General Resolution: LLM usage in Debian

Debian Voting Information/2026/ General Resolution: LLM usage in Debian

Verse: A New Scripting Language

Profitez des vidéos et de la musique que vous aimez, mettez en ligne des contenus originaux, et partagez-les avec vos amis, vos proches et le monde entier.

Languages as designed latent spaces

Some thoughts about what problem-solving even is

Zig by Example

Zigis a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software. Please read theofficial documentationto learn more.