yo_yo_yo-yo

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.

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

Sorry you haven’t motivated this at all well. Are transcendentals parallelizable too?

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.

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.

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 triggered an issue with her bank.

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.

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 the only solution I can see. It will not be palatable to Trump, who will probably want Europe, China, and India to become isolationist themselves.

Interesting times.

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

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.

Wow, this guy. What a fragile ego. There is no insight in any of Gruber’s posts. He’s a man-child that simply salivates on whatever new shiny thing Cupertino drops without an ounce of critical neutrality. Compare his work to “Rotten for a while now” by Riccardo Mori and the difference couldn’t be any more startling. Gruber’s writing is simply a total waste of my limited bandwith.

Article: https://morrick.me/archives/9971

HN submission: https://news.ycombinator.com/item?id=43375768

Lovely, thanks for sharing. A reminder that we still have a humanity within ourselves worthy of being tirelessly sought.

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 overpriced drones like Anduril. This is not the future of warfare.

I have nothing to say about Ukraine. My original root comment is simply that weakening TSMC’s capacity by spreading it to the US is not in the interest of Taiwanese security. But as I responded elsewhere, this is probably just optics.

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…

You significantly underestimate the importance of compute superiority for data synthesis for command & control.

> 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.

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 silicon to other countries and let Huawei and others monopolize the advanced nodes. The US at present does not appear to be a dependable partner.

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 reasonable, which is very, dangerous.

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.

https://news.ycombinator.com/item?id=43123628

Hi Tomte, any background on why you linked this paper?

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 submissions, but please pace yourself.

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.

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 and debate the dynamics and structure of this interaction.

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 latched onto Lean because he felt it more ergonomic. [1]

He later discovered why Coq, Isabelle/HOL, and other tools did things in certain ways [2] (which were more “natural” to computer scientists) but by then his advocacy and inertia (the growing, curated MathLib) cemented Lean as the tool mathematicians tried first and sort of stuck with.

[1] https://news.ycombinator.com/item?id=21200721

[2] https://xenaproject.wordpress.com/2020/07/03/equality-specif...

Miriam says it best:

https://m.youtube.com/watch?v=AXMfSnk06L0

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 is none of these hardware vendors have enough customers for them to be open with their specs. Even if they did, the majority of their customers would not have the expertise that you’ve hired for to competently take advantage of that interface. Instead, they’ll lob some HAL code at the customer, and if their orders are big enough, give them support. Internally, these hardware vendors will have multiple sourcetrees for each customer, and one customer’s fix will not be reflected in anothers for fear that it’ll break whatever the other customer is doing with it.

:(

That said, I hope you guys are supremely successful and spark a change in culture.

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, how it should be factored into various implications, and here, like in the Linux kernel, contributors with seniority referee the process, as Tao did with his “experiment”.