/l/software | laarc

laarc

1.		Zarf Updates: What is ZIL anyway? (zarfhome.com)
		by rain1 to interactive.fiction software programming lisp historical 6 days ago \| discuss
2.		Retro web, simple web, and alternatives to the web (carcosa.net)
		2 points by rain1 to news web software 10 days ago \| discuss
3.		An Ode to the Granovetter Diagram (erights.org)
		by rain1 to capabilities historical software plt 9 days ago \| discuss
4.		Closer Look at the Double Ratchet (jabberhead.tk)
		by rain1 to news cryptography software 10 days ago \| discuss
5.		Typing with a piano (youtube.com)
		3 points by enow to news interesting software 24 days ago \| discuss
6.		Writing a Memory Allocator - Dmitry Soshnikov (dmitrysoshnikov.com)
		3 points by rain1 to software tutorial lowlevel 38 days ago \| discuss
7.		Underrated and wrongfully forgotten software: Tomboy (gnome.org)
		3 points by enow to software 43 days ago \| 3 comments
8.		JIT-less V8 (v8.dev)
		2 points by rain1 to software 42 days ago \| 1 comment
9.		Do Not Disturb: Tackling My Smartphone Addiction (chargen.one)
		2 points by steve to software social smartphones 47 days ago \| discuss
10.		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 54 days ago \| 1 comment
11.		KeyNeat tool for us with acute mice allergy (semicomplete.com)
		4 points by enow to software x11 linux 54 days ago \| discuss
12.		Systems Software Research is Irrelevant (aka utah2000 or utah2k) (cat-v.org)
		2 points by enkiv2 to systems software 51 days ago \| discuss
13.		Jrnl- The Command Line Journal (jrnl.sh)
		4 points by graygnome to software writing 63 days ago \| discuss
14.		Unexpected Interaction Of Features (solipsys.co.uk)
		5 points by RiderOfGiraffes to programming linux software 66 days ago \| 3 comments
15.		Tell laarc: Formal Methods Meetup Group (San Francisco, CA) (meetu.ps)
		2 points by davidk01 to software formalmethods sanfrancisco bayarea sv 66 days ago \| discuss
16.		Show laarc: Pipelines, a language for scripting concurrent pipelines w. Python (github.com)
		5 points by calebwin to show programming software 73 days ago \| 1 comment
17.		Make it Simple: A Tale about Robert Dewar (dwheeler.com)
		5 points by rain1 to software design development minimalism 73 days ago \| discuss
18.		Gopher & HTTP Servers in Retro Forth (reddit.com)
		2 points by rain1 to forth programming software 76 days ago \| discuss