My website: alok.blog.
Alok Singh
Why do so many things break in a 2 element set?
-1 mod 4 = 3 != 1, so x = -x doesn’t seem true in the sense above outside mod 2
A Prince, a Pauper, Power, Panama
What it’s like to dissect a cadaver
divine carrot
Thanks =). Any way to access fresh cadavers? I doubt I’ll be allowed to do surgery anytime soon.
Gaoxing Guy
lawyer ~ social programmer
precedent ~ import ‘precedent’
judge ~ debugger
jury ~ the actual, buggy thing that runs in the very end
jargon ~ lang syntax
Example of hyperfinite quantity: number of sides of a circle
try using chatgpt to optimize life. they have an api too.
try giving it really specific instructions and general stuff, then the particulars.
(it = chatgpt) (ask it to rewrite this post to active tense and written in a way that’s pleasant to read) (read this post like pseudocode^2, with a lot of thought about general and particular, and the fundamental ncatlab dialectic)
[wow this really may make dreamposting possible. magic =).]
ask it to consider the morality of whatever you think of
help me pls uwu.
ask it to break it down into a plan for you.
to make that plan as easy as possible
have it generate api code (if the docs were available <2022)
ask it to check its work to print out a (informal) proof or line of reasoning or whatever
tell it to think about lojban and output in lojban and then in english. make it elaborate
have it explain in 4chan style, or whatever
ask it to write out general and particular in its line of reasoning
ask it to explain “words ~ concepts ~ region of space”
ask it to rewrite bits of Dune to not drag so much
it can expand and contract text by simplification and elaboration.
reasoning is most of what you want to give it, and the particulars
Why I like Zulip instead of Slack or Discord
models let us conduct words, and soonish pictures
chatgpt is very micromanageable too
Ty for forum tip
late 14c., ethimolegia “facts of the origin and development of a word,” from Old French etimologie, ethimologie (14c., Modern French étymologie), from Latin etymologia, from Greek etymologia “analysis of a word to find its true origin,” properly “study of the true sense (of a word),” with -logia “study of, a speaking of” (see -logy) + etymon “true sense, original meaning,” neuter of etymos “true, real, actual,” related to eteos “true,” which perhaps is cognate with Sanskrit satyah, Gothic sunjis, Old English soð “true,” from a PIE *set- “be stable.”
mathy interpretation of the bit about truth: (longer ~ chains are weaker) true ~~ stable ~~~ a starting point for reasoning ~ point ~ .
reading https://ncatlab.org/nlab/show/formal+disk convinced me that there’s something to my feeling that nonstandard analysis is similar to algebraic geometry.
formal disk ~ infinitesimal neighborhood/halo of a point ~ formal spectrum of power series, which extends prime spectra, one of the main concepts of algebraic geometry. maybe i can skip the category theory and just write out some polynomials
This is inspired by the old ‘trade _ for money’ posts.
I think the Anova Oven should be the default rationalist oven. It is $500, but on this community isn’t usually hurting for cash.
That $500 gets you something so beyond a normal oven it’s basically a different tool. It’s better thought of as a largish box whose temperature you control. To see this, make scrambled eggs in it. They have a recipe in their app.
It can reliably control temperature all the way down to 77 F (25 C), making it capable of cooking almost any kind of meal. It’s programmable, so longer recipes are simple to set up.
Reheating food (and making a lot) becomes trivial, and unlike a microwave there’s no problems with ice staying frozen. Reheating to 150F makes almost all leftovers taste fresh.
where html2text and pandoc can be found on github.