/l/software | laarc

laarc

1.		Unexpected Interaction Of Features (solipsys.co.uk)
		5 points by RiderOfGiraffes to programming linux software 3 days ago \| 3 comments
2.		Tell laarc: Formal Methods Meetup Group (San Francisco, CA) (meetu.ps)
		by davidk01 to software formalmethods sanfrancisco bayarea sv 2 days ago \| discuss
3.		Show laarc: Pipelines, a language for scripting concurrent pipelines w. Python (github.com)
		5 points by calebwin to show programming software 9 days ago \| 1 comment
4.		Make it Simple: A Tale about Robert Dewar (dwheeler.com)
		5 points by rain1 to software design development minimalism 10 days ago \| discuss
5.		Gopher & HTTP Servers in Retro Forth (reddit.com)
		2 points by rain1 to forth programming software 12 days ago \| discuss
6.		Reverse engineering GoDaddy's tracking script (lolware.net)
		2 points by RiderOfGiraffes to programming software 14 days ago \| discuss
7.		The Semantics Assignment Problem [rain1] (miraheze.org)
		2 points by rain1 to software security bootstrapping 15 days ago \| discuss
8.		Kristapsdz/openrsync - writeup of algorithms and efficiency tweaks (github.com)
		4 points by rain1 to software programming 20 days ago \| 3 comments
9.		How I lost my data trying to back it up (hamy.io)
		4 points by rain1 to backups software 20 days ago \| 3 comments
10.		How Dat Works (github.io)
		4 points by rain1 to software cryptography 23 days ago \| discuss
11.		Design philosophy of retro forth (forthworks.com)
		4 points by rain1 to software programming 24 days ago \| discuss
12.		Project Everest (github.io)
		3 points by rain1 to software verification crypto 29 days ago \| discuss
13.		Dalek cryptography (dalek.rs)
		5 points by rain1 to crypto releases software 35 days ago \| discuss
14.		Interview with POPL 2019 Most Influential Paper Winners (fb.com)
		2 points by rain1 to verification software 31 days ago \| discuss
15.		PostgreSQL: The dangers of streaming across versions of glibc: A cautionary tale (postgresql.org)
		3 points by rain1 to software bugs 39 days ago \| discuss
16.		Microkernels - The component-based operating systems (microkernel.info)
		4 points by rain1 to software osdev 43 days ago \| discuss