@isomorph_nix

cars work, computers don't

 Indiana
keepandroidopen.org
Joined April 2019
  • Tweets1.3K
  • Following96
  • Followers15
11Media
For so much of my life, I've been deprived. Of a machine that does literally everything for me.
1
13
Here are the Dalvik Executable (Android virtual machine) operations, written in English: github.com/isomorphisms/Engl…
security guard using work printer@isomorphismsOct 18
Here’s #Rstats’ lm function (which involves a QR decomposition), assembled for ARM, translated into English: github.com/dilapidated-shed/…
1
89
Guess how much easier I made things by telling the parser to accept ×÷→⟵?
1
1
12
For example, * can refer to pointers AND NOT ALSO TO multiplication or exponentiation. Wasn't it enough just to have * mean typeglob, splat, and multiple different things to do with addresses? You guys.
9
Who cares the pitfalls of C? I’ll just change C.
1
12
Why the hell would you divide by a negative number? Give a reason. I say that all multiplication and division by negatives should immediately coerce to ℂ, because there’s no rational, logical, reasonable, other thing you could be doing.
1
12
Putting topos into the language, because I can. In fact, I must.
7
—Look at stuff and do critical thinking for me. —Okay. —I’ll just sit here and tell you what sounds cool or uncool, to me, who has no idea. —Yes, boss. —I’m a complete moron. —Well, it’s complicated, boss.
7
Matz began an LLM-assisted Ruby compiler. rubyinside.com/spinel/ Unlike what I'm thinking, **he still goes through C**. Bro —we don't have to, anymore! Just have a fun conversation with your bot about assembly and crazy weird hacks. C doesn't actually exist, man.

An Overview of Spinel, Matz's AOT Ruby Compiler

A complete look at Spinel, how it works, where it came from, what it can/can't do, and where it might eventually fit into the broader Ruby ecosystem.

rubyinside.com
21
Marimuthu Madasamy wrote a JVM target for Idris, in 2017! mmhelloworld.github.io/post/… While living in NYC.

Introducing Idris on the JVM and an Idris Android example - mmhelloworld

Idris on the JVM! Yes, a dependently typed language on the JVM! I have been working on a JVM bytecode backend for Idris for the past few months and it is…

mmhelloworld.github.io
12
And now it is:
security guard using work printer@isomorphisms18 Jun 2018
Replying to @isomorphisms
This could be choreography for 24 dancers.
1
1
1
5
605
The very first thing I did with AI, is purge all Java from the system. Fuck Java.
15
Give your users a template for how you want bug reports. Have them copy this into their AI tool and have a conversation with the tool about when the bug report is complete according to you. These tools can result in more helpful bug reports.
1
1
69
To honor Darryl Yong, Daïna Taimina, and Bill Thurston, here comes a deformable-surface game. Add material and the surface deforms.
security guard using work printer@isomorphismsOct 5
So mathematics is a big treasure chest of toys, some of which have very long instruction manuals. github.com/functorial-games/… In the new era, it's very easy to turn any such toy into an interaction which can just be downloaded from any app store.

Build initial native Young Tableaux exploration APK by isomorphisms · Pull Request #2 · isomorphi...

The first APK exposes the mathematical input/output space on one long scrollable screen, with all twelve requested sections. It supports touch, hit testing, scrolling, focused numeric/list editing ...

github.com
1
2
106
Here’s #Rstats’ lm function (which involves a QR decomposition), assembled for ARM, translated into English: github.com/dilapidated-shed/…
security guard using work printer@isomorphismsJul 30
I think I might … vibe-code a compiler?
1
1
1
4
395
We wouldn't have LLM’s were it not for the (at least vaguely) fascist billionaires.
1
34
more replies
It's been said a million times: smart ideas were not the solution. Pouring billions (hundreds of billions? trillions cumulatively?) of USD into infrastructure and infra engineers was the answer.
security guard using work printer@isomorphisms21 Mar 2021
Gil Strang has commented about deep learning. He describes ReLu as an affine "fold" (as in origami)—along the partition line. ocw.mit.edu/courses/mathemat… Thus an ellipsoid classifier is approximated with piecewise-linear folds around the boundary of an egg.
1
16
Google Brain was a waste of public investors’ money for like a decade. (Also Google seems to be fairly bad at stuff.) Never saw how AI investments help Meta’s common-share holders, either. So it required a degree of “fascism” by upper management / preferred ownership.
10
death-first search retweeted
Sandro
@pupposandroOct 14
Someone on Reddit is running Qwen 27B at ~20 tok/s on a jailbroken PS5's GPU
82
207
62
4,064
113,406
Load more