agentofuser's submissions

1.		Bauer: An Emacs+Nix IDE (matthewbauer.us)
		4 points by agentofuser on Aug 14, 2021 \| past
2.		Innovations in Emacs Touch Interfacing (ingebrigtsen.no)
		2 points by agentofuser on Aug 10, 2021 \| past
3.		Morloc: Foreign languages unified under common functional type system (github.com/morloc-project)
		93 points by agentofuser on July 29, 2021 \| past \| 20 comments
4.		Lawvere: A categorical programming language with effects (github.com/jameshaydon)
		3 points by agentofuser on July 18, 2021 \| past
5.		Lightweight Scheme IDE on macOS and iOS (objecthub.net)
		3 points by agentofuser on July 17, 2021 \| past \| 1 comment
6.		BLisp: A Statically Typed Lisp Like Language (ytakano.github.io)
		121 points by agentofuser on June 26, 2021 \| past \| 50 comments
7.		At the roots of dictionary compression: string attractors (acm.org)
		2 points by agentofuser on June 24, 2021 \| past
8.		User Interfaces for Programming Languages (umich.edu)
		2 points by agentofuser on June 13, 2021 \| past
9.		Yatima: A programming language for the decentralized web (github.com/yatima-inc)
		89 points by agentofuser on June 7, 2021 \| past \| 62 comments
10.		Open Source Clojure-Datalog Databases Comparison Matrix (clojurelog.github.io)
		3 points by agentofuser on June 6, 2021 \| past
11.		GroupDAG–Decentralized Communities of Self-Replicating Small Cohort Meetups (agentofuser.com)
		1 point by agentofuser on April 16, 2021 \| past
12.		GoodDollar: Global UBI on Blockchain (gooddollar.org)
		2 points by agentofuser on Aug 11, 2020 \| past
13.		A Re-Implementation of TeX in Rust (github.com/xymostech)
		3 points by agentofuser on Aug 15, 2019 \| past
14.		SoniControl – ultrasonic firewall against acoustic tracking (github.com/fhstp)
		1 point by agentofuser on Aug 1, 2019 \| past
15.		Mirth – a type-safe concatenative purely functional programming language (github.com/mirth-lang)
		119 points by agentofuser on July 12, 2019 \| past \| 73 comments
16.		Cloudflare CTO: “If we did [take on GitHub] what features would you like?” (twitter.com/jgrahamc)
		128 points by agentofuser on May 30, 2019 \| past \| 75 comments
17.		Digital Ad Ecosystem and the Impact of Data Privacy and Competition Policy (senate.gov)
		1 point by agentofuser on May 21, 2019 \| past \| 1 comment
18.		The Complete Beginner's Guide to Deploying Your First Static Website to IPFS (dev.to)
		1 point by agentofuser on May 13, 2019 \| past
19.		Create-Pastel-App: Build CLI Apps Using React (github.com/vadimdemedes)
		1 point by agentofuser on May 2, 2019 \| past
20.		Show HN: IPFS-Deploy – Zero-Config CLI to Deploy Static Websites to IPFS (github.com/agentofuser)
		150 points by agentofuser on May 1, 2019 \| past \| 34 comments
21.		Achievement Unlocked: The 2019 IPFS Roadmap (ipfs.io)
		7 points by agentofuser on April 6, 2019 \| past \| 1 comment
22.		Hurricane Electric secondary DNS adds support for TSIG authentication (ctrl.blog)
		3 points by agentofuser on March 6, 2019 \| past
23.		ProtonMail vs. Mailbox.org Comparison (ctrl.blog)
		1 point by agentofuser on March 6, 2019 \| past
24.		Distributed web not ready for Runet cutoff from the Internet (ctrl.blog)
		85 points by agentofuser on Feb 14, 2019 \| past \| 45 comments
25.		Libricochet-Go: Experimental Implementation of v3Onion Ricochet Protocol in Go (openprivacy.ca)
		1 point by agentofuser on Jan 14, 2019 \| past

HN For You