francasso

8 ms·

31.
by francasso 2y ago
Naming doesn't have anything to do with the number of functions. They section things off in the file, so if you prefer things split into multiple files I can understand, but it's a personal perference in something this size
32.
by francasso 2y ago
De gustibus, but after taking a look personally I think it's pretty good. It's typed to the extent allowed by js, sections are clearly delineated, and if you collapse all the functions you can get a quick overview of every section
33.
by francasso 2y ago
Why is the number of top level functions a problem? As long as they are named and organized appropriately I don't see the issue
34.
by francasso 2y ago
I just read the summary for "Fermat's Last Theorem – how it's going" on that page and it completely missed the point of the article
35.
by francasso 2y ago
Why are zoom lenses 'in-camera "cropping" with max pixel resolution'? They should zoom physically the same way a prime would, just with a less optimal optic structure, no? I mean the perspective projection you get from a
36.
by francasso 2y ago
I think this is a thorny issue. On the one hand standardization stiffles development and can even make the language worse going forward. On the other I really think that before governments start pushing for Rust adoption it should be standa
37.
by francasso 2y ago
u mad bro?
38.
by francasso 2y ago
If a big chunk of a project is written in a language, you end up having to learn that language, unless you deal only with a very isolated piece. I don't see how this case would be different.
39.
by francasso 2y ago
From my experience creating complex web UIs, the performance angle of using a vdom is pure fantasy if your application is complex enough. In fact I now strongly believe it's counter productive, because most people come to it thinking
40.
by francasso 2y ago
Are you saying they aren't already preventing it? I would find that hard to believe...
41.
by francasso 2y ago
They are going to say the usual things, child pornography, risk of terrorist use etc... and conclude that we need our overlords to protect us. Same reasons that have been used in the past to take away freedoms. Not saying they aren't
42.
by francasso 2y ago
You should take this proof as saying: if Lean 4 is consistent then New Foundations is consistent. There is no contradiction of Godel's incompleteness theorem.
43.
by francasso 2y ago
I don't think the analogy holds: even if you forget all the preceding non linear steps, you are still left with just a linear dynamical system. It's neither complex nor unitary, which are two fundamental characteristics of quantu
44.
by francasso 3y ago
I skip breakfast (always did, not something that started with the diet), for lunch 120 g of pasta usually with tomato sauce, a banana and an apple. In the afternoon sometime I have a snack of some sort (between 150 to 300 kcal). For dinner
45.
by francasso 3y ago
Great post, I had a different experience with the diet though. I lost 17kg in circa 4 months (an average of 1% body mass per week) while eating mostly carbs (240 g of pasta a day, 3 or 4 fruits) and vegetables. A couple of times a week I wo
46.
by francasso 3y ago
Is that really the case? I'm not an expert in AG, but I would imagine that any major result published in Weil's framework can either be trivially converted to schemes or it has been ported over by now
47.
by francasso 3y ago
You are assuming that the article would actually increase my knowledge
48.
by francasso 3y ago
Am I the only one that after reading opening sentences like "There is a common sentiment I’ve seen over and over in the Rust community that I think is ignorant at best and harmful at worst." just refuses to read the rest? If you a
49.
by francasso 3y ago
How to do transactions in a microservices world: change world.
50.
by francasso 3y ago
Love this, I agree that for someone new to QM the historical approach is probably not the best idea (though I can imagine many physicists would be upset by the qbistic vibes of the article). But, if you have the prerequisites already (class
51.
by francasso 3y ago
You don't need a damn network between two pieces of code just to "do one thing and do it well", for God's sake, I'm so sick of this rampant cluelessness in the industry. Do you saturate the resources of one machine
52.
by francasso 3y ago
TL;DR: Ordinary Differential Equations (ODEs) can have multiple solutions for the same initial condition, and you can imagine physical models where Newton's second law gives you such ODEs. Relevance for reality or physics: none as far
53.
by francasso 3y ago
This is an example where correlation does imply causation IMHO
54.
by francasso 3y ago
This reminds me of a GDC talk where rust was praised because it forces you to either go mad because of the borrow checker or structure code using an entity component system. I find it funny that the value of the borrow checker in all these
55.
by francasso 3y ago
I'm sure the details are different, but the general idea, to me, seems the same as the one descibed by Leo and Sebastian in https://arxiv.org/abs/1908.05647 . Both Koka and Lean 4 use reference counting to know if
56.
by francasso 3y ago
This is also used in Lean 4, which as it turns out is not just great for math proofs, but is also becoming a great general purpose programming language
57.
by francasso 3y ago
YMMV. If you are building a single page app for expert users in a domain, and editing an entity changes the visual context by going to a different page, that doesn't go down well in my experience. We tried it once, with multiple iterat
58.
by francasso 3y ago
There is no class action suing them for psychological damage?
59.
by francasso 3y ago
Isn't there a way to permanently stop lawmakers from proposing to take away freedoms and rights using terrorism or child abuse as excuses? We can't keep fighting this kind of bullshit every few years.
60.
by francasso 3y ago
My interpretation, and assuming they are like lucid dreams or out of body experiences in quality: you retain your normal waking consciousness, the environment changes but your emotional and rational capability of processing events doesn&#x2

More ›