My website: alok.blog.
Alok Singh
-1 mod 4 = 3 != 1, so x = -x doesn’t seem true in the sense above outside mod 2
Thanks =). Any way to access fresh cadavers? I doubt I’ll be allowed to do surgery anytime soon.
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
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.
Think of diffusion as a micro random walk. A hyperfinite number of infinitesimal steps, sampled from a discrete set of vectors.
Look up “Sylvia wenmackers numerosity”
The logic of paradox, or https://philarchive.org/archive/POSBTO-2
Reread this and this is awesome: I didn’t think of the case of multiple bars at all. As for the surreal stuff, I’ve read about them and while the lexicographic ordering is nice, the lack of transfer principle hurts. Are you in the bay?
Was being deliberately inaccurate here. Hard does mean more than a limited multiplier. Sudden means that there’s an appreciable change over an infinitesimal variation aka discontinuous.
Lookup overflow, underflow, and “principle of permanence” in Goldblatt for why I’d do that. Also called overspill and underspill. The basic idea is “as above, so below” except this link is 2 way. Say some internal function has all infinitesimals in its range. Then it must have non infinitesimals too, since the set of all infinitesimals is known to be external, and images of internal functions over internal sets are internal. This is an example of overspill. Infinitesimal behavior has spilled over into the appreciable domain.
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. any help here appreciated
handy hyperreal trick
take “the hilbert space” talked about in QFT. Set it to where H is hyperfinite. Have fun. “Compact operators” fall out, and everything finitary is in there, but the whole thing isn’t finite
.
cool goldbring paper: http://philsci-archive.pitt.edu/19419/1/nonstandard_everett.pdf
where html2text and pandoc can be found on github.