agentofuser

6 ms·

1.
Bauer: An Emacs+Nix IDE(matthewbauer.us)
4 points by agentofuser 5y ago|0 comments
2.
Innovations in Emacs Touch Interfacing(lars.ingebrigtsen.no)
2 points by agentofuser 5y ago|0 comments
3.
Morloc: Foreign languages unified under common functional type system(github.com)
93 points by agentofuser 5y ago|20 comments
4.
Lawvere: A categorical programming language with effects(github.com)
3 points by agentofuser 5y ago|0 comments
5.
Lightweight Scheme IDE on macOS and iOS(lisppad.objecthub.net)
3 points by agentofuser 5y ago|1 comments
6.
BLisp: A Statically Typed Lisp Like Language(ytakano.github.io)
121 points by agentofuser 5y ago|50 comments
7.
At the roots of dictionary compression: string attractors(dl.acm.org)
2 points by agentofuser 5y ago|0 comments
8.
User Interfaces for Programming Languages(web.eecs.umich.edu)
2 points by agentofuser 5y ago|0 comments
9.
Yatima: A programming language for the decentralized web(github.com)
89 points by agentofuser 5y ago|62 comments
10.
Open Source Clojure-Datalog Databases Comparison Matrix(clojurelog.github.io)
3 points by agentofuser 5y ago|0 comments
11.
by agentofuser 5y ago
SEEKING WORK | UTC-4 | REMOTE | React, TypeScript, Gatsby, Next.js, IPFS ## Contact: Email: hn@agentofuser.com Website: https://agentofuser.com ## Background: - Brazilian "Ivy League" Computer Engineering education (Un
12.
GroupDAG–Decentralized Communities of Self-Replicating Small Cohort Meetups(agentofuser.com)
1 points by agentofuser 5y ago|0 comments
13.
by agentofuser 6y ago
I'm hoping at some point a brave team of enthusiasts decides to try making a business out of modernizing emacs (code and process), like the onivim2 people are doing for vim. What do you think of forks like Remacs / emacs-ng?
14.
GoodDollar: Global UBI on Blockchain(gooddollar.org)
2 points by agentofuser 6y ago|0 comments
15.
by agentofuser 7y ago
SEEKING WORK | Brazil @ UTC-4 | Remote only | Gatsby, React, TypeScript, IPFS, Rust Background: - Brazilian "Ivy League" computer science education (Unicamp) - 10+ years of software engineering experience - Startup experience as f
16.
A Re-Implementation of TeX in Rust(github.com)
3 points by agentofuser 7y ago|0 comments
17.
SoniControl – ultrasonic firewall against acoustic tracking(github.com)
1 points by agentofuser 7y ago|0 comments
18.
by agentofuser 7y ago
Some examples here: https://twitter.com/afsofia_/status/1105913438650486784
19.
by agentofuser 7y ago
It's unbelievable how entitled people can be towards things that are published for free by authors who owe them nothing. Mirth hasn't been released. I found it and decided to share it.
20.
Mirth – a type-safe concatenative purely functional programming language(github.com)
119 points by agentofuser 7y ago|73 comments
21.
by agentofuser 7y ago
Neat! Anyone with more understanding can point out differences with statebox[1]? Both seem to be: - visual and textual - purely functional - dataflow-like I get the feeling that statebox might not be turing complete (guaranteed termination)
22.
by agentofuser 7y ago
I really want to use Firefox because of Quantum and other Rust goodness, but until they catch up on usability I'm happy to stay with Brave. Tab-to-search is sorely missing in Firefox, and the tab creation and switching experience on An
23.
Cloudflare CTO: “If we did [take on GitHub] what features would you like?”(twitter.com)
128 points by agentofuser 7y ago|75 comments
24.
by agentofuser 7y ago
Curious about the suggestion to try plain TeX. Could you expand on what are the advantages? Do you mean it as a learning stepping stone or for actual usage?
25.
by agentofuser 7y ago
Hearing starts at the 14' mark.
26.
Digital Ad Ecosystem and the Impact of Data Privacy and Competition Policy(judiciary.senate.gov)
1 points by agentofuser 7y ago|1 comments
27.
by agentofuser 7y ago
If I'm a pedestrian getting my body filmed, 3D-scanned, with potential facial recognition and internal-organs-penetrating sensors added on top, _I'm_ the one who should own that data (and the right to not consent to its collection
28.
by agentofuser 7y ago
Most users are concerned, they just feel powerless to do anything about it.
29.
The Complete Beginner's Guide to Deploying Your First Static Website to IPFS(dev.to)
1 points by agentofuser 7y ago|0 comments
30.
by agentofuser 7y ago
Helping decentralize package managers is Protocol Labs' top priority for IPFS in 2019[1]. Seems very prescient now. Hopefully this gets adopted soon enough, while it's still easy to batch-export stuff out of registries. I really d

More ›