Programming

NetBSD 10.x kernel MATH_EMULATION (mezzantrop.wordpress.com)
2025-5-11 Mathematics

louise: Polynomial-time Meta-Interpretive Learning for logic programming (github.com)
2025-5-11 programming

Naked objects (en.wikipedia.org)
2025-5-11

STEPS 2012 Progress and Final NSF Report (tinlizzie.org)
2025-5-11

Exploiting Copilot AI for SharePoint (www.pentestpartners.com)
2025-5-11 AI

DCJ11 Single Board Computer (PDP-11) (www.5volts.ch)
2025-5-11

I Want to Love Linux. It Doesn't Love Me Back (fireborn.mataroa.blog)
2025-5-11 Linux

Announcing Lix 2.93 “Bici Bici” (lix.systems)
2025-5-11

Reverse engineering the 386 processor's prefetch queue circuitry (www.righto.com)
2025-5-11

Are We Serious About Using TLA+ For Statistical Properties? (emptysqua.re)
2025-5-11

Secure by Design: Google's Perspective on Memory Safety (2024) (storage.googleapis.com)
2025-5-11 Google

Changelog Slack is dead. Long live Zulip (changelog.com)
2025-5-11 Slack

Lume 3 was released (lume.land)
2025-5-11

TrueNAS CORE is Dead – Long Live zVault (vermaden.wordpress.com)
2025-5-10

HACKSAT25: The first multi-tenant satellite unikernel security challenge (hacksat.dev)
2025-5-10 InfoSec

Introduction to Universal Scene Description (2021) (openusd.org)
2025-5-10

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
2025-5-10

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)
2025-5-10 AI GitHub

A Performance Investigation Challenge — (www.mgaudet.ca)
2025-5-10

bold linker v0.2.0 release - bold just got faster (github.com)
2025-5-10

Slow Software for a Burning World (bonfirenetworks.org)
2025-5-10

Tuscolo Static Certificate Transparency Log (bsky.app)
2025-5-10

In praise of grobi for auto-configuring X11 monitors (michael.stapelberg.ch)
2025-5-10

Analyzing CVE-2025-31191: A macOS security-scoped bookmarks-based sandbox escape (www.microsoft.com)
2025-5-10 InfoSec

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)
2025-5-10

A Formal Analysis of Apple's iMessage PQ3 Protocol (www.usenix.org)
2025-5-10 Apple

Algebraic Effects: Another mistake carried through to perfection? (kjosib.github.io)
2025-5-10

Spatial Data-Management (1979) (www.media.mit.edu)
2025-5-10

16-bit Intel 8088 Chip by Charles Bukowski (kottke.org)
2025-5-10 Intel

Joys and sorrows of designing a language (www.youtube.com)
2025-5-10

Previous Page Next Page