Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
yo_yo_yo-yo
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
10 ms
·
1.
▲
by
yo_yo_yo-yo
1y ago
What precisely is the complaint the actual author is making wrt temporal logic? Surely it is more than the assertion that there is no such canonical one? I can’t decode French elitism.
2.
▲
by
yo_yo_yo-yo
1y ago
NRK was clearly inspired by the Two Ronnies [1]. Those two also made this sublime skit [2]. [1] https://m.youtube.com/watch?v=gi_6SaqVQSw [2] https://m.youtube.com/watch?v=y0C59pI_ypQ
3.
▲
by
yo_yo_yo-yo
1y ago
Sorry you haven’t motivated this at all well. Are transcendentals parallelizable too?
4.
▲
by
yo_yo_yo-yo
1y ago
I vouched for this because I think it is of interest to startup hardware/industrial companies based in Europe. I however am not Europe based.
5.
▲
by
yo_yo_yo-yo
1y ago
What I need is a (rigorous) derivation of the lumped-element model as some reasonable limit of Maxwell’s equations. Appropriate references dearly and desperately requested.
6.
▲
by
yo_yo_yo-yo
1y ago
This woman has an issue with her bank, and not her government. I expect what has happened is that she had solicited funds for her campaign and received unusual flows of money, considering she resides in Mexico, to her account which then tri
7.
▲
by
yo_yo_yo-yo
1y ago
I know I’m old-fashioned, but I’d actually like noon to be where the sun is highest in the sky somewhere in the timezone and I’m totally okay if it’s the western edge for all the lovers of DST.
8.
▲
by
yo_yo_yo-yo
1y ago
Unfortunately it’s easy to say something is happening due to certain forces, but much harder to propose solutions. Here, Dalio provides no such advice. The world ought to come together in a way to collectively navigate a US-exit. That is th
9.
▲
by
yo_yo_yo-yo
1y ago
Before trying to hunt for the actual pdf, this video may be a helpful intro to OpenEMS from Fosdem 2019: https://www.youtube.com/watch?v=ThMLf0d5gaE
10.
▲
by
yo_yo_yo-yo
2y ago
It’ll be totally pointless. China will just finance an overland rail route in Mexico in the worst case. Belt and road is still in progress.
11.
▲
Trade Wars Are Strategic Sector Wars, review of Trade Wars Are Class Wars (2020)
(americanaffairsjournal.org)
1 points
by
yo_yo_yo-yo
2y ago
|
1 comments
12.
▲
by
yo_yo_yo-yo
2y ago
Lovely, thanks for sharing. A reminder that we still have a humanity within ourselves worthy of being tirelessly sought.
13.
▲
by
yo_yo_yo-yo
2y ago
This branch of the discussion stems from my assertion that high-end compute is the enriched uranium of our time. I’m sorry I can’t defend this better. I feel US tech is busy making chatbots and deepfake video generators, and at best fancy o
14.
▲
by
yo_yo_yo-yo
2y ago
TSMC is the only card Taiwan has, hence your argument doesn’t hold water. But, I think I see where you’re going: the US preemptively destroying Taiwan’s fab capacity…
15.
▲
by
yo_yo_yo-yo
2y ago
You significantly underestimate the importance of compute superiority for data synthesis for command & control.
16.
▲
by
yo_yo_yo-yo
2y ago
> You think we’ll still have elections If you throw away democracy do you still have a USA to speak of? I think the answer to that is no, though perhaps I am mistaken that every US patriot has fealty to the constitution.
17.
▲
by
yo_yo_yo-yo
2y ago
Now that I’ve calmed down a bit, I agree with your assessment. The optics game is so important, but Taiwan is in an impossible situation. If I were China, I would give them relative economic independence if they limit advanced process silic
18.
▲
by
yo_yo_yo-yo
2y ago
This analysis, if it can be called as such, misses the fact that the US is very, very politically divided, to the point where I can see elections results being regularly considered illegitimate. That perspective has been allowed to become r
19.
▲
by
yo_yo_yo-yo
2y ago
I cannot even begin to imagine what madness has infected the Taiwanese government to allow this. I feel so sorry for a great, entrepreneurial people. US tariffs will not matter when you are blockaded and Chester Nimitz is very much dead. h
20.
▲
by
yo_yo_yo-yo
2y ago
Hi Tomte, any background on why you linked this paper?
21.
▲
Design of the Ouroboros packet network (2019)
(arxiv.org)
1 points
by
yo_yo_yo-yo
2y ago
|
0 comments
22.
▲
Does the moon look "upside down" in the southern hemisphere?
(sciencefocus.com)
3 points
by
yo_yo_yo-yo
2y ago
|
1 comments
23.
▲
by
yo_yo_yo-yo
2y ago
Hi nill0, please don’t link directly to pdfs on arxiv, but the abstract page instead. Like this: https://arxiv.org/abs/cs/9301110 The reader can decide if they want to go further. Thanks. Also, enjoying your submi
24.
▲
by
yo_yo_yo-yo
2y ago
lupyuen, you advocate for NuttX it seems. What are its advantages over other choices like FreeRTOS, Zephyr, and such? I’d appreciate your thoughts. Perhaps if they’re detailed enough you could blog about it. Thanks.
25.
▲
by
yo_yo_yo-yo
2y ago
All of this is seems admirable, but it reveals the supreme naïvety of an intellect that can advocate for “personal liberty” and “free markets” yet not realize that each can impede the other in certain ways, and so it is necessary to study
26.
▲
by
yo_yo_yo-yo
2y ago
I think two primary things, which are connected. First, Kevin Buzzard, a “real” mathematician (as he self-identifies), promoted computer formalization of research mathematics with the Xena project, and second when looking for tools he latch
27.
▲
by
yo_yo_yo-yo
2y ago
Miriam says it best: https://m.youtube.com/watch?v=AXMfSnk06L0
28.
▲
by
yo_yo_yo-yo
2y ago
Let’s face it, if you guys pick up steam, you’ll be doing your own hardware. It’ll be amazing that if that happens , you’ll also sell that hardware so that other Oxides can bloom, but you won’t and your excuse will be economic. The problem
29.
▲
by
yo_yo_yo-yo
2y ago
That’s the main thing that Tao identifies that Lean enables, collaboration where Lean does the work of checking the output of the collaborator, thus becoming a force multiplier. There’s still the issue of how the proof should be organized,
30.
▲
by
yo_yo_yo-yo
2y ago
I don’t think China cared about Taiwan, apart from posturing, until ChatGPT happened and the US started restricting ML hardware sales. Then the US started pressuring ASML. My, unpopular, opinion is that ML will not be successfully applied
More ›