robto

15 ms·

31.
by robto 4y ago
This may be a lost cause, but I don't think a beginner language should have mutable data at all. The only reason we really need mutability is for speed - our programs have to run on actual machines and for a long time we didn't ha
32.
by robto 4y ago
Firefox has container tabs if you don't want to leak your Google account to everything else. And it blocks ads perfectly.
33.
by robto 4y ago
It's not hard to learn the basics of another operating system, and it's something they're going to have to do no matter what. They'll be learning new software their whole lives. And how would using software that respects
34.
by robto 4y ago
One thing I'm considering is getting my kid a laptop when they start asking for a smartphone. They'll be able to engage socially for the most part, but it won't have the "with you every moment of every day" problem.
35.
by robto 4y ago
This article doesn't address the most salient argument in the free trade -> peace syllogism, which is that free trade between two countries reduces the chance of war between them only to the extent in which cutting that trade off (w
36.
by robto 4y ago
If I'm looking for problems I always like to try Advent of Code problems, it's a good chance to learn basic io, sample the standard library, and learn how to idiomatically handle common problems. But before that I prefer to get a
37.
by robto 4y ago
There's a handy chart in "The Joy of Clojure" that I refer to whenever I'm trying to tackle concurrency problems: | | ref | agent | atom | var | | coordinated | x | | | | | as
38.
by robto 4y ago
Hazel[0] is really fascinating! "Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states." It&#x2
39.
by robto 4y ago
Magit changed git from just a DVCS to a integral part of my dev process. Especially in large projects where I spend much more time reading code and trying to understand how it came to be the way that it is. I mainly write Clojure, but for a
40.
by robto 4y ago
Free Software is so cool - I love how the solutions to tough problems can be shared so that everyone benefits from the work. It's a long journey, but I'm glad that there are people doing the hard work. This is the reason that I&#x
41.
by robto 5y ago
I've been using NixOS for several years and one of the pain points was frequently updating software - the updates don't come out until the package definitions get updated. Last year I just started using Flatpak for those packages
42.
by robto 5y ago
Huawei just published a paper (Towards Build Verifiability for Java-based Systems[0]) on trying to get the JVM ecosystem reproducible. It looks like it's early days, but I'm paying attention. [0] https://arxiv.org/a
43.
by robto 5y ago
I'd start with reading the Matrix spec, you'll want to know how the syncing protocol works, and this will give you enough familiarity that you can start playing around with curl to actually see it in action. I'd highly recomm
44.
by robto 5y ago
See, this is what I keep going on about to my friends - Matrix is actually a graph syncing protocol, not an instant messaging protocol, and is a great way to build federated applications. I get that Element needs to focus on one use case in
45.
Singlewire Migrated 195,000 Lines of AngularJS to React(singlewire.com)
2 points by robto 5y ago|0 comments
46.
by robto 5y ago
In Java people regularly refer to a particular JDK version as a Java 17 or Java 11, even though they actually refer to versions 1.17 and 1.11, respectively[0]. In Clojure land they just say 1.x, even when large new features are added. I lik
47.
Tvix: We Are Rewriting Nix(tvl.fyi)
144 points by robto 5y ago|62 comments
48.
by robto 5y ago
This seems like a nifty visualization of Clojure code, and it's rather fun to play with. Certainly looks like it was fun to make! You can play with it here: https://vlojure.io/
49.
Vlojure – A New Way to Write ClojureScript [video](youtube.com)
8 points by robto 5y ago|1 comments
50.
by robto 5y ago
I once worked as a data analyst in the EM&V industry (Evaluation, Measurement, and Verification). I worked for a small group of consultants and our primary customer would be energy utilities across the United States. You see, an energy
51.
by robto 5y ago
Reminds me a lot of Fluree[0], an immutable, cryptographically verifiable, temporal database, but with RDF as a query language, which I think is very nice. SQL is nice because it's familiar but it's honestly not that hard to impro
52.
by robto 5y ago
Do you think this moderation paradox - of needing curation at scale, but automatic moderation + "user flag" moderation being inadequate - is a universal problem, or do you think it's specific to ad-funded platforms? I wonder
53.
by robto 5y ago
This looks really great! I was just mulling over doing postgres-style row-level auth in datahike and you've already put it together. I'll give it a spin this week, thanks for mentioning it.
54.
by robto 5y ago
This strikes me as a perfect visual example of repl-driven development. I like how he starts very simple and slowly makes it more sophisticated, testing every step of the way. If you've never tried it before, I highly recommend giving
55.
by robto 6y ago
In addition to nix and guix, which have been mentioned, you can also use straight.el[0]. It's a functional package manager for emacs, so you'd use it instead of package.el. It checks out the git repo for each package and maps pack
56.
by robto 6y ago
Isn't this a slightly less general version of Zulip? I wish more products would adopt that topic model, it works really well for bridging the overlapping conversation puzzle.
57.
by robto 6y ago
I'm so excited for this to become built-in in more places! I think once non-lisp users can experience the Power of Structural Editing they'll say, "Hey, I understand now why you all feel so passionate about your parentheses!&
58.
by robto 6y ago
The Shepard init system[0] for Guix and most of the Guix plumbing are written in Guile Scheme. There's also Guile Emacs. [0] https://www.gnu.org/software/shepherd/
59.
by robto 6y ago
I've noticed this as well, and I've concluded that the actual surprising part for new coders is mutability. In basically every domain where non-developers invent algorithms, everything is immutable - spreadsheets, math!. Heck, eve
60.
by robto 6y ago
I'm really excited about using Matrix for more than instant messaging. This November I spent a week reading all the specs (which were really well documented!) and some spec proposals that I think are really important for non-IM clients

More ›