Programming

Sudoku solving in python packaging (github.com)
2024-10-23 Python

Progress at the first few months working full time on Bevyengine (bevyengine.org)
2024-10-23

Adding row polymorphism to Damas-Hindley-Milner (bernsteinbear.com)
2024-10-23

Kronos: Soviet Processor Family for High-Level Languages (2006) (inria.hal.science)
2024-10-23

A Relational Model of Data for Large Shared Data Banks (1970) (www.seas.upenn.edu)
2024-10-23

A deep look into our new massive multitenant architecture (turso.tech)
2024-10-23 Architecture

BazelCon 2024 recap (blogsystem5.substack.com)
2024-10-23

A report from the 2024 Image-Based Linux Summit (lwn.net)
2024-10-23 Linux

Permalink to Apple adds new requirements for apps distributed through the App Store in the EU (sdtimes.com)
2024-10-23 Apple

Svelte 5 is alive (svelte.dev)
2024-10-23

Rustls Outperforms OpenSSL and BoringSSL (www.memorysafety.org)
2024-10-23

TLA from first principles (buttondown.com)
2024-10-23

Multiset Rewriting Recipe Book (codeberg.org)
2024-10-23

Representing Knowledge and Querying Data using Double-Functorial Semantics (arxiv.org)
2024-10-23

‘Reflections on Trusting Trust', but completely by accident this time (secret.club)
2024-10-23

UK CMA Issues statement for investigation into Apple on Mobile browsers and cloud gaming market (assets.publishing.service.gov.uk)
2024-10-23 Cloud Mobile Apple

Debug Go core dumps with delve: export byte slices (michael.stapelberg.ch)
2024-10-23

The Crime Messenger: How Sky ECC Phones Became a Tool of the Criminal Trade (www.occrp.org)
2024-10-23

MIME types and atom bombs (evanhahn.com)
2024-10-23 Atom

Permalink to Q&A: Why the Developer Relations Foundation is forming (sdtimes.com)
2024-10-23 Programmer

Permalink to Endor Labs creates way to evaluate open source AI models for security and quality on Hugging Face (sdtimes.com)
2024-10-23 AI InfoSec

Announcing Determinate Nix (determinate.systems)
2024-10-23

devenv is switching Nix implementation to Tvix (devenv.sh)
2024-10-23

Ghostty 1.0 is Coming (mitchellh.com)
2024-10-23

Modular Borrowing Without Ownership or Linear Types (2024.splashcon.org)
2024-10-23

Against /tmp (dotat.at)
2024-10-23

Risky Business (alexgaynor.net)
2024-10-22

Use data that looks like data (registerspill.thorstenball.com)
2024-10-22

Taming the buck with a Type III compensator (tomscii.sig7.se)
2024-10-22

An experiment in fighting spam on public forms using “proof of work” (blog.ovalerio.net)
2024-10-22

Previous Page Next Page