Programming

coq-of-rust: Formal verification tool for Rust (github.com)
2025-3-14 Rust

Recursion kills: The story behind CVE-2024-8176 / Expat 2.7.0 released, includes security fixes (blog.hartwork.org)
2025-3-14 InfoSec

Memory Corruption in Delphi (blog.includesecurity.com)
2025-3-14

Tell Mozilla: It's time to ditch Google (mozillapetition.com)
2025-3-14 Google Mozilla

Functional Tests As A Tree Of Continuations (2010) (www.evanmiller.org)
2025-3-14 Functional

Typestate Programming (docs.rust-embedded.org)
2025-3-14 programming

Can we communally deprecate git checkout? (mirawelner.com)
2025-3-14 Git

What Programming Concepts do you Struggle to Grok or Use in Production? (lobste.rs)
2025-3-14 programming

fsync() after open() is an elaborate no-op (despairlabs.com)
2025-3-14

High-performance computing, with much less code (news.mit.edu)
2025-3-14

IO devices and latency (planetscale.com)
2025-3-14

Xata Agent: AI agent expert in PostgreSQL (github.com)
2025-3-14 PostgreSQL AI

Choosing Languages (steveklabnik.com)
2025-3-14

A Truly Integrated Functional Logic Programming Language (curry-lang.org)
2025-3-14 Functional programming

Permalink to Q&A: The growing divide between developers and FinOps (sdtimes.com)
2025-3-14 Programmer

Permalink to Microsoft has been working on a native implementation of TypeScript (sdtimes.com)
2025-3-14 Microsoft TypeScript

It's not cheating if you write the video game solver yourself (robertheaton.com)
2025-3-14 Game

Stumbling our way into Solving the World's Oldest Board Game (royalur.net)
2025-3-14 Game

Understanding DOM Node Types in JavaScript (With Examples!) (jsdevspace.substack.com)
2025-3-14 JavaScript

How to write a quine (czterycztery.pl)
2025-3-14

Smoke test your Django admin site (jmduke.com)
2025-3-14 Django

WebAssembly from the Ground Up – learn WASM by building a compiler (lobste.rs)
2025-3-14 WebAssembly

How to Dockerize a React App: A Step-by-Step Guide for Developers (dev.to)
2025-3-13 React Programmer

Almquist shell (ash) variants (www.in-ulm.de)
2025-3-13 Shell

Xit devlog - optional patches, force push, symlinks (radarroark.github.io)
2025-3-13 Push

My teen years: Porting Small-C to transputer and developing my operating system (nanochess.org)
2025-3-13

Cursor told me I should learn coding instead of asking it to generate code (forum.cursor.com)
2025-3-13

We should improve libzfs somewhat (despairlabs.com)
2025-3-13

C plus Prolog (github.com)
2025-3-13

Something Is Rotten in the State of Cupertino (daringfireball.net)
2025-3-13

Previous Page Next Page