skysight-inc/HackerNews huggingface dataset:
They’re probably referring to the fact that QUIC always performs TLS1.3 negotiation as part of its transport handshake, there’s simply no unencrypted version of it. However WebTransport actually supports providing a certificate hash at connection time on the client and ignoring the normal Web PKI altogether. But I doubt that will stop anyone who instinctively hates it because it came out of Google from continuing to do so.
> I don't think Electron is required in order to have rich extensions - just see Vim/Neovim, Emacs, or any IDE

At the cost of difficulty. Recently I wrote a VSCode extension myself with zero prior knowledge (shameless plug: https://github.com/CrendKing/universal-format-on-type/), in probably one day. All I needed to study is their extension API that I cared about. No need for learning a whole new language or DSL. Also easy to debug since there is no compilation and little environment setup.

There is a good reason even though everyone acknowledge about Electron's performance cost, everyone is still using it.
it's pretty awesome that we got to live through a period where it still required a human brain to do the programming.

welp. onward.
This is so cool! In the book that I described in my blog post, the author (Joe Keohane) explains that sometimes people need a sort of "permission" to engage, your events fulfilled that.

Another well accepted context for strangers to engage is when something bad or disastrous happens. Better not wait until that time, but it is easy to understand that boundaries fall away when the going gets tough. It is a survival mechanism.
An oldie but a goodie: https://popula.com/2019/02/24/about-face/
The History, Impact, and Future of the Plain English Movement
A lot of bridge tolls are by axle count, so there's pressure not to increase those.
Probably should get merged with https://news.ycombinator.com/item?id=38266773.
> In effect, large language models act as a virtual machine that is “programmed” in natural language.

Well this seems like >60 mins of life I'll never get back, nope.

This would be fine for small tasks. I'm not going to trust security sensitive work, critical systems, etc to something specified in natural language that isn't verifiably correct in any way.

A virtual machine executing natural language? Nice hand waving.

Delivered by a PhD with a startup invested in AI. The conclusions are surprising. </sarcasm>
Vehicular manslaughter:

California:

A felony vehicular manslaughter conviction is punishable by 2, 4 or 6 years in state prison.

Colorado:

Under Colorado law, vehicular manslaughter in the second degree is considered a Class 4 felony, as outlined in Colorado Revised Statutes Section 18-3-106. The potential penalties for this offense include imprisonment for a term ranging from 2 to 6 years and a fine between $2,000 and $500,000
Ask HN: Tech Forecasts for 2024 – Any Surprises on the Horizon?
Curious to hear about your unconventional tech predictions for the next year. It's challenging to keep track of every innovative trend, especially with the potential for unexpected breakthroughs. My focus has been on AI, particularly since 2018, and I was amazed by the rapid advancements in transformer technology. I kept telling everyone I knew that this was going to be huge, but it felt like the boy who cried wolf until it actually happened. What insights do you have for those willing to heed a 'cry for wolf' in the tech landscape? What do you think will be the next big thing in 2024?
Did the bike lane remain after they were voted out? If so, that is success.
Curious. How can AI/ML perform on a problem that is, as far as I understand, inherently chaotic / unpredictable ? It sounds like a fundamental contradiction to me.
Yep. Pine needles are the worst. Gutter guards are a timesaver.
Words mean whatever the standard usage of them is. You can’t just declare a word to have a certain meaning. This is not my opinion - this is what scholars of language believe about language. The meaning of words changes over time as society finds other uses for them.

https://ludwig.guru/s/one+person+team
There are plenty of traditional corpos hiring for .net roles but not many startups choose it as their stack
Tires make or break snow driving, no?
If you've ever worked on a modern car, you'd know the importance of the 10mm wrench. Maybe they had some Toyota guys consult on the ISS.
The problem is this study is probably already being shared around social media by very questionable people who's interest is selling their diet book.

People quite rightly talk about "big pharma" but ignore that diet fads and dodgy supplements are also a billion dollar industry that is far less regulated than the former.

I watched a video yesterday where a doctor pointed that drugs to treat high blood cholesterol were more effective AND cheaper than Berberine.

Still most of the comments where just calling him a shill for "big pharma" without even a little curiosity about the industry behind supplement's.

The worst are the comments from people saying natural supplements worked for them... and then you see their account hasn't been active for 5 years :(
Maui is built on top of winui, Android ui and iOS UI. It just looks like WPF, which again influenced winui
Condensing boilers only reach that efficiency if you do the same kind of radiator sizing that people complain about needing to do for heat pumps.

Measured efficiency is 10-25% lower unless set up correctly.

Details: https://www.theheatinghub.co.uk/boiler-efficiency-guide-and-...
I’m not familiar with how the *nauts tether themselves to the station, but I figured it would be something similar to safety tethers when working up high in precarious situations —2 tethers with only 1 allowed to be disconnected at any particular moment. I wouldn’t have been surprised if the same thing were done for anything that they don’t want to float away. But, perhaps that adds more complexity than it’s worth.
It doesn't need to be 100% perfect. Just 99%. Don't let perfect be the enemy of great.

I write Qt GUIs for Linux+Windows, and no Windows user can tell it's not "native" (not that there's a native Windows look anymore, what with MS being schizophrenic about scrapping the UI framework and starting a new one everytime a new PM wants attention, only the classic widget look associated with Windows is still the 2000/XP/7 is recognizable).

Qt apps are super performant, and write once, run anywhere for 99% of GUIs anyone wants to create.

OSX users might be the only one that complain, but they're a tiny minority of users, and it's good enough in most cases, with fantastic performance to shut up the doubters.

Electron apps are hideous, bloated, and slow, relative to the Qt apps I write. I'm only held back by C++ being a shitty archaic language/ecosystem, and if .NET offered an alternative I'd jump ship immediately, that's why I'm so disappointed it's an afterthought.

P.S. Languages designed for "hypertext markup" are not meant to create rich UIs, and can never compete with a native framework. Everything in the JS world to create rich applications is a hack and you can see it in the code and the endless churn of frameworks. When I write something like QML, the intent is clear. When I look at the JS UI frameworks people are hacking hideous HTML templates and conditional logic, list iteration, etc in HTML templates. And nearly every JS UI framework project is written by 1-2 intermediate devs with comparatively little API design talent, who inevitably break backwards compatibility within a year or two.
There is not "about a hundred yen per usd".

Awesome how almost every time I see almost anything asserted on HN within my areas of expertise it will reliably be dramatically incorrect.

USD/YEN > 150
Honest question, Does the DMCA allow hosts to require proof before action?

If their liability isn't contingent on being provided valid evidence beyond a simple statement, then hosts don't have much of an ability to perform an assessment.
A success relative to what? Criminalization of homicide hasn't eliminated homicide either; that's not an argument for legalizing it.
Sure, although if you know for a fact that your content is true, nothing is stopping you from reposting it multiple times/places for those two days. Regardless, I suspect the previous poster didn't follow the DMCA process and instead just wanted to complain. It's trivial to send a response and have your content rehosted, but most people don't bother.
The problem is that in the past companies tended to have to flock together. You're a financial conglomerate, you had to be on NYC, you are a OEM manufacturer for the automobile industry, well, the idea is that you sort of had to be on detroit. You're a startup founder? you need to be in the bay area.

So, you end up with those giant clusters of activity and people had to somewhere be able to live close to them. As people started making more money, starting families and having kids, they wanted to move into more enjoyable living, not everybody is a fan of living in a rat cage in a soviet urban project like most HN and urbanists seem to love. So, they voted for those freeways, they found the freedom to live in more humane settings in the wheels of a car that allowed them to escape the nightmare of living on Gotham.

I believe we can have both things. We can have cities, but we don't need to have only a couple of giant, nightmarish big cities. We just need to spread the business activity.
Bug fixed.

[me@fedora ~]$ time perl -n -e 'length($_) == 11 && /^[^a]*a[^a]*$/i && /^[^b]*b[^b]*$/i && /^[^c]*c[^c]*$/i && /k.$/i && print' /usr/share/dict/words | wc -l
17

real 0m0,160s
user 0m0,153s
sys 0m0,008s
I think in theory Robotnaut 2 was supposed to be something that could eventually be that: https://www.nasa.gov/robonaut2/

But going with a humanoid form factor made it overlay ambitious and all that complexity prevented it from being useful for the kinds of basic teleop + grab tasks you're envisioning.
One is a research problem, the other is a an engineering problem.

Sure search was a research problem 30 years ago, but most competent undergrads can design a search engine now. You need engineering power to scale it and admins to keep it running.
Found one of the ones I've read:

https://www.motherearthnews.com/sustainable-living/renewable...
Is it? The solar roof tiles where unveiled in 2016 as a finished product and Tesla took 1000$ deposits, 2 years later they where still figuring out if the tiles they had where durable enough as roof tile. In 2019 he claimed that autonomous robo taxis would be ready 'next year' they are still working on that.
I've heard Intel does use TLA+ extensively for specifying their designs and verifying their specs. But TLA+ specs are extremely high-level, so they don't capture implementation details that can lead to bugs. And model checking isn't a formal proof, only (tractably small) finite state spaces can be checked with TLC. And even there, you're only checking the invariants you specified.

That said, I'm sure there's some verification framework like SPARK for VHDL, and this feels like exactly the kind of thing it should catch.
Comrade, I use self-checkout to undermine Accenture business case for firing checkers and to fight back against unpricipled capitalist dogs' greedflation.
Common headlight height, while you're at it.
If your body cannot find blood glucose for metabolism then it will respond by efficiently digesting dietary fats and maintaining high lipid levels in the blood.
Same here, was a backend software engineer, now even embedded ;-)
I'm slowly coming around to this conclusion as well.
Rowhammer is an electrical vulnerability though. PP specified non-electrical vulns.
Depending on the wavelength, Spectralon (sintered PTFE powder) is a bit better. At least until it gets dirty.
It’s not that you can’t achieve the goal, it’s that you can’t force people into it by making their daily lives worse. Or at least that seems like that would be the least effective political strategy.
As a child you are taught to approach the street, look both ways, and don’t cross until after the cars have passed or if they are all stopped for you.

no confusion there.
I'm not smart enough to tell at face value if this is actually something noteworthy and useful, but that's a cool looking hunk of metal.
"Garbage disposal, what a way to go! Garbage disposal- meet so and so."

Still stuck in my head to this day
Somebody observed in this thread https://news.ycombinator.com/item?id=38233905 seeing the town shake on camera
> For those motivated, getting broad education makes them much more productive.

That seems unlikely. It's unclear how the sorts of "broad education" that you mean could make them more productive pouring coffee, or running the cash register at the grocery store. Because that's where a great many of them end up.

Of course, working their barely-more-than-minimum wage jobs, with $40k, $80k, and sometimes far greater sums of student debt... it would have to be some incredible amount of productivity gains. Even then though, it doesn't seem that they themselves get any slice of those gains.

> Vocational schools are a better fit for many people and we should encourage them.

I don't think we can encourage those. I think we've spent decades undermining them, short-shrifting them, and in general, downplaying them. If people did start to want to attend them, it's unlikely that they have the capacity to expand. It's not entirely clear that these work either... much of the industry in the United States has evaporated entirely and there is only so much capacity to absorb additional plumbers and diesel mechanics.

This is a different sort of problem than I hinted at in the first comment. There is a problem of there being no viable paths to success for the majority of high school graduates, whether or not they go to college.

Already set up for failure (to one degree or another), tacking on any sort of educational debt is just chaining the boat anchors to their neck.

The natural reaction is to think about it on an individual level... "well, why can't that kid go get a STEM degree, or become an offshore welder, or become an artist and make a living selling sculptures from their bohemian loft apartment?". And for any single youth, for any 100 of them, these answers can make sense. But for all of them in total, these answers fall far short of what is needed. We can't employ 1% or even 12% of them, and call it a day. We need jobs and careers for 98 or 99% of them. It's fucked.
Learning to read body language and understanding which people are open to conversation helps with "town lunatic" syndrome.
> Isn't that unusual given how quick all the officials and media are to blame just one side of the conflict (we know which one) for everything, with or without evidence?

Does it really matter who's doing the shelling? The shelling is fundamentally happening because Russia invaded Ukraine in a war of aggression.

(The IAEA is likely not all that equipped to determine the source of artillery fire. That's not really their thing.)
"Tesla's lawyers decided that the pushback from state consumer protection laws would be significant and problematic."
In VFX generally they don't bother capturing depth because its much noisier than the alternative: replacing the subject with a 3D rendered object. Using markers to track motion, and marrying them up to model marker points is allows artistic interpretation of the actor's movements. (or static object's )

Lidar is noisy, and doesn't have a 1:1 pixel mapping between image pixel and depth pixel.

Even when we had stereosopic recordings for 3D the depth map we could generate was always a bit shit. Granted things have moved on in the last few years.

> We have 8k/120Hz cameras now, although I'm not too well versed in how increasing the refresh rate affects how the camera captures light, and what effects that has artistically.

If its a RED it has shit colour sensitivity. however, generally running cameras at higher framerates require more light. but the shutter angle is generally faster than the frame rate (when you record video on your phone outside in the sun, the shutter speed is 1/1000th of a second, even though its doing 60fps)
There are places that have torn down highways and deliberately made a hundred million people’s lives so difficult they are compelled to move? In the name of transportation efficiency?
In this case it worked out fine, but if the tool needed to complete the task was in the tool bag, things would have worked out differently. Bonus points if one of the tools needed to undo what they had started was also in the tool bag that got away.
I haven't seen any of Miyazaki's work - which of his movies would you recommend I watch first and why?
What's your threat model? The number one killer of children under 16 is cars.
In my mind presale is investors seeking potential appreciation by buying a product before it’s finished being manufactured.

So it’s a reward for speculation on a pre-order and that’s the parallel you are referring to, correct?

In this case the company seeks to restrict that speculation not to improve the opportunity for early investors who took the risk of preordering a product or a home but simply to restrict the availability of aftermarket product for their market benefit.

Read what was in the actual contract:

> Cybertruck Only: You understand and acknowledge that the Cybertruck will first be released in limited quantity. You agree that you will not sell or otherwise attempt to sell the Vehicle within the first year following your Vehicle's delivery date. Notwithstanding the foregoing, if you must sell the Vehicle within the first year following its delivery date for any unforeseen reason, and Tesla agrees that your reason warrants an exception to its no reseller policy, you agree to notify Tesla in writing and give Tesla reasonable time to purchase the Vehicle from you at its sole discretion and at the purchase price listed on your Final Price Sheet less $0.25/mile driven, reasonable wear and tear, and the cost to repair the Vehicle to Tesla's Used Vehicle Cosmetic and Mechanical Standards. If Tesla declines to purchase your Vehicle, you may then resell your Vehicle to a third party only after receiving written consent from Tesla. You agree that in the event you breach this provision, or Tesla has reasonable belief that you are about to breach this provision, Tesla may seek injunctive relief to prevent the transfer of title of the Vehicle or demand liquidated damages from you in the amount of $50,000 or the value received as consideration for the sale or transfer, whichever is greater. Tesla may also refuse to sell you any future vehicles.

Who wins? Tesla. They are able to capture the demand and prevent speculators (essential demand scalpers) from softening their market. You don’t own it you own the rights to use it less repayment terms. This is what they removed. I think it’s egregious market manipulation.
Benchmarking is always problematic -- what is a good representative workload? All the same, I'd be curious if the ucode update that plugs this bug has affected CPU performance, eg, it diverts the "fast short rep move" path to just use the "bad for short moves but great for long moves" version.
> I don't see why it would be a reasonable assumption by default that Tuta willingly uses weak (or no) encryption.

Quite the opposite even, according to them at least. They are one of the first pioneering post-quantum encryption in email.
But (pun intended) surely I'm not the only person reminded of this piece:

https://www.dailyartmagazine.com/bosch-butt-music-garden-ear...
There are different types of large trees with variations in structural strength of root systems that can be planted far enough away to not be a fire or mechanical hazard but close enough for shade. Minimizing surface roots by choosing the right species. Where I grew up, there was a storm with straight line winds 110 mph that took out every fence but only half of the trees and very few of the old trees.
>I'm not going to trust security sensitive work, critical systems, etc to something specified in natural language that isn't verifiably correct in any way.

Uh...so people?

Competency is the real bottleneck here not whether you're dealing with a black box or not.
> If crates.io goes down or access is otherwise disrupted then the Rust community will stop work. It is profoundly unresilient to have a single point of failure like this. Certainly some people will have vendored their deps and others will have a panamax mirror handy, but for most, Rust as we know it stops if this one particular web service goes down.

If you can’t wait for recovery, I’m pretty sure cargo can pull source from any accessible git repo.

> There is no mediation of any kind between when a new library/version is published and when it is consumed. You need only one author in your maybe-hundreds-of-dependencies tree to be hacked, coerced or in a malicious mood for you to have a really bad day.

How is this prevented on Linux distros? Surely not every piece of code is being audited to prevent supply chain attacks?
Amazing. Is there an easy way to run this on a local laptop?
View Model Lifecycle as starters, the amount of HTML, CSS and JavaScript boilerplate code that got generated leading to lenghty debugging sessions, and the way most JSF frameworks were basically incompatible with each other.

Example, using RichFaces, and then trying to use something from PrimeFaces, IceFaces, or something else Faces, was always open to surprises mixing their lifecycle expectations.

I was involved with a RichFaces based JSF framework, during three years, and afterwards going back to something like plain JSP and tag libraries felt quite refreshing.
Maybe we should just call it artificial un-intelligence for the way it is able to remove all intelligence from observers and commentators.