sritchie

6 ms·

1.
by sritchie 6mo ago
Hahah, I just have to reply and say I loved the original comment and was happy for the laugh. Obviously this is the answer to the riddle of > Given a 3-liter container and a 5-liter container, both initially empty, and access to tap wate
2.
Hydra: A system for building 3D Scene Graphs from sensor data in real-time(github.com)
3 points by sritchie 9mo ago|0 comments
3.
by sritchie 11mo ago
(Parent was being sarcastic)
4.
by sritchie 1y ago
I always remember it with “g” for ground and “c” for ceiling… haha but I do like the mites and tites one too in a neighbor comment :)
5.
by sritchie 2y ago
I think the idea is that you performed the exercise to create stress that you want your body to respond to by getting stronger / more aerobically fit etc in some way. So by icing, yes, you recover better, but by reducing the stress you
6.
by sritchie 3y ago
Thank you for the kind words :)
7.
by sritchie 3y ago
Not MIT scheme, and there are no proper ports of scmutils to other Scheme dialects that I know of.
8.
by sritchie 3y ago
That note in the docs is from a time when Emmy only ran on the JVM. Now Emmy runs in JS in a browser (see my top level comment for demo links) which I would argue is even easier. Also the MIT scheme install was historically quite hairy and
9.
by sritchie 3y ago
Hey Taylor, thanks for posting these!! I'm still working on the airplane... it's a Vans RV-10, and now out at the hangar and maybe 98% complete, one more full-time month of work that I need to carve out so I can fly it by this sum
10.
by sritchie 3y ago
Co-author of Emmy here, happy to answer any questions! Point well taken from tonyarkles that on-boarding and docs need work. My big goals for this project were: 1. finish a 100% port of Gerald Sussman's scmutils algebra system into the
11.
by sritchie 3y ago
I used tons of lash splices while building an RV-10 airplane but didn’t know the name until now. Thank you!
12.
by sritchie 3y ago
I have reverse-mode (purely functional reverse mode at that!) sitting in a branch, and will get this going at some point soon. Even more fun will be compilation down to XLA, like JAX does in Python.
13.
by sritchie 3y ago
Yes, if you get to automatic differentiation by overloading your operators to also take a “differential” type, you can further overload them to do symbolic arithmetic and then symbolic differentiation falls out for free. See https:/&#
14.
by sritchie 3y ago
Of course! And referencing your other comment, during the ~2 year period I've been working on Emmy (on top of work by Colin Smith), I was keen to make the implementation more accessible and well-documented than the original. There&#x27
15.
by sritchie 3y ago
What would you build / create / write if you had a web-enabled build of SICM (well, scmutils I guess) in hand? I'd love to hear more about your thoughts on how to build a community around these tools and ideas.
16.
by sritchie 3y ago
It's fully rejuvenated in Clojure as "Emmy", with Sussman's support and a bunch of 2D and 3D graphing extensions. See Emmy-Viewers: https://emmy-viewers.mentat.org/ and Emmy: https://emmy.ment
17.
by sritchie 3y ago
Thanks for the Emmy shout-out! Clerk has been fantastic for rendering 2D and 3D... I just finished a 3D graphics API and am frankly blown away at how great Clerk made this experience. Here are my recent 3D rendering "tester" Clerk
18.
by sritchie 3y ago
I covered this in a few of the comments above... the project was initially completely aimed at the R2R book, and I expect to get back to it. I'll add more background to the project page soon!
19.
by sritchie 3y ago
Thank you! I had "dependencies between notebooks" and "collaborative mode"... the first one's covered here but I still don't know how to handle some Google Docs-style flow on these. I would really like to publi
20.
by sritchie 3y ago
It's not just you! The last thing I want is a WTF from Penrose... This was just an oversight from me trying to cram in too much writing, and I'll fix it tonight once the kids are down. I explained the intended connection in a diff
21.
by sritchie 3y ago
This is great feedback, and of course you're right. I'll flesh out the index and make sure this is clear right away.
22.
by sritchie 3y ago
I think you make a great point about adding even further abstraction. I was inspired by Michael Nielsen's idea of "Discovery Fiction"[0], and porting the Sussman library gave me the idea that building the abstraction layers r
23.
Road to reality – executable essay(reality.mentat.org)
87 points by sritchie 3y ago|15 comments
24.
by sritchie 3y ago
No, of course you’re right to be! I owe myself another lap through this material and this is a good push…
25.
by sritchie 3y ago
Sorry, of course you're right on "Secondly". The right construction is ω, ω∪{ω}, ω∪{ω}∪{ω∪{ω}}... For the first point, I went through the book long enough ago that I can't rebuild the proof here, but iirc the more rigoro
26.
by sritchie 3y ago
It's the latter; I'm also not a mathematician, just a guy who worked through Halmos's "Naive Set Theory" in intense detail... But your question actually hints at my most profound takeaway from that whole book. I thi
27.
by sritchie 3y ago
It follows from the way addition is defined on top of set theory. "a + b" is implemented as "increment a (the set that represents a) b times". A number is represented in set theory as a set that contains all of the numbe
28.
by sritchie 3y ago
Better yet, keep proper definitions and equations and then drive interesting animations from "real deal" code! I've been working for a couple of years on a computer algebra system written in Clojure (named "Emmy") d
29.
(Literate) Numerical Differentiation in Clojure(emmy.mentat.org)
1 points by sritchie 3y ago|0 comments
30.
by sritchie 3y ago
I think Steven Wittens’s work at acko.net and https://usegpu.live/ is your best bet here. I’ve been working for a couple of years on building a computer algebra / physics system in Clojure and integrating it with Steve

More ›