/l/software | laarc

laarc

1.		Guix Reduces Bootstrap Seed by 50% — 2019 — Blog — GNU Guix (gnu.org)
		5 points by rain1 to programming software bootstrapping 64 days ago \| discuss
2.		Emulator for Ben Eater's 8-bit breadboard computer (visualrealmsoftware.com)
		2 points by rain1 to emulation software hardware circuits electronics 68 days ago \| discuss
3.		A Plea for Lean Software - Niklaus Wirth [pdf] (yp.to)
		2 points by rain1 to pdf historical software software.crisis 77 days ago \| discuss
4.		Latacora - Cryptographic Right Answers (latacora.singles)
		3 points by rain1 to news cryptography software 156 days ago \| discuss
5.		Posit: thin triangle other tricks (REVEALED!) (github.io)
		2 points by rain1 to floating.point software programming numerics 153 days ago \| discuss
6.		Why did I write my programming projects? (github.io)
		6 points by rain1 to programming software 202 days ago \| 1 comment
7.		Rethinking files (devever.net)
		3 points by rain1 to software programming os operating.systems 189 days ago \| discuss
8.		Debian and the SKS signature flooding attack (liw.fi)
		by rain1 to news cryptography software 162 days ago \| discuss
9.		The struggles of an open source maintainer - <antirez> (antirez.com)
		3 points by rain1 to software 202 days ago \| discuss
10.		Writing HTML in HTML (ankarstrom.se)
		by rain1 to web design software culture 175 days ago \| discuss
11.		The TTY demystified (linusakesson.net)
		by rain1 to software historical unix 182 days ago \| discuss
12.		Software disenchantment @ tonsky.me (tonsky.me)
		2 points by rain1 to news software software.crisis architecture 206 days ago \| discuss
13.		Zarf Updates: What is ZIL anyway? (zarfhome.com)
		2 points by rain1 to interactive.fiction software programming lisp historical 236 days ago \| discuss
14.		Retro web, simple web, and alternatives to the web (carcosa.net)
		2 points by rain1 to news web software 240 days ago \| discuss
15.		An Ode to the Granovetter Diagram (erights.org)
		by rain1 to capabilities historical software plt 239 days ago \| discuss
16.		Closer Look at the Double Ratchet (jabberhead.tk)
		by rain1 to news cryptography software 240 days ago \| discuss
17.		Typing with a piano (youtube.com)
		3 points by enow to news interesting software 254 days ago \| discuss
18.		Writing a Memory Allocator - Dmitry Soshnikov (dmitrysoshnikov.com)
		3 points by rain1 to software tutorial lowlevel 268 days ago \| discuss
19.		Underrated and wrongfully forgotten software: Tomboy (gnome.org)
		3 points by enow to software 273 days ago \| 3 comments
20.		JIT-less V8 (v8.dev)
		2 points by rain1 to software 272 days ago \| 1 comment
21.		Do Not Disturb: Tackling My Smartphone Addiction (chargen.one)
		2 points by steve to software social smartphones 277 days ago \| discuss
22.		Proof Pad: A modern development environment for ACL2 with all the trimmings (proofpad.org)
		4 points by rain1 to news verification proof formal.proof software 284 days ago \| 1 comment
23.		KeyNeat tool for us with acute mice allergy (semicomplete.com)
		4 points by enow to software x11 linux 284 days ago \| discuss
24.		Systems Software Research is Irrelevant (aka utah2000 or utah2k) (cat-v.org)
		2 points by enkiv2 to systems software 281 days ago \| discuss
25.		Jrnl- The Command Line Journal (jrnl.sh)
		4 points by graygnome to software writing 293 days ago \| discuss
26.		Unexpected Interaction Of Features (solipsys.co.uk)
		5 points by RiderOfGiraffes to programming linux software 297 days ago \| 3 comments
27.		Tell laarc: Formal Methods Meetup Group (San Francisco, CA) (meetu.ps)
		2 points by davidk01 to software formalmethods sanfrancisco bayarea sv 296 days ago \| discuss