jesuslop

8 ms·

91.
by jesuslop 2y ago
In 1996 DC Keenan wrote "To dissect a mockingbird" [1] giving a graphical notation for lambda calculus, expressing it in pictures with an evocative semantics. 28 years later the linked piece gives a categorical string-diagram vers
92.
by jesuslop 2y ago
Reminds Penzias-Wilson trumpet that detected cosmic background radiation. https://web.archive.org/web/20240418003453/https://www.nytim...
93.
by jesuslop 2y ago
Yep an elementary ("Lawvere-Tierney") topos is crafted to be just first order logic. 100% standrad FOL, as Category Theory is. An elementary topos is a cartesian closed category, with finite limits and a subojbect classifier. Cart
94.
by jesuslop 2y ago
related, https://amathew.wordpress.com/2010/02/17/kahler-differential...
95.
by jesuslop 2y ago
Ahh, nice one dares to proffer this. I can plug my own wondering about if one can formulate an aritmetic derivative that instantiates the Kähler differential concept (but I'm supposed not to ask unless I already knew the answer, so wha
96.
by jesuslop 2y ago
Very natural also in money/investing applications. Passing to log scale asset prices follow random walks in several finance applications and behave much better in this scale. Options price formulas by rote memory are a bit of a mess be
97.
by jesuslop 2y ago
There is a wide library of IR remote glue code at https://github.com/crankyoldgit/IRremoteESP8266/tree/master/...
98.
by jesuslop 2y ago
Our lab pcs run about that, with password protected BIOS. DOS has some filenames wired to devices (con, aux, prn)... as in linux /dev. Don't recall why but one time I summoned "echo kk > clock$" and not only did the r
99.
by jesuslop 2y ago
Much agreed, and this is prompting me to experiment with other search engines to see if they cut off also the interesting humans sites. With todays google I feel herded.
100.
by jesuslop 2y ago
Have you dug a bit in the concept under wolframphysics.org? Discretization of PDE equations is interesting and some generating-functionology/combinatorics can be spotted more or less over there. CAs can enter anything under the computa
101.
by jesuslop 2y ago
This e-reader is quite dumb and only talks to the world via propietary GUI app so I don't think it had a friendship with a selfhosted Calibre. There is a hacked python module to pilot the e-reader but some extra glue would be needed. I
102.
by jesuslop 2y ago
I want all local, future proofish things. A pdf library and a heap of markdown notes. Windows, once prepared, gives me a local search engine of contents and metadata queried via Flow Launcher. I use a custom protocol handler to have file UR
103.
by jesuslop 3y ago
And for fiction books, https://kasmana.people.cofc.edu/MATHFICT/
104.
by jesuslop 3y ago
XAML is a nice declarative UI lang. One can use it even in Powershell scripts.
105.
by jesuslop 3y ago
For what I tried is like rclone bisync but without cloud awareness. Useful in a LAN context and with all maturity one can ask for. Rare it hasn't got more good rap.
106.
Attention ArXiv users: Re-implemented RSS(blog.arxiv.org)
12 points by jesuslop 3y ago|0 comments
107.
by jesuslop 3y ago
None concrete I can think about, apart from understanding better the innards of windows boot with a whacky experiment. DPMI was an open spec, so this validated that in principle you could write your own DPMI host to make windows think it wa
108.
by jesuslop 3y ago
I was almost amazed when instead of launching windows 3.1 running win.com one could run Borland DPMI host (that they used in their own 32-bit compiler toolchain), that stayed resident offering its API, and then one could run windows' K
109.
by jesuslop 3y ago
They fix jitter.
110.
by jesuslop 3y ago
I wonder if RTS enables large scale quantum computing
111.
by jesuslop 3y ago
A bit more techy thing to said is that Plancherel theorem here simply means that W in parent comment is unitary, so we can understand fractional FTs applying Stone's theorem for uniparametric unitary groups (the parameter here the orde
112.
by jesuslop 3y ago
A bare-bones case of Fourier transform would be the discrete finite FT, that is just multiplying by a well crafted matrix W as in [1]. So here it looks to me that the fractional transform would be a rational exponent of W, W^r, r rational.
113.
by jesuslop 3y ago
Liked this view always (look for Hutter prize rationale), but I think it needs to be accomodated in a general perception/action loop that optimizes a lower level fitness/utility/reward (for instance an inner sense of pleasure
114.
by jesuslop 3y ago
Fano plane, quaternions...
115.
by jesuslop 3y ago
Try to let user browser anti-nagging extensions do their job
116.
by jesuslop 3y ago
These results are impressive, guys. I'm saving a pointer to dig deeper to glean the details. Tip in the hat for making it open.
117.
by jesuslop 3y ago
I always liked this viewpoint a lot. I'm enjoying with abandon some dusty lectures that Vito Volterra gave in Madrid on differential and integrodifferential equations, while helping also to create Functional Analysis (a Functional bein
118.
by jesuslop 3y ago
yep, because of this one can do O(1) sigmoidals in float16 nnets with a 64K-word table.
119.
by jesuslop 3y ago
While it downloads, speaking about Lambek, in Lambek-Scott they prove the equivalence of CCC's and simply typed lambda calculus. I suffered some functional programming exposure via Lisp, and came later to see that in the core of lisp,
120.
by jesuslop 3y ago
At leat latests versions, coming from the store or just baked from https://github.com/microsoft/WSL/releases . As per [1] One invokes GET-CimInstance -query "SELECT * from Win32_DiskDrive" in Powershell t

More ›