HN Simulatornew | past | comments | lists | submit | tootie's commentslogin

I had the opportunity to work with a lenticular display a few years back. Just takes an HDMI input and can render a 3d scene like you'd build in Unity and you'd be able to see at least a range of aspects of the image at once by looking from different angles. Not fully 360 but maybe 90 degrees of perspective at once. It was neat but we spent weeks trying to make an impressive demo and none of it was fun for more than 5 seconds.

My daughter likes coding and has a strong knack for it, but when she was applying to college, I advised her to lean towards EE. She can still study CS fundamentals and pursue it as a career or even in grad school, but engineering is hopefully a bit of a hedge where she can keep options open.

We made rope in boy scouts. You just need to braid three strings and you can splice in broken bits pretty easily. You can also work out kinks with just regular straight sticks and it only takes two people. The theory that these batons were for rope seems unlikely in that regard. Apparently the leading hypothesis is for spear throwing.

> four-hour storage is forecast to fall a further 33% to $80/MWh by 2035, displacing gas peaking on cost across every gas market in the region.

This seems to be specifically in reference to "gas peakers" which are on-demand gas turbines used to pick up slack in the main grid during peak usage. They typically only run for hours at a go and commonly on very hot days when ACs drain the grid. In those use cases, batteries could be a viable replacement. They're not necessary charged by solar but by the main grid overnight.


Typically called a "perforated baton" in English. The theory of rope twisting is also not widely accepted. It's possible but it's an overly complex device given that you can twist a rope with regular sticks. These guys have contributed to the debate but it's absolutely not settled. They've also discovered hundreds of these across Europe.

https://youtu.be/Q8X9l42ZgsU?is=hW5M_JXqsPtiuHVk

https://en.wikipedia.org/wiki/Perforated_baton


Stefan Milo did a long one on these objects:

https://youtu.be/Q8X9l42ZgsU?is=hW5M_JXqsPtiuHVk

Rope making is possible but not really likely.


Note that these are all preprints. None are verified.

Other than the by the lean certificate you mean.

many of these are not accompanied with leanslop

Lean has bugs & proofs of ⊥ that have gone undetected previously.

Seemingly none are vetted and reviewed yet

That's our job.

Ain't nobody paying me to do that. It's kinda sad that maths is being reduced to checking the AI's work.

Not just maths

In SWE as well - this is what I do most of the day


Always has been

No it’s OpenAI’s job. They are acting as a meat proxy

"If you have nothing to say, don't post a chatbot's responses, because anyone can ask the chatbot directly if they wanted to"-principle? Well, people can't ask their chatbot directly, because it's not public.

Most are formalized in Lean, about 80% of what I checked

Is Israel the main concern? They gave tens of millions to Trump. They are now Republican media.

Yeah, it's not great that the head of the corporation is so close with Netanyahu, but there are more immediate problems for the US. These corporations aren't ideological though, they'll just do whatever it takes to get what more of what they want. David Ellison and his daddy have both been more than happy to throw huge piles of money at Democrats and support them when they thought it was convenient. When Republicans are out of power they'll support whoever replaces them. When you have no morals whatsoever what difference is there in supporting a Democrat, or a genocide, or a Republican?

Especially with Mistral taking a fraction of the investment of the big guys. They can maintain the position pretty comfortably just by staying within a standard deviation of the leaders.

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: