jesuslop

17 ms·

181.
by jesuslop 5y ago
The book in the course [1], specially ch. 4, I think, provides some analytical category-theoretical tools to model feasibility/performance in that kind of situation. In [2] the same technique (enriched profunctors) applies for critical
182.
by jesuslop 5y ago
Enhorabuena!
183.
‘The Character of Physical Law’: Richard Feynman’s Legendary Course, 1964(openculture.com)
2 points by jesuslop 5y ago|0 comments
184.
by jesuslop 5y ago
It was expensive in phone line charges intercity. It was slow, as in hollywood hacker movies where characters printed one at a time making funny noises. And it was a thrill. It is now hard to apraise how isolating is being limited to intera
185.
by jesuslop 5y ago
I thought it was Second Life
186.
by jesuslop 5y ago
I'm starting to dive into the Path Integral formulation and this is taking me to turn things upside-down from what I thought of the order of what relies on what. I've started to get Baez's view [1] and given that, the questio
187.
by jesuslop 5y ago
Apropiate. Also, Burns: "Priceless coins not used in vending machine. Yes, not bad." https://frinkiac.com/caption/S11E12/1184960
188.
by jesuslop 5y ago
How do you install extra packages? (sympy, etc)
189.
by jesuslop 5y ago
Absolutely, I own a Sony DPTS and the size is essential to read non reflowable technical papers (i. e., most of them). Hope that gets built somewhen.
190.
by jesuslop 5y ago
An ad fontes breadcrumb elucidation I think that passes through Gödel 1934, in §9 "General recursive functions". "...this leads to the question what one would mean by 'every recursive function'. One may attempt
191.
by jesuslop 5y ago
For me when I was learning this the first problem was to grab what Mac Lane intended to say with "monoids" exactly (in monads are monoids such that blah) since the default notion from algebra didn't match (unital semigroup)
192.
by jesuslop 5y ago
It could have been a hip IP phone also
193.
by jesuslop 5y ago
Interesting and saved. Some time ago I wanted to say that if I can represent a graph as an adjacency matrix, then I would have liked to say that an hypergraph is given by an adjacency tensor . I searched for that but couldn't find any
194.
by jesuslop 5y ago
What would you use it for?
195.
by jesuslop 5y ago
Shiller PER is at 38.5 [1], signaling overheating. Is it now a wise moment to do an all-in of your savings in an S&P index replica? It is dubious to me. I buy bogleheading in general, but some market timing thinking seems unavoidable to
196.
by jesuslop 5y ago
They could use a paraconsistent logician also
197.
by jesuslop 5y ago
In "Road to Dune" there are a couple of cut chapters of the first 2 books and the original ending of Dune Messiah
198.
by jesuslop 5y ago
Yep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at https://robertylewis.com/files/lean_intro_slides.pdf
199.
by jesuslop 5y ago
It's about Scholze work on perfectoid spaces. A nice intro talk in Spanish is at https://cienciastv.org.mx/2020/08/el-mundo-perfectoide-adria...
200.
by jesuslop 6y ago
The Prince is surprisingly easy a read and somewhat house-of-cardlish, let me reply here to take note on your dig-deeper suggestions for when I'm over it.
201.
by jesuslop 6y ago
Gosh, thank you bud and parent-bud. You made my morning. Internet was invented for this. Suggest the rest to look at this.
202.
by jesuslop 6y ago
A digression is that what multiplying A and A^T really means, in the sense that A represents a map of spaces, but A^T represents a map in the opposite direction of the dual spaces. In finite dimension or in topological vector spaces, a spac
203.
by jesuslop 6y ago
You can prefer the old ways in your profile settings (afortunately).
204.
by jesuslop 7y ago
You can do with two transistors: https://en.wikipedia.org/wiki/Flip-flop_(electronics)
205.
by jesuslop 7y ago
Had we a slick method of formalizing proofs for computer verification, no polemics would be possible.
206.
by jesuslop 7y ago
For a lover of Borges, what would you recommend first from Chiang?
207.
by jesuslop 7y ago
I'd wish they did a hackable A4 version
208.
by jesuslop 7y ago
Stillwell is a fantastic historian, +1 to the recommendation.
209.
by jesuslop 7y ago
What about elliptic curve cryptography?
210.
by jesuslop 7y ago
Nice concept. I'm thinking in a possible nebulous improvement. A potential problem here is that it can scale with problems as hundreds of notes are added. We organize knowledge in a hierarchical way, just as we do files in folders, or

More ›