λProlog: Logic programming in higher-order logic
(lix.polytechnique.fr)
February 2026 Archive
781.
782.
Reports of Telnet's death have been greatly exaggerated
(terracenetworks.com)
783.
Raspberry Pi Pico 2 at 873.5MHz with 3.05V Core Abuse
(learn.pimoroni.com)
784.
Show HN: A custom font that displays Cistercian numerals using ligatures
(bobbiec.github.io)
786.
Emulated Windows 3.11 in the Browser
(pieter.com)
787.
788.
789.
790.
Backblaze Drive Stats for 2025
(backblaze.com)
791.
I guess I kinda get why people hate AI
(anthony.noided.media)
792.
The Misuses of the University
(publicbooks.org)
793.
F-Droid Board of Directors nominations 2026
(f-droid.org)
794.
795.
Running NanoClaw in a Docker Shell Sandbox
(docker.com)
796.
Index, Count, Offset, Size
(tigerbeetle.com)
798.
799.
A brief history of barbed wire fence telephone networks (2024)
(loriemerson.net)
800.
801.
Parking lots as economic drains
(progressandpoverty.substack.com)
802.
The three year myth
(green.spacedino.net)
803.
Overall, the colorectal cancer story is encouraging
(hankgreen.com)
804.
FDA declines to review Moderna's mRNA flu shot
(nbcnews.com)
805.
EU launches government satcom program in sovereignty push
(spacenews.com)
806.
807.
China Moon Mission: Aiming for 2030 lunar landing
(spectrum.ieee.org)
808.
How did the Maya survive?
(theguardian.com)
809.
Stop generating, start thinking
(localghost.dev)
810.
Unseen Footage of Atari Battlezone Arcade Cabinet Production
(arcadeblogger.com)