Programming

Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (foundation.rust-lang.org)
2024-11-21 Rust AWS

Tiling with Three Polygons is Undecidable (arxiv.org)
2024-11-21

Native compilation of Prolog predicates with Cranelift (files.adrianistan.eu)
2024-11-21

FreeBee, an AT&T UNIX PC emulator (www.philpem.me.uk)
2024-11-21 Unix AT&T

DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
2024-11-21

Map Keys and Lifetimes (blinsay.com)
2024-11-21

Does the Internet Route Around Damage? - Baltic Sea Cable Cuts (labs.ripe.net)
2024-11-21

SQL, Homomorphisms and Constraint Satisfaction Problems (www.philipzucker.com)
2024-11-21

They all use it (registerspill.thorstenball.com)
2024-11-21

Ban tracking and personalised advertising (www.ccc.de)
2024-11-21 Ban

For the first time ever researchers crack RSA and AES data encryption (www.thebrighterside.news)
2024-11-21

Sequin: a tool for inspecting ANSI sequences (github.com)
2024-11-21

Using gRPC for (local) inter-process communication (www.mpi-hd.mpg.de)
2024-11-21

mimic: eBPF UDP -> TCP obfuscator (github.com)
2024-11-21 TCP UDP

How Many Business Values Does a True/False Field Have? (johndehope.mataroa.blog)
2024-11-21

Organizing Recipes with ML For Creative Cooking (aggressivelyparaphrasing.me)
2024-11-21

Abusing Talon to use my eye tracker in a project (ntietz.com)
2024-11-21

Fargate vs EC2 (www.pulumi.com)
2024-11-21

State of Kotlin Scripting 2024 (blog.jetbrains.com)
2024-11-21 Kotlin

The Rust Foundation's 2nd bad draft trademark policy (diziet.dreamwidth.org)
2024-11-21 Rust

Why I stopped using OpenBSD (dataswamp.org)
2024-11-21

GitHub offering security tools, advice to Open Source Projects (github.blog)
2024-11-20 Open Source InfoSec GitHub

FireDucks : Pandas but 100x faster (hwisnu.bearblog.dev)
2024-11-20 Pandas

vim-history: Very very old history of Vim (from v1.14 to v6.4) (github.com)
2024-11-20 Vim

WavPack's roundtrip advantage over FLAC (dbohdan.com)
2024-11-20

Async/Await Is Real And Can Hurt You (trouble.mataroa.blog)
2024-11-20

Ghosts of Departed Proofs (iohk.io)
2024-11-20

Let's Encrypt: Ten Years (letsencrypt.org)
2024-11-20 Let's Encrypt

chatgpt-shell goes multi-model (lmno.lol)
2024-11-20 Shell

Loading the World! OpenStreetMap Import In Under 4 Hours (www.crunchydata.com)
2024-11-20

Previous Page Next Page