laarcnew | comments | discord | tags | ask | show | place | submit | /l/softwarelogin
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

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

/l/software RSS

Chat (matrix) | Chat (discord)

Search: