Symbolics Genera now available free for non-commercial use (inv-only early beta)hachyderm.io·19 pts·self·2
Finding Peter Putnam: the forgotten janitor who discovered the logic of the mindnautil.us·3 pts·self·0
Comrades, Let's Optimize the Surprising Rebirth of the Planned Economy [video]youtube.com·3 pts·self·0
Cloudflare Topaz: formal verification to prevent conflicts in DNS configurationblog.cloudflare.com·7 pts·self·3