agentofuser
Innovations in Emacs Touch Interfacing
Morloc: Foreign languages unified under common functional type system
Lawvere: A categorical programming language with effects
Lightweight Scheme IDE on macOS and iOS
BLisp: A Statically Typed Lisp Like Language
At the roots of dictionary compression: string attractors
User Interfaces for Programming Languages
Yatima: A programming language for the decentralized web
Open Source Clojure-Datalog Databases Comparison Matrix
## Contact:
Email: [email protected]
Website: https://agentofuser.com
## Background:
- Brazilian "Ivy League" Computer Engineering education (University of Campinas)
- 10+ years of software engineering experience
## Seeking:
- Preference for work with static site generators, landing pages, markdown/MDX blogs and documentation websites for developer-focused businesses and startups
## Show HN:
I'm the author of IPFS Deploy[0], a zero-config CLI with great developer experience for deploying static websites to IPFS.
- Its Show HN[1] was on the front page for 10+ hours
- It is recommended by Cloudflare's official docs for their IPFS Gateway
- It got adopted by Protocol Labs (authors of IPFS) who have taken up its maintenance
GroupDAG–Decentralized Communities of Self-Replicating Small Cohort Meetups
What do you think of forks like Remacs / emacs-ng?
GoodDollar: Global UBI on Blockchain
Background:
- Brazilian "Ivy League" computer science education (Unicamp)
- 10+ years of software engineering experience
- Startup experience as founder funded by Start-Up Chile program
Seeking:
- 10-15h/week, ongoing maintenance or short-term work preferred
- Static site generators, pandoc, and obscure markdown flavor wrangling are a current specialty
- Also like to do technical (copy|)writing and online devrel-type work
Main claim to fame is being the author of IPFS Deploy, a zero-config CLI with great DX for deploying static websites to IPFS.
- Its Show HN was on the front page for 10+ hours
- It is recommended by Cloudflare's official docs for their IPFS Gateway
- It got adopted by Protocol Labs (authors of IPFS) who have taken up its maintenance
Email: [email protected]
CV & links: https://agentofuser.com
A Re-Implementation of TeX in Rust
SoniControl – ultrasonic firewall against acoustic tracking
Mirth hasn't been released. I found it and decided to share it.
Mirth – a type-safe concatenative purely functional programming language
- visual and textual
- purely functional
- dataflow-like
I get the feeling that statebox might not be turing complete (guaranteed termination) and have a stronger focus on formal verification. Also, it doesn't seem to have a visual editor yet.
Cloudflare CTO: “If we did [take on GitHub] what features would you like?”
Digital Ad Ecosystem and the Impact of Data Privacy and Competition Policy
The Complete Beginner's Guide to Deploying Your First Static Website to IPFS
Seems very prescient now. Hopefully this gets adopted soon enough, while it's still easy to batch-export stuff out of registries. I really don't want MS owning the most popular editor, git host, "linux desktop", and universal package manager in the world. Edit: oh, and programming language (typescript is eating javascript.)