lapinot

34 ms·

211.
by lapinot 4y ago
Universal models of computations are still distinguishable by their complexity classes. Every universal model can simulate the others but these simulations may not be practical. The whole insane teraflop showoff of the big players of NN is
212.
by lapinot 4y ago
> > It is mystical to hope for awareness, understanding, common sense, from symbols and data processing using parametric functions in higher dimensions. > but that is all our brains do, really. > How can we claim that a computer
213.
by lapinot 4y ago
> How would they [non-capitalists] survive and pay their workers? You realize that this comment is the same level as saying "but how do ecologists find their food?". They do it just like you do. money != capitalism. > what w
214.
by lapinot 4y ago
No the same symbol is used (fortunately)! Btw i just realized that i weirdly translated "non-strict" as "large" (in french we say "large" which actually translates to "wide"). edit: surely you meant ⩽
215.
by lapinot 4y ago
Well this is just a matter of taking strict or large inequality by default. It is true that in french speech, inequality is large by default, while it is strict by default in english. Personally i prefer the french convention because i pref
216.
by lapinot 4y ago
Ah, ok. In any case I was TA with Pierre teaching that class at Chambéry this semester, to run the gamesaves from the student without being too worried about my files i just ran the thing inside a bubblewrap bash session: bwrap --dev /
217.
by lapinot 4y ago
^ bot? Doesn't make any sense to me, OP link is not an article.
218.
by lapinot 4y ago
So just for reference, OWL is using Bigarray under the hood for dense array. OWL seems to be doing all the things right, great deal of modularity and abstractions but compiling everything down to the most efficient representations.
219.
by lapinot 4y ago
I don't know if OWL rolls its own thing, but there is a "numeric nd-array" type in the standard library in ocaml [1]. In any case "native arrays" in ocaml or other are dynamic vectors, so it wouldn't make any s
220.
by lapinot 4y ago
Math traditionally has had some bad notation from a formal point of view, because humans are good at coping with bad notations (or going back and forth between variants), unlike machines and formal systems. Computer science being a (more) f
221.
by lapinot 4y ago
I'm certainly no expert but wrote a small jit in rpython a couple years back. I never heard of any jit driver interface for python (so no for your guest-guest question). I'm not so sure it would be doable, most likely rpython tool
222.
by lapinot 4y ago
+1 The actual scientific usage of IQ test is to screen for children that are on the low part of the spectrum and then do more qualitative analysis and care. The whole focus on high-IQ is just nonsense. I don't have any ref on hand
223.
by lapinot 4y ago
tldr of my long response: the misunderstanding between the "common usage" and "some research usage" stems from the belief that by strong/static we mean a restrictive definition (like the common usage of "strong
224.
by lapinot 4y ago
:) i was waiting for you to come all lisp on me! (eh i just realized your pseudo) [sorry for the long msg, i like this topic!] But this is just all staging! I would never say that lisp is not typed! Only perhaps streaming lisp interpreters
225.
by lapinot 4y ago
I'm assuming you why want me to explain what the difference between a static data-shape check and a type system is (since i'm already saying type systems are about static information). For sure there is a non-empty intersection
226.
by lapinot 4y ago
Actually no, not in programming language theory. What researchers call 'type system' is much more precise than what programmers call 'type system'. In the PL field, the behavior of a term is traditionally split into stat
227.
by lapinot 4y ago
Apart from your point being a complete non-sequitur (an example doesn't prove anything), you ought to look at the history of IG Farben (aka Bayer, BASF and other). Or how privatisation is getting to the carceral industry (thank you USA
228.
by lapinot 4y ago
The vehicules are have less components thus are both cheaper upfront and cheaper on at operation by being lighter and requiring less maintainance. Because of that they are on average bigger so you can have a smaller fleet. Also installing o
229.
by lapinot 4y ago
Most trolleybuses I know have independent emergency propulsion and can reattach without too much difficulty at specific places (usually stops). So temporary short rerouting isn't difficult. Apparently they even have trolley/batter
230.
by lapinot 4y ago
Otoh vehicule maintenance, cost and energy use is smaller.
231.
by lapinot 5y ago
relevant lowtechmag article: https://solar.lowtechmagazine.com/2020/05/thermoelectric-sto... tldr: thermoelectric generators don't have great efficiencies, but by cogenerating heat and electricity they can ge
232.
by lapinot 5y ago
Thanks, that should do it indeed, i'll try that in my scripts! Tbh i didn't search long, i was just a bit disappointed that bwrap didn't have this capability. (because now i have the choice of doing nsenter outside or inside
233.
by lapinot 5y ago
Does anyone know if it's possible to configure bubblewrap to attach to an existing namespace (network namespace in my case)? I'm selfhosting stuff and wanted a diy container runtime but i can't seem to isolate stuff from the
234.
by lapinot 5y ago
> ZFC is the x86 assembly language of foundations. > The goals of (homotopy) type theory are very different: they are trying to be suitable for actually doing modern mathematics > Only foundations people care about ZFC, and the kin
235.
by lapinot 5y ago
sys-net, sys-firewall and other administrative vms should slowly migrate to unikernels instead of running linux, which should help with ram usage. The mirage.io project seems to build a couple qubes vms, for example https://githu
236.
by lapinot 5y ago
Memorization might be a part of it, but imho the important part is (emphasis mine): > So they ended up reading *reference manuals* and writing down or memorizing the answers to their questions because they couldn't look up informati
237.
by lapinot 5y ago
Well, the actual standard is royalty-free and that's what we usually mean by royalty-free in this context. A royalty-based standard requires you to purchase a license for developing your own implementation of it .
238.
by lapinot 5y ago
https://gist.github.com/MidSpike/f7ae3457420af78a54b38a31cc0...
239.
by lapinot 5y ago
By having reputable sources. And most likely having people reviewing upgrades, what you're installing and what the building code is doing (and running it in a sandbox). This role is usually taken by the distribution's packagers. A
240.
by lapinot 5y ago
> And of top of that people are not even using it properly, because centralized nodes seem to be the main wait to get access to the files. That's because last i checked (admittedly a couple years ago) their software was slow and res

More ›