skysight-inc/HackerNews huggingface dataset:
You're not wrong, but formal verification is still useful for multiple reasons:

1. Cases where specification is much less complex than implementation, like proving a sorting algorithm - the spec is very simple, forall integer i,j : i<j ==> result[i]<=result[j] plus the requirement that elements may not be removed or added

2. Ability to eliminate checks for improved performance (not sure if this applies to Rust yet, but it works great with Frama-C).

3. "Unit tests" for entire classes of behavior, not just specific inputs. Even if you cannot write a formal specification for a huge complex protocol, you can incrementally add asserts which cover much more area than simple unit tests.
Well no, we actually have this model in the UK with internet, electricity and gas - you have one infrastructure maintained by a national operator, but you buy your services from any provider you wish, so there is competition in for example who provides your gas, even though obviously no one comes to your house to change your gas pipes every time you change providers.
Interesting section:

> Relying only on ingredient and food names extracted from a recipe database would limit the ability to capture a broader range of culinary terms, since there could exist food-related assertions that do not necessarily contain those terms, which in result may narrow down the scope of the resulting assertions.

> To mitigate this, we also add general terms such as “Food” and “Nutrition” as well as specific terms such as “Vitamin B” for nutrition and “Diabetes” for healthy diet. We develop a two-level ontology, allowing us to categorize 1,600 culinary terms.

>We use ChatGPT3 to collect those common culinary terms. The prompt “Please provide an exhaustive list of verbs related to cooking actions and techniques, such as chopping, slicing, seasoning, and garnishing.” is used to collect common culinary terms. Additionally, to acquire the list of professional or scientific terms related to food, we utilize the prompt “I want to develop a dataset based on food computing and want to aggregate abstracts of related papers. Please suggest me 20 keywords that will provide such insights.”
Didnt read the article.

A humourous response to a humourous heading.

To increase the chances of spreading bird flu and monkey poxs from cows in Texas to cows in California..

Do you think they would pop over to the UK and release a bag of Mozzies through the window into my neighbours home.. She kept me awake half the night with her shit music.

Love to see that ignorant rude woman with Monkey Poxs.
Being poor is the natural state of humans. We have been poor for thousands of years, with regular famines eveywhere. Even in the richer parts of the world, there where deaths due to starvation if the year was bad.

Then it came capitalism. For the first time in history, a country eliminated famines just by adopting the new of organizing production. They were still poor people who lacked things, but they lived in the only part of the world where at least they could count on not starving to death.

Then some countries organized as socialism, and they caused huge famines, that in a rare historical event, were not caused by climate or a natural catastrophe, but by wrong resource allocation.

You can criticize capitalism, but not on terms of producing what people want. In that field we don't know any other system that does it better. Capitalism is bad at distributing the wealth equally to everyone, causing that some people cannot have some things, but also we don't know a better model that does it while keeping poverty away.

If people today doesn't have unbreakable glassware (it exists!) is just because they prefer cheaper and fancier glasses from Ikea. When I need a truly unbreakable "glass" I buy a titanium made camping glass. In general we don't want all products to last a long time: we want to change our car to get the newest fancy things, we want a bigger and faster phone. We don't want a single pair of shoes that last forever, but lots of shoes to match with lots of clothes. There are long lasting shoes, but they don't sell well (i.e. people don't want them, even if they say so).
Why would I read books when I am just look at the gram ? It’s such an easy safe way to get a dopamine hit.
this is so painfully obvious it frustrates me that it needs to be continuously stated.

why are people so eager to blame this problem on obviously miniscule factors?
Wait, you're saying that British voters in 1989 couldn't reasonably have known the Conservative Party favoured water privatisation, because they wouldn't have read the small print of their manifesto? And also that voting margins and turnouts were so small that the election results might not be representative?

This was the third successive Thatcher government, after the previous two had sold off Britain's nationalised companies in aerospace, telecoms, car manufacturing, oil and natural gas [0]. It got reelected in a landslide victory with 75% turnout. [1].

And then you call someone else disingenuous?

The British people absolutely got what they wanted, and have only themselves to blame.

[0] https://www.theguardian.com/commentisfree/2012/mar/29/short-...

[1] https://en.wikipedia.org/wiki/1987_United_Kingdom_general_el...
> I think the free market is probably a better outcome as long as there is oversight and regulation. The problem is weak regulation.

Public services can be regulated and have oversight, too. What properties do private services have that make them more amenable to being regulated?
> 8 years ago the cloud did not effectively exist yet

Yeah it really did. I’ve been around a while. “Cloud” was becoming a buzzword around the tech industry 16 years ago. 8 years ago we had AWS, IBM, and Microsoft all vying for our business on this project.

> For most demanding customers, cloud providers have a solution called «the cloud appliance». A truck rolls in with the hardware that gets deployed as an extension of your own private cloud within a few days

None of which was as cost effective as adding more capacity to your own data centres, if you’re already running them at scale, because fundamentally someone is profiting from renting out those cloud appliances. If you have the in-house capabilities already, you can cut out the middlemen.
OpenAdapt: AI-First Process Automation with Large Multimodal Models
MIT abandons requirement of DEI statements for hiring and promotions
Collusion among real estate agents to set fixed commissions has been illegal for a long time now. I'm struggling to understand why landlords deserve any more protection.

Hiding behind an algorithm seems unlikely to work now that there's blood in the water from the recent Realtor lawsuits.
wow, thank you for doing the math.

I guess I haven't been keeping up with bitcoin vs electricity cost. I was going to buy a bitcoin miner when bitcoin was ~$500 and in short order the electricity cost of running the miner exceeded the cost of bitcoin and started getting worse.

Now with bitcoin value > 1000x ... hmmm. maybe my assumptions are plain wrong.
“Boeinged” means, heavily subsidized, under protection of all enforcement agencies (FAA) against the bad evils of the European Union, and every whistleblower would die like the two of Boeing. I don’t think it’s what you meant.
yeah good luck getting people to charge less than what the market will bear

maybe you can convince them to donate their houses while you’re at it
I'm not pretending I know the best policy. I'm just saying that privatisation is marketed without the regulation part.

If you start with a government that cannot run sewers and then expect the same government to be competent in regulating profit-motivated companies then maybe you solved the wrong problem.
Each voter has to squeeze multiple preferences over all areas into one single vote each time.

For me, the party options are:

• Red MPs do 35% of what I want

• Blue MPs do 25% of what I want

• Yellow MPs do 49% of what I want, but basically never make any difference because there's so few of them

Which would you pick, if you were me?

I left the country because of what Blue did.
I implemented the 1brc in go a few weeks back [1] and this repo was inspiration to try to find a custom perfect hash function that put each station into its own bucket with no collisions. Then I noticed the rule that you can't customize the hash function to the data before the program starts and dropped the idea.

I made a test harness to check random constants (start values, multiplication constants, shift/rotate amounts, etc) and print out the best constants found so far based on the number of colliding buckets and how many collisions. I think I got it down to 1 bucket with just two colliding values with a ~40% fill rate. Interestingly, I found that the best performing constants included similar values for the number of positions to shift regardless of the other constants, so I ended up hard coding them.

[1]: https://github.com/infogulch/1brc-go
Show HN: Having Fun with PostScript Files
the am antenna in your cheap stereo was probably not the dangling wire, but rather a ferrite rod hidden inside the case
> The process depicted in the video is not to turn brown rice to white rice: it is to make rice edible at all.

But what tells you that it is the default process for making rice? There could be an easy process to make brown rice, and this “tiring and laborious” process to make white rice, and such a video would tell you nothing about the former.

> --so, the burden is on you to provide evidence that brown rice can be made at all without using machines that only became available after 1750.

The thing is that the literature talks about the fact that people used to eat brown rice in most of Asia, and when it comes to evidence, an individual YouTube video doesn't weight as much as you think it does. Also I don't know where you got your 1750 figure from, but it's likely to be more like 1950 or even later in most countries.
3G was fine, without all these pesky people using it. It seems we need the extra capacity provided by newer Gs.
This is a highly disingenuous argument, flagged by your reference to STV, which any one versed in UK politics knows was a stitch up of the Lib Dem’s by the conservatives.

The UK is controlled by a powerful ruling class that maintains FPTP and other undemocratic institutions to their benefit, as I imagine you well know, and regular polls of the population (as noted by other responses) clearly contradict your assertion.
Show IN: Learn to Code
No, I don't think it is loaded, or at least not unnecessarily. The communist background of the glass is an important element in the video. Especially when they discuss the fact they couldn't sell it in the west, due to (tendencies of) capitalism.
Seem to be created by the "4th Psychological Operations Group"

https://en.m.wikipedia.org/wiki/4th_Psychological_Operations...
Ask HN: Have you coded any productivity software just for yourself?
I posted this question on my Twitter and got a lot of interesting replies[1]

Curious to hear what HN is building for private use.

[1] https://twitter.com/marckohlbrugge/status/1786658603769991375
Considering the article is literally about the communist period and it mentions capitalism, this _seems_ appropriate and on-point in this case.
Bad for making it so there are homes that people can afford.

Capitalism yada yada - people need resources in order to get homes, people will only construct homes if they get resources in exchange. These are just facts of the world - it sucks that building costs, but it does.
CSS now has enough Math functions supported,
particularly mod(), round(), and trigonometric
functions

CSS can not start a timer like JavaScript does,
but nowadays it's possible to define a custom
variable with the CSS Houdini API to track time
in milliseconds.

Why do we need all this when we have JavaScript?

Shouldn't the drawing layer be concerned with drawing primitives? Why put more and more of the higher layers into it?
Vilem Flusser, The Philosophy of The Black Box.
Except this isn't true: the fallout of a nuclear detonation is extremely limited - their physically isn't enough radiological material in the warhead for it to be greater. Troops with chemical suits and respirators could safely operate in a zone which was recently nuked - in fact ground zero is likely to be less contaminated then surrounding areas, since the effect of the blast is to disperse material.

The problem, like all WMDs (weapons of mass destruction), is that they're of limited value against military forces. The distances a military force fights a war over are generally large, and they're mobile - or dug in. The effect of bombarding someone's lines with nuclear weapons though is that you might produce a few holes, but if you tried to advance through them you'd be immediately surrounded since you didn't completely obliterate them.

But they're of devastating effect against civilians, and civilian assets like cities which can be military objectives. Leveling a city rather then taking it is certainly an option, but if that was your plan all along then you could also just drop an ICBM on it - and at that point we're back to "the primary effect of nuclear weapons is making ICBMs useful weapons".

The casualties from a full-scale nuclear war between the United States and Russia were always estimated as "only" being in the hundreds of millions at the top end. But the subsequent famines from the destruction transport and distribution infrastructure, would be in the billions within 6-12 months.

Basically the issue is "tactical" and "strategic" nuclear weapons don't make much a distinction: if it's worth hitting someone's frontlines with a tactical nuke, then why not hit the military base supplying those lines with it? And that base is probably in a city with industry, so why not hit that instead etc. etc. etc.

I suppose another way to put it would be, there's a "hidden" escalation threshold we don't really talk about because no one's been stupid enough to do it: destruction of arable land. You would find that international opinion and weaponry would turn on any country very quickly if they were found to be deliberately targeting and destroying arable land as a policy of invading and denying resources to a neighbor (think literally "salting the earth") on a large, deliberate scale.

Which is all a way of saying, the issue with WMDs is that they're WMDs and WMDs all have broadly similar issues - namely that they will do far more damage to civilians then military targets, even without special preparations, and that they don't allow taking and holding territory. "Clean" nuclear weapons wouldn't change that.
Funnel Calculator
You don't know GP's age. https://xkcd.com/1053/
Some nice things (layers, has, scopes) but pleeeasee finally give us the <selectmenu> after 30 years of kludgy pain
> Constructing a ZKP of the same is certainly more cost intensive.
That is certainly true for the compilation phase (i.e. constructing the ZKP).

But for the verifier, that isn't so obviously true:
- Firstly, the verifier might not even have access to the formal proof that the program meets the memory correctness guarantees. It might have access to a binary code, plus a proof that the binary code compiled from a completely memory safe language. The verifier would need zero knowledge of the code (which might be proprietary).
- Secondly, proofs aren't necessarily that big (especially for Groth16 circuits), and can be applied recursively (you prove that you had a proof that something was true), and aren't that expensive to verify. If verifying a program once when you download it means it can be flagged as being safe to run without expensive bounds and MMU checks, it could open up new types of more performant CPUs, and potentially save far more than it costs to verify.
Right, "opposed by tech industry" is very broad and all tech doesn't think that.

It's sort of like clickbaiting doctors when they read "doctors don't know what causes obesity!".
I agree with almost everything you’re saying but I do think short-term rentals and immigration are significant factors on the demand side.
Well as not part of the government they are a hell of a lot easier to sue.
I mean, SLS was definitely a waste of money, and arguably so was STS. But that's easier to say in hindsight, and it's also easy to say in hindsight that SpaceX had an obviously better approach, but that was harder to support in 2011.
It's so wild to me that anyone thought this would be successful.

Perhaps this shows my ignorance of business and the stock market works, but water utilities are a service with a fixed set of customers, so there is neither a pressure to be good (because you can't gain customers from your competition so why bother) or a deterrent against being bad (because you have no competition so why bother).

So the only way to make line go up is to do your job worse (to save costs), overcharge customers (to bring more money in) and do random dodgy accounting (to bring even more money in). Was the argument that they would save costs by doing it more efficiently? Why, when they have a captive customer base with no ability to lose or gain customers, would they bother with that!?

Just mad.
Very impressive. But somehow I think we just reached the point coming close to what we were able to do with flash decades before.
I do not want flash back but a more user friendly tool to create css animations. If somebody knows any I would be glad.
You could try first doing that which is a net benefit to yourself, and your family (non-monetary) then extend that onto your immediate community

Congrats on retirement :)
If I got an RTX 4090 sitting around idle, how much can I get for it?
That doesn't always happen. Look at TFL in London...
I remember listening to Steve Martin doing comedy years ago.

He had one routine where he said it's fun to teach wrong...

See, what you do, you have a three-year-old kid and you want to play a dirty trick on them, whenever you're around them, you talk wrong. So now it's like his first day in school and he raises his hand. "May I mambo dogface to the banana patch?"
Yes, although that was quite recent, as Oracle was trying to breath new life into OpenFX, after it was taken outside of the JDK, keeping Swing the best option for those that don't want to deal with OpenFX distribution of native dependencies.

As far as I am aware, Project Mobile doesn't have much uptake, outside companies that are already working with Gluon.
it's probably real but not thoroughly proven: https://www.straightdope.com/21341818/is-it-possible-to-hear...
Have you ever tried to hammer home a nine inch nail?

What a job that is!

Takes forever.

Like to see AI try that one.

I, for one am pleased for him.

A rare drummer in academia.

To be honest though.

What has being a drummer got to do with being a tutor.
Maybe the execs got tired of having to install yet another messenger, when the previous one gets deprecated?
> And now, with the threat of "communism" (no, it wasn't one, because communism would have meant giving up state power)

"Not real communism"

If it's only viable in theory, as shown by many practical failures, it's not worth discussing at all.

> The progress you so enjoy is the product of trade, truly. Across thousands of years. But best trade is free trade. One where nobody is coerced by police NOR implicitly by having choices stripped away from them by the capitalist ruling class that just wants to maintain it's position. People deep in debt, living from paycheck to paycheck, cannot make their choices freely.

This sounds like you'd like welfare capitalism. Bur your comment conflates and gish-gallops so many things that it's impossible to have a conversation with you.
> Years ago during a sunspot maxima, I watched a friend of mine located in NSW Australia talk to someone in California on 27MHz AM using only three watts of power (from a handheld CB radio) and using only a whip antenna.

This example makes me think that these wavelengths will be heavily congested in the event of a major global, or even local, disaster.
Besides the reliability of AM

THe internet network and the mobile phone network has many parts.
A breakdown in any of these parts would disrupt/break communications
A mobile phone cell (depending on technology) is often only a small size or diameter. A mobile phone base station is reliant on the electricity supply. If the wired electricity supply is down ( during an emergency) the mobile phone base state MAY have batteries that will run it for a while. Where for a while would be measured in hours. During emergencies such as flood or fire such base stations maybe out for many days. Broadcast band AM radio signals , normally 500KHz to 1.6MHz can have a reliable transmission range for typical broadcast transmitter normally several KW power ) of RELIABLE 100 miles during the DAY. AM radio range during night can be 1000s KM. The mobile network is prone to failure during emergencies and is hard to make robust. Opposition to AM network usage for emergencies would be from entities that want a small cost reduction in car manufacture.
Not an Ubuntu user since many years (NixOS) but...

2. Nautilus expanded folder view for me sounds like a NO THANKS, for start in 2024 dealing with files and folders in manually crafted taxonomies instead of search&narrow it's a nonsense. In limited situations might be useful but definitively NOT int this way. This seems to be another RH-mania like the old Gnome Spatial View where for every folder Nautilus opened a new windows...

6. VLC have some nice features but... mpv is more gnomeish and mplayer still works pretty well... So VLC for me is definitively a nice piece of software but not that essential...

7. about this VERY BASIC damn modern GUIs IPC, that's copy/cut/paste well... Gnome is PURE DAMN CRAP. There is no damns reason not to have primary selection enabled by default, middle button emulation on by default, and no damn crappy GTk stuff that impede comfortable copy and paste for those who are not trained like the CRAPPY Windows limited and limiting default behavior, it's another very annoying nonsense like the aforementioned Nautilus UI stuff.

8. personally I use zfs/ZnapZend to manage my LAN backups, I generally advise my users against most "easy GUIs to do backups" because they tend to manage data their ways witch might be comfy if anything goes as planned but a nightmare otherwise. For those who can't use zfs, can't use Unison at least do use rsync and a filesystem who support snapshots...

10. BleachBit works well enough, some others (no experience with Ubuntu Cleaner) tend to be damn limited... Better train users to avoid delete too much with bleachbit but still being able to clean enough...

PS If I have to use Ubuntu my first thing to do is get rid of Snap.
That was my original intention indeed :)
Well you can laminate both sides of the glass to achieve the same effect
Phil Schiller is in the process of following SEGA footsteps, turning XBox into a brand for Microsoft Game Studios, where the XBox console becomes irrelevant, if it stays around even.

So naturally he cares about what other stores outside XBox charge.

You won't see him proposing cheaper charges for game devs targeting the XBox console.
It's e.g. still very popular with embedded development. One example: u-boot supports it.

It is the easiest way to upload an image to u-boot, as it does use the same terminal, thus there is no need to set up a secondary path; If you can talk with the u-boot CLI, you can also upload with xmodem.
If they don’t care about safety (or perceived safety), why do they spend so much time lobotomizing models for safety reasons?