rocqua

17 ms·

271.
by rocqua 2y ago
From what I have heard when talking to the people behind formal analysis of protocol security, the main problem currently with using LLMs to 'interact with the theorem prover for you' is that there is nowhere near enough proofs ou
272.
by rocqua 2y ago
I feel like the four-color theorem automated proof is much more 'human-readable' than the proofs done with automated theorem provers. Because with the four-color theorem, there is a human readable proof that says "if this fin
273.
by rocqua 2y ago
There was a post yesterday of a quanta article: https://news.ycombinator.com/item?id=42644896 . The article explains that two mathematicians were able to place Apery's proof that ζ(3) is irrational into a much wider (an
274.
by rocqua 2y ago
Did you press ALT? It displays icons over all fabrication and storage devices showing what they are making/holding.
275.
by rocqua 2y ago
Research universities have plenty of professors who are there to do research. But they often still have a teaching responsibility. For those professors, teaching students is a mandatory thing they only do so they can keep their job doing wh
276.
by rocqua 2y ago
Put in AI to justify saving on support staff. Then hire more people to convince customers the AI is actually just as good as speaking to a real human... It feels like mixed messaging about whether AI is actually good.
277.
by rocqua 2y ago
If you want to switch the license on a software project away from GPL, that is possible. All old versions were and will remain GPL. Any new versions can stop being GPL as long as all copyright holders agree to let this happen. You cannot us
278.
by rocqua 2y ago
Stabdards development is very much done to push regulators to adapt new things. The incentive is either to be able to develop new products that give a reason to upgrade, or royalties from the standard, or patent license money.
279.
by rocqua 2y ago
If the arguments to the function required are small, then breaking such a block down makes sense. Otherwise, it usually feels like an unnatural function to me.
280.
by rocqua 2y ago
I don't not care about music, but I don't want to put in effort. I can live my life without music, but I prefer having good music in my life. Spotify suits my needs perfectly. Even if they do this fake music, it still works well e
281.
by rocqua 2y ago
Well measured and empathetic arguments.
282.
by rocqua 2y ago
Yes, though I think smart shuffle might be a default mode for playlists. People who enable these functions will expect spotify to pick the best guess of what music they would enjoy. Not what music costs spotify the least to play. If this is
283.
by rocqua 2y ago
How big (and noticeable) does the reduction in quality need to be. Especially because spotify is such an easy platform. Changing to another streaming service requires learning a new app, moving over all playlists, and likely means still a p
284.
by rocqua 2y ago
> I presume that people that are actively listening to filler are not appreciating music in their cozy living room while sipping on a glass of fine whiskey. That feels like a false dichotomy. Certainly for myself I can put on a generated
285.
by rocqua 2y ago
If the supermarket slowly adds more fat to their products, people will probably continue eating without noticing. But calling that an active decision is quite a reach. Similarly, this isn't an active choice of users. And the harm isn&#
286.
by rocqua 2y ago
You can enable it. Either through 'smart shuffle' or by looking at the suggested added songs. There is also 'song radio', discover weekly, and automated playlist based on mood or Genre. I presume those playlists based on
287.
by rocqua 2y ago
The problem is that their automatic song selection now chooses songs based on what earns them money. Rather than their best guess of what people want to hear. This isn't disintermediating the record labels. It's taking audiences f
288.
by rocqua 2y ago
Spotify has automated 'next song' and playlist creation. Those are (or used to be) valuable for finding new music, and for getting out of a rut. But now spotify isn't selecting what goes into the playlist based on their best
289.
by rocqua 2y ago
The issue isn't that the data sent over the wire changed too much. Instead, the semantics changed too much. Adopting IPv6 would ideally have been as simple as changing a socket definition and your address types. But so much of the sema
290.
by rocqua 2y ago
People hunt for counter examples to proofs they are working on. If the basis of their work is wrong, it's quite possible for one of the counter examples to also disprove the base theorem. So building on a faulty foundation is likely to
291.
by rocqua 2y ago
I think the resolution is being much less strict on paper appendix size. And slightly shortening the main body of a paper. Let the main text communicate to the experts. Let the appendix fill things in for those looking to learn, and for the
292.
by rocqua 2y ago
I love the concept of the cylindrical burr, but it is just arguments now. I'd love to see data on retention, and particle size distribution.
293.
by rocqua 2y ago
He wouldn't take it. He'll review it after it's been on the market for about half a year, without any money. Lance hedrick is also a decently respected voice who does usually take sponsored reviews, whilst being honest.
294.
by rocqua 2y ago
This isn't a list of shoulds. It's a list of, generally dones. Big difference. This one is still nowhere near universal enough to count in the original lisr sadly.
295.
by rocqua 2y ago
This is about radiated power in any direction not exceeding what you would get with an omnidirectional 1W antenna. So beamforming under these rules lets you use less input power for the same directional power. But it doesn't let you
296.
by rocqua 2y ago
Plunging cuts, and 'cove' cuts. Also smaller blades like dado stacks. With a cove cut you move the fence to about a 30 degree angle to the blade, to get an elliptical cove along the length of a board. It's a rare thing to nee
297.
by rocqua 2y ago
Generally you want to oull the blade down, more than you want to stop it. Get it away from the finger, rather than stop it so a finger can push into it safely.
298.
by rocqua 2y ago
I could imagine more adulteration happening as globalization goes up, because traceability gets so much more difficult. Food safety has probably gone up over the past 30 years. But I suspect adulteration has too.
299.
by rocqua 2y ago
To clarify, you are saying the point of std::move is that it returns an rvalue reference, allowing the called function to pick the overload variant that is allowed to trample and destroy it's argument? Specifically, what you did not ma
300.
by rocqua 2y ago
I find dual 24 inch 1440p q great compromise. Higher pixel density, decent amount of screen real estate, and nice to have an auxiliary monitor when gaming. I run the second monitor off the IGPU so it doesn't even tax the main GPU.

More ›