BenoitP

7 ms·

61.
by BenoitP 2y ago
Thanks for putting words into this. Another cut off could be 3 cm away: the RAM. If data needs to go on the heap, be shared, one can consider the truth lives farther away than 3cm and thus has async/impure effects.
62.
by BenoitP 2y ago
> Now imagine a parallel universe where instead of focusing on making asynchronous IO work Funny choice of words. In the JVM world, Ron Pressler's first foray into fibers -quasar- was named "parallel universe". It worked w
63.
by BenoitP 2y ago
Hah! I knew Sudgy would be your first link. There's relatively little content about GA, but once you're hooked you begin to consume it all. It's like you never got to study Relativity, conformal geometry, electron spins, quat
64.
by BenoitP 2y ago
On child #2, can confirm. We actually planned for it. By planning for no activities. Just bunkering and resting for 2 months straight. We began partial daycare on Thursdays + Fridays in winter. Daycare is like Cancun for bacteria. Dry cold
65.
by BenoitP 2y ago
This. On top of the MCAS modification being necessary in the first place. Higher torque generated because of more off-center thrusters surely raised eyebrows in the stall risk mitigation team. In the end, that's 3 teams where managemen
66.
by BenoitP 2y ago
I'd argue you both could be right. Your comment could lead to a definition of intelligence. Organisms capable of causally influencing deterministic systems to their advantage can be marked as intelligent. The complexity of which would
67.
by BenoitP 2y ago
If you want to build yourself an order of magnitude of how much performance is left on the table in CPUs, consider the following: * A single bit Adder with Carry can be made with 9 transistors, and has to wait for 4 stages for the signal to
68.
by BenoitP 2y ago
What about governance in The Hive? For Cathedral and Bazaar, it's simply the two opposite corners: control everything, or control nothing. Just like we use binary because it's the min and max of voltage: it's simple. We don&#
69.
by BenoitP 2y ago
Can someone knowledgeable about this chime in: > The invention of group theory. In proving that there are no general algebraic solutions for the roots of quintic equations, Abel invented (independently of Galois) what later became known
70.
by BenoitP 2y ago
> It is too complicated. I wouldn't say this. It can bring complications, yes: but only because like a lot of expressive tools people will over-engineer things with them (probably like this sentence) To me, Typescript saved JavaScri
71.
by BenoitP 2y ago
If you like playing with First Order Logic, I cannot recommend enough this playground site: https://incredible.pm/ You can even introduce your 10 year old to FOL with it
72.
by BenoitP 2y ago
The field is evolving quickly and it's pretty to see. Another deeper reason to me is that it employs some neural network techniques -which have differentiability-. This means that you can backpropagate errors from a domain to another.
73.
by BenoitP 2y ago
Seems like it's quite doable even with standard equipment. I follow an FPV (first person viewer) youtuber and he did quite a good series on his Everest trek. Did not go higher than base camp, though. Here it is: https://m.yo
74.
by BenoitP 2y ago
I wonder if a set of learned function (can|does) reproduce the truth tables from First Order Logic. I think it'd be easy to check. ---- Anyways that's great news for differentiability. For now 'if' conditions expressed i
75.
by BenoitP 2y ago
They do have a saying about catching a falling knife at Wall Street. This is definitely not my expertise though, I'll let others comment.
76.
by BenoitP 2y ago
This is the future. As we try to go 3D and start stacking dies, the limiting factor of heat is getting even more blocking. It's not about consuming less electricity. It's about dissipating less of it as heat inside the microproces
77.
Creating a game with React – part 1(tonai.github.io)
1 points by BenoitP 2y ago|0 comments
78.
by BenoitP 2y ago
Seems quite close to the 'active learning' ML topic: let the model choose the question that will bring the best information return. And this kind of decomposition using simple knowledge pieces (logical axioms?) is IMHO what we hav
79.
by BenoitP 2y ago
Well, I consider Lorentz' work to be old hat. I can't find an older example though. https://en.m.wikipedia.org/wiki/Lorentz_group
80.
by BenoitP 2y ago
Ah the good old days of Michael Arrington. TC was my gateway drug to silicon valley produced news, including HN. He had the habits of pulling stunts like showing up at meetings he wasn't invited to. And the ways of a savant lawyer at
81.
by BenoitP 2y ago
You should jump straight to geometric algebra. It's actually simple there. Quaternions and Complex Numbers are about just some not so special multivectors. Here are 2 45mn videos you'll not regret: https://youtu.be&#x2F
82.
by BenoitP 2y ago
In the "Multivector Derivative" section you may plug in an arbitrary multivector function of your liking: https://en.wikipedia.org/wiki/Geometric_calculus
83.
by BenoitP 2y ago
At some point there has to be acknowledgement that the design envelope is unsound. Newly fitted engines have moved the center of thrust far away off the center of mass. This creates huge torque; especially as is it often done in emergency s
84.
by BenoitP 2y ago
React! This has been on my Christmas wish list since Observable was first published. Thanks mbostock!
85.
by BenoitP 2y ago
This should be seen in light of the Great Differentiable Convergence™: NERFs backpropagating pixels colors into the volume, but also semantic information from the image label, embedded from an LLM reading a multimedia document. Or something
86.
by BenoitP 2y ago
For context (because he's too good to brag) OP is among the original creators of Apache Flink. Question for OP: I'd bet Flink's Statefuns comes in Restate's story. Could you please comment on this? Maybe Statefuns we&#x2
87.
by BenoitP 2y ago
---- Updates: (SpaceX) 6:45 AM CT The Starship team is go for prop load (SpaceX) 6:04 AM CT Now targeting 7:50 a.m. CT, official stream says broadcast starting at 7:10 AM CT ---- Streams: High Quality VLC: Open VLC, Media, Open Network Stre
88.
by BenoitP 2y ago
--- When Broadcast usually starts 30mn beforehand (6:30 AM CT) Launch window: 7:00 AM CT - 9:00 AM CT ---- Streams: High Quality VLC: Open VLC, Media, Open Network Stream, paste following, Play: (higher quality) (will post as comment when t
89.
Starship's Fourth Flight Test(x.com)
4 points by BenoitP 2y ago|2 comments
90.
by BenoitP 2y ago
There's the Stowe Janey Scerri Table. https://en.m.wikipedia.org/wiki/File:Stowe-Janet-Scerri_Peri...

More ›