laarcnew | comments | discord | tags | ask | show | place | submit | /l/softwarelogin
1.
Latacora - Cryptographic Right Answers (latacora.singles)
3 points by rain1 to news cryptography software 43 days ago | discuss
2.
Posit: thin triangle other tricks (REVEALED!) (github.io)
2 points by rain1 to floating.point software programming numerics 40 days ago | discuss
3.
Why did I write my programming projects? (github.io)
6 points by rain1 to programming software 89 days ago | 1 comment
4.
Rethinking files (devever.net)
3 points by rain1 to software programming os operating.systems 76 days ago | discuss
5.
Debian and the SKS signature flooding attack (liw.fi)
by rain1 to news cryptography software 49 days ago | discuss
6.
The struggles of an open source maintainer - <antirez> (antirez.com)
3 points by rain1 to software 89 days ago | discuss
7.
Writing HTML in HTML (ankarstrom.se)
by rain1 to web design software culture 62 days ago | discuss
8.
The TTY demystified (linusakesson.net)
by rain1 to software historical unix 69 days ago | discuss
9.
Software disenchantment @ tonsky.me (tonsky.me)
2 points by rain1 to news software software.crisis architecture 92 days ago | discuss
10.
Zarf Updates: What is ZIL anyway? (zarfhome.com)
2 points by rain1 to interactive.fiction software programming lisp historical 123 days ago | discuss
11.
Retro web, simple web, and alternatives to the web (carcosa.net)
2 points by rain1 to news web software 127 days ago | discuss
12.
An Ode to the Granovetter Diagram (erights.org)
by rain1 to capabilities historical software plt 126 days ago | discuss
13.
Closer Look at the Double Ratchet (jabberhead.tk)
by rain1 to news cryptography software 127 days ago | discuss
14.
Typing with a piano (youtube.com)
3 points by enow to news interesting software 140 days ago | discuss
15.
Writing a Memory Allocator - Dmitry Soshnikov (dmitrysoshnikov.com)
3 points by rain1 to software tutorial lowlevel 155 days ago | discuss
16.
Underrated and wrongfully forgotten software: Tomboy (gnome.org)
3 points by enow to software 160 days ago | 3 comments
17.
JIT-less V8 (v8.dev)
2 points by rain1 to software 159 days ago | 1 comment
18.
Do Not Disturb: Tackling My Smartphone Addiction (chargen.one)
2 points by steve to software social smartphones 164 days ago | discuss
19.
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 171 days ago | 1 comment
20.
KeyNeat tool for us with acute mice allergy (semicomplete.com)
4 points by enow to software x11 linux 171 days ago | discuss
21.
Systems Software Research is Irrelevant (aka utah2000 or utah2k) (cat-v.org)
2 points by enkiv2 to systems software 168 days ago | discuss
22.
Jrnl- The Command Line Journal (jrnl.sh)
4 points by graygnome to software writing 179 days ago | discuss
23.
Unexpected Interaction Of Features (solipsys.co.uk)
5 points by RiderOfGiraffes to programming linux software 183 days ago | 3 comments
24.
Tell laarc: Formal Methods Meetup Group (San Francisco, CA) (meetu.ps)
2 points by davidk01 to software formalmethods sanfrancisco bayarea sv 183 days ago | discuss

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

RSS (stories) | RSS (comments)

Search: