Programming

Marching Events: What does iCalendar have to do with ray marching? (pwy.io)
2025-4-19

15,000 lines of verified cryptography now in Python (jonathan.protzenko.fr)
2025-4-19 Python

Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
2025-4-19

Permalink to JetBrains announces a free tier for its AI tools (sdtimes.com)
2025-4-19 AI

Permalink to Symbiotic Security launches AI tool for detecting and fixing vulnerabilities in code (sdtimes.com)
2025-4-19 AI InfoSec

Sneak peek: A new ASN.1 API for Python (blog.trailofbits.com)
2025-4-19 Python API

Antithesis driven testing (sqlsync.dev)
2025-4-19

Neovim users: what AI tools are you using? (lobste.rs)
2025-4-19 AI

Easter hack: terraform-provider-openwrt (linderud.dev)
2025-4-19

Common shell script mistakes (www.pixelbeat.org)
2025-4-19 Shell

Image segmentation using Gemini 2.5 (simonwillison.net)
2025-4-18

Four Years of Jai (smarimccarthy.is)
2025-4-18

Microsecond transforms: Building a fast sandbox for user code (blog.sequinstream.com)
2025-4-18

musializer: Music Visualizer (github.com)
2025-4-18

Vibing code quality (jml.io)
2025-4-18

Awesome Consensus: A survey of recent byzantine fault tolerance algorithms (github.com)
2025-4-18 Algorithm

What are you doing this weekend? (lobste.rs)
2025-4-18

Ratatui - Are We Embedded Yet? (jslazak.com)
2025-4-18

Why I Cannot Be Technical (www.fightforthehuman.com)
2025-4-18

67 SVG icons for CRUD applications, packaged as a React component with light & dark themes and tooltip. (github.com)
2025-4-18 React SVG

Angry Chickens 2 - Easter slingshot game tutorial (slicker.me)
2025-4-18 Game Tutorial

Exacerbating Cross-Site Scripting: The Iframe Sandwich (coopergyoung.com)
2025-4-18

olive.c: Simple 2D Graphics Library for C (github.com)
2025-4-18

Lockless Programming Considerations for Xbox 360 and Microsoft Windows (2012) (learn.microsoft.com)
2025-4-18 Microsoft Xbox programming

Using ~/.ssh/authorized keys to decide what the incoming connection can do (dan.langille.org)
2025-4-18

Software Development Has Too Much Software In It (smustafa.blog)
2025-4-18

Honest and Elitist Thoughts on Why Computers Were More Fun Before (www.datagubbe.se)
2025-4-18

The Size of Packets (www.potaroo.net)
2025-4-18

Stop Writing `__init__` Methods (blog.glyph.im)
2025-4-18

Reflections on Unikernels (dave.recoil.org)
2025-4-18

Previous Page Next Page