/l/software | laarc

laarc

1.		Rigorous numerical integration in Arb (fredrikj.net)
		by rain1 to math software sage 16 days ago \| discuss
2.		It's not always your fault (solipsys.co.uk)
		by RiderOfGiraffes to software 151 days ago \| discuss
3.		The forgotten software that inspired our modern world - BBC Future (bbc.com)
		2 points by rain1 to hypercard news software programming 234 days ago \| discuss
4.		Guix Reduces Bootstrap Seed by 50% — 2019 — Blog — GNU Guix (gnu.org)
		5 points by rain1 to programming software bootstrapping 347 days ago \| discuss
5.		Emulator for Ben Eater's 8-bit breadboard computer (visualrealmsoftware.com)
		2 points by rain1 to emulation software hardware circuits electronics 351 days ago \| discuss
6.		A Plea for Lean Software - Niklaus Wirth [pdf] (yp.to)
		2 points by rain1 to pdf historical software software.crisis 360 days ago \| discuss
7.		Why did I write my programming projects? (github.io)
		6 points by rain1 to programming software 485 days ago \| 1 comment
8.		Latacora - Cryptographic Right Answers (latacora.singles)
		3 points by rain1 to news cryptography software 439 days ago \| discuss
9.		Posit: thin triangle other tricks (REVEALED!) (github.io)
		2 points by rain1 to floating.point software programming numerics 435 days ago \| discuss
10.		Rethinking files (devever.net)
		3 points by rain1 to software programming os operating.systems 472 days ago \| discuss
11.		The struggles of an open source maintainer - <antirez> (antirez.com)
		3 points by rain1 to software 485 days ago \| discuss
12.		Unexpected Interaction Of Features (solipsys.co.uk)
		5 points by RiderOfGiraffes to programming linux software 579 days ago \| 3 comments
13.		Show laarc: Pipelines, a language for scripting concurrent pipelines w. Python (github.com)
		5 points by calebwin to show programming software 586 days ago \| 1 comment
14.		Make it Simple: A Tale about Robert Dewar (dwheeler.com)
		5 points by rain1 to software design development minimalism 586 days ago \| discuss
15.		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 567 days ago \| 1 comment
16.		KeyNeat tool for us with acute mice allergy (semicomplete.com)
		4 points by enow to software x11 linux 567 days ago \| discuss
17.		Software disenchantment @ tonsky.me (tonsky.me)
		2 points by rain1 to news software software.crisis architecture 488 days ago \| discuss
18.		Typing with a piano (youtube.com)
		3 points by enow to news interesting software 536 days ago \| discuss
19.		Jrnl- The Command Line Journal (jrnl.sh)
		4 points by graygnome to software writing 575 days ago \| discuss
20.		Dalek cryptography (dalek.rs)
		5 points by rain1 to crypto releases software 612 days ago \| discuss
21.		Writing a Memory Allocator - Dmitry Soshnikov (dmitrysoshnikov.com)
		3 points by rain1 to software tutorial lowlevel 550 days ago \| discuss
22.		Underrated and wrongfully forgotten software: Tomboy (gnome.org)
		3 points by enow to software 556 days ago \| 3 comments
23.		Kristapsdz/openrsync - writeup of algorithms and efficiency tweaks (github.com)
		4 points by rain1 to software programming 597 days ago \| 3 comments
24.		How I lost my data trying to back it up (hamy.io)
		4 points by rain1 to backups software 597 days ago \| 3 comments
25.		How Dat Works (github.io)
		4 points by rain1 to software cryptography 600 days ago \| discuss
26.		Design philosophy of retro forth (forthworks.com)
		4 points by rain1 to software programming 601 days ago \| discuss
27.		Debian and the SKS signature flooding attack (liw.fi)
		by rain1 to news cryptography software 445 days ago \| discuss
28.		Zarf Updates: What is ZIL anyway? (zarfhome.com)
		2 points by rain1 to interactive.fiction software programming lisp historical 519 days ago \| discuss
29.		Retro web, simple web, and alternatives to the web (carcosa.net)
		2 points by rain1 to news web software 523 days ago \| discuss
30.		Microkernels - The component-based operating systems (microkernel.info)
		4 points by rain1 to software osdev 620 days ago \| discuss