Domain Theory, Mathematical Models, Program Meaning, Scott Domains
What counts as a ‘bad day’ is subjective – but I’ve found something that I’m sure annoys absolutely anyone | Emma Beddington
theguardian.com·40m
<div xmlns="http://www.w3.org/1999/xhtml"> Useless retro fun: Windows 2000 + SuSE 6.4 + X11 </div>
uninformativ.de·22h
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·3d
Monero’s elliptic curve
johndcook.com·20h
Two Major AI Coding Tools Wiped Out User Data After Making Cascading Mistakes
hardware.slashdot.org·2d
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·2d
Loading...Loading more...