skysight-inc/HackerNews huggingface dataset:
"News" is such a huge category though. I just try to be more selective to subjects which may have some effect on me. Bookmark some articles as potential trends. Bookmark some as potentially important reading. Put a budget on it.

One interesting idea I have been toying with is to use prediction markets as a filter. Like, ask myself if I can make a prediction based on this. Then go to a prediction market and actually put a bet on a prediction. Either find one which already exists, or make one. What I have found interesting is how the situation develops into me being wrong. And how hard it is to get above zero. If I can't gain by making predictions on a situation I'm somewhat interested in, then how might being in the red on less informed topics be messing with my thinking?

Probably not realistic, but I have been thinking about how I could make it work.
This is great! Thanks for sharing your approach.

I come at it from the perspective of a working programmer who wants to improve his craft. Mostly I just think through the (pseudo) formalism because frankly most commercial code isn’t terribly complex when properly designed (or it’s such a mess time constraints don’t permit working through it formally). From time to time I work through the proofs though, especially in hard to test code. Also, I’ve been fortunate enough that in my career I’ve done some actual language semantics work in the mechanical checking space.

From that perspective, I kind of like “;” for composition, virtually entirely because it effectively works as a statement separator. E.g.:

if Pred(x)
DoThing(x);
DoOtherThing(x)
end

At a glance it looks like a statement terminator with a special elision rule for the end of a block, but really the body is just a single compound statement with semantics that can be determined from its constituent predicate transformers.

I fully recognize how that’s hardly a compelling reason logically, but sometimes things just appeal aesthetically.

Also I guess it might simplify an implementation to be able to assume that every apparent “block” is actually a single, possibly compound, statement. There might be some interesting parsing implications too. I’m practically ignorant of concatenative languages (Lisp is my hammer of choice for playing around with language ideas). Perhaps I should fix that by hacking up a toy Forth inspired by Dafny.
> I expect language models to also get crazy good at mathematical theorem proving

Indeed, systems like AlphaProof / AlphaGeometry are already able to win a silver medal at the IMO, and the former relies on Lean for theorem verification [1]. On the open source side, I really like the ideas in LeanDojo [2], which use a form of RAG to assist the LLM with premise selection.

[1] https://deepmind.google/discover/blog/ai-solves-imo-problems...

[2] https://leandojo.org/
This behavior is not new, as a long series of lawsuits attests. The slogan was always just marketing pablum.
1895 house in Oakland with a soft story condition and a dining room that was cantilevered out over the aisle. It was listed for something like $850k in around 2018, so kind of cheap! But correcting the soft story and the rest of the framing would have been astronomically expensive. He guessed something like 400-500k, and now having experienced home renovations, I am fairly certain he was in the ballpark.
It has been 3 years since I reported a problem in one of their services and they still haven't found anyone who seems to even be able to understand the problem.
Honestly, it's hard enough to convince employees / family members to use a password manager as it is. "Good UI" is vastly underrated as a solid security measure.
https://zumerlab.github.io/orbit-docs/examples/ -> It was here.
I've worked with US and EU companies extensively over many years and my experience is that low (it depends greatly where you are what this means) tech salaries have effectively nothing to do with EU privacy regulation, and everything to do with historical cost of living and culture, and the large amount of inertia it takes to change especially the latter.

There are businesses in the US that rely on wafer thin privacy regulation to exploit people's data, but it's very very possible to build a business that doesn't require it to function.
Floppy disks? Nah that was ages ago. We've upgraded to fax machines.
It's based on automated tools and evaluation (test runner, coverage, lint) ?
This is a nice idea but the problem isn't the individuals in the system but the system itself. As long as shareholder value/profit is the only factor companies consider this is the end result you will get.

Management is just making decisions based on what the companies value and companies are just valuing what their shareholders value which is more money for the shareholders.

The best way to fix it would be to reform the stock market system so that companies aren't beholden to uninvolved third parties looking to make a quick buck. Only active employees should own stock in companies and sit on company boards.

This would also require reforming the retirement system so retirement money isn't just dumped into the stock market. It needs to instead go somewhere safe and just sit. Retirement funds being in the stock market creates a huge inflationary feedback loop by demanding constant increases in profits which cause companies to raise prices which causes retirement funds to need to be bigger which causes them to demand more profit increases.
Productize this! Plenty of people would pay between $200—600 for this.
Enlist today!

Use your drone tech skills to kill Russians!

That's a bit much for my taste..
Socialism means the abolition of private property. If it's possible to own shares in a company you don't work in, the country is by definition not socialist.

Actual socialism was a mainstream political option in Europe until recently. Using the word to refer to something mostly unrelated will only confuse people.
Very cool! Do you have a lot of design experience? The demo and the page was very artistically put together.
Provable | San Francisco, Hybrid (in office 3-5 days a week) | Full-Time | Senior Software engineer (Rust) | $ 195 - 275k | https://provable.com

I’m the head of Protocol Engineering at Provable. Provable is on a mission to make zero-knowledge proof technology accessible to the masses. Most demand for proof generation today exists in the web3 world - where Provable already offers a range of services to create and track privacy-preserving transactions on Aleo. Help us expand by making this frontier technology easy to use by other blockchains and web2 applications across the globe.

We're a Series B company and have raised $228M in funding (Softbank, Kora, a16z)

Our engineering team is 14 high-agency product-oriented engineers. We're actively hiring for Senior Level Engineers in San Francisco.

Please apply via: https://provable.com/careers
> EU: creates regulation that makes doing that thing illegal

Ah, yes. The cookie banners will save the children.
> Fox news fired Tucker Carlson, the most popular news anchor in the channel's history. This is not an economically driven business

Nonsense example. Carlson was the figurehead for a narrative that cost Murdoch $800 million in defamation.

https://amp.theguardian.com/books/2023/jul/26/tucker-carlson...
Looks like tests/ would have saved maintenance and upgrades work.

There's WASM UE5 now, which may or may not be better about clipping than three.js.
I think this attitude of thinking laws do not apply to you is exactly why they wouldn’t want you as a customer.
I like the concept that because we decline in liquid IQ as we age, so our static skill growth is always counterbalanced by our intellectual decline, we have never even seen a human being in the fullness of its power.
I think it's worth adding the fact, that not only the Deutsche Bahn has been privatized, but also the Deutsche Bundespost (mail service/telecommunication) has been privatized and split into Deutsche Post and Deutsche Telekom coming from the same policy.

As far as I know this all boils down to the fact, that the European Union (or better it's predecessor) wanted to get rid of state monopolies. It did work out for the "Deutsche Post" (more or less) and very good for "Deutsche Telekom".
But "Deutsche Bahn" was a failure coming from that policy.
Wall Street Engineers Invent a New Head-Spinning Options Trade
https://archive.ph/eLOZk
Why are you quoting "We're sorry."? Who apologized?

"I didn't do it. Nobody saw me do it. You can't prove anything." is not "I'm sorry."
> What kind of industry wants to navigate 50 distinct full sets of laws, regulations, oversight/enforcement practices, and penalties that change at state borders

This is actually quite typical. Most areas of the law are not within exclusive federal preemption, so companies do have to navigate the laws of 51 jurisdictions (not counting cities and counties which may also have applicable laws) if they want to operate nationwide.
If Samsung were straight with everyone and actually said as much as you did, that would go a long way toward rebuilding the relationship. But we all know that isn’t the real reason for the markup, or at least not the full reason.
Part of the kitchen sink that is rST: https://docutils.sourceforge.io/docs/ref/rst/restructuredtex...
Firefox was a huge memory hog. People called it bloated. Chrome was the lightweight alternative.
This is just the bare minimum standards level that a news organisation should meet. And this isn't based on a hypothetical; here's an article from the CBC: https://www.cbc.ca/news/canada/edmonton/alberta-records-its-...

The graph is entirely incorrect and contradicts the numbers in the paragraph just before it. And good luck finding the source for that statistic I spent half an hour trying to! And all the discussion about this article online was incredibly confused since people were drawing the wrong conclusions from the graph.

I think this journalist and this newspaper should be dinged when errors like this are made. (And also dinged since it hasn't been corrected months after the article was published).

This is just one of many checks that help differentiate lower quality news from higher quality news.
The problem, at least in some countries, is that the laws regarding targeting children and teenagers are VERY strict, to the point where it almost doesn't make sense to do it.

By having an "unknown" category, you could argue that you had no way of knowing that you where targeting children, so you can't be responsible. The other party could also easily argue that they put those under 18 in that group to protect their privacy and age.

If you however DO know that these are primarily children and teenagers, then you have to follow the rather strict laws. In Denmark for instance, that means that you cannot encourage purchasing or even advertise certain products. Take the stupid product that is Prime (the drink), health professionals argues that it's harmful to children, but their are also the only ones who really buy it in any meaningful volume. If you knew that you where targeting Prime ads to those under 16 in Denmark, you would be breaking the law.

If advertising companies where to follow the laws online (technically they have to, but tries to avoid it), you could effectively reduce the number of ads you see on social media by stating that you're only 16, because you couldn't be targeted in the same way.
>An empirically baseless conspiracy theory.

You misunderstand I think. I don't think it's likely. It would be easy to catch them. I also don't distrust Apple completely. I was (pedantically) replying to your comment that "They can't push software to my computer, because I've blocked the software update mechanism with Little Snitch". "Can't" is too strong. They could is what I'm saying, as in, they have the ability/possibility to do so. They can't time travel, because that's impossible. But they can establish network connections, because they control the firmware and kernel, which exceeds your control via Little Snitch.
Elon Musk deletes post spreading fake news about UK 'detainment camps'
Neoliberalism was popular like 40 years ago... the number of regulations and laws has greatly increased since Milton's time. It was never really tried.

Globalism replaced it and is now being dismantled as a failure. The USA withdraws from bretton woods and 'the west' is headed to a new economic theory. This started under obama and extended by everyone since. This does mean the USA won't be world police anymore and won't be involved in so many wars.

There are many hoping to be the replacement for globalism. Perhaps keynesian or neoclassical are what are perceived to be the current replacement, that's what is getting dismantled. What seems to be replacing it doesn't seem to have a name yet.

Probably going to be similar to laissez faire or austrian economics but I do expect a new name will be provided.
They are called brand ambassadors and they go back to to before Internet.

The best looking person at your college didn't pay for their iBook.
I live in Taiwan and find the earthquake alarm scarier than the majority of earthquakes that follow. The alarm in Japan sounds mellow by comparison.
Ask HN: Do tech companies reject job candidates who would be happier as indies?
A job candidate might have the ability to do a great job at a tech company, but the interviewer might think they would be happier as an indie and reject them as a result?
Having consulted in this space and knowing that ad rev for game journalism is almost nothing and that almost noone is inclined to pay a subscription for it I can understand the decision.

I was involved with decision to close such a site several years ago based on a Wordpress platform. Ad rev usually but not always covered the platform fees and not much else. Certainly not any staff or writer compensation.

It was a largish site with thousands of reviews, walkthroughs and articles.

In the end I helped them convert it all to static files and a read only version was hosted for 6 additional months but then one of the various google updates toasted the small amount of rev they were getting and they turned the site off as more head/heart ache than value.
This might explain why some new film scans on blu-ray look the way they do. Green-yellowish and strange.
This might be my favorite paper.

I've always found the relational model to be much more important in practice than any specific logic execution style.

Functional Relational Programming is the ideal, but if you just get the relational part done well, you should have an OK time with whatever it is you are doing.
A follow-up thought, because this topic has haunted my mind today. A comment elsewhere in this post gestured to Malthusianism, referencing the failures of past societies to predict future advancements. That reminded me that the Repugnant Conclusion becomes all-too-real in a world of extended lifespan, and no amount of techno-optimism can solve for this problem. Bioavailability and the zero sum nature of resource management demands that we respect and solve the issues of population ethics as an integral step alongside lengthening lives. It's one thing to rebuild society with legible (!) cultures to fit the new world, but its wholly another to hand-wave uncounted suffering for the pipe-dream of living longer.

Nobody picks their birth. I can easily imagine ten people sorting toxic garbage their whole (short, brutish) lives to enable the decadence of each member of the future the centenarian ruling class. If we want to avoid such a scenario, we do so by acknowledging and integrating the studied solutions of population ethics, today.
Of course. Draw a red rectangle around the screen, invert the menu bar, whatever.

Instead, they are copying the “accept cookies” / Windows Vista policy of nagging the user to the point of oblivion.
"competitor" (-s) no?
Yeah, and lots of people eat junk food despite the nutritional labels. But no one in their right mind would suggest scrapping the those labels. We should always push for more information for consumers.
That's a great writeup, and great references too.

> OpenAI needs at least $5 billion in new capital a year to survive. This would require it to raise more money than has ever been raised by any startup in history

They were probably toast before, but after Zuck decided to take it personally and made free alternatives for most use cases they definitely are, since if they had any notable revenue from selling API access it will just keep dropping.
A statistic I’ve seen—but am unable to verify at the moment—is that about 20% of the human-perceptible earthquakes that occur on Earth each year take place in Japan.

I’ve been living in the Tokyo area for many years. Yes, it’s not unusual to have three or four earthquakes a day nationwide, but most are small and felt in only a limited area. I typically notice one every month or two on average. More occur, but it’s easy to miss the smaller ones if you are outside, on a train, etc.

An exception was after the huge Tohoku quake on March 11, 2011. For months thereafter, I felt aftershocks every day. Here’s the nationwide list for a couple of weeks later:

https://typhoon.yahoo.co.jp/weather/jp/earthquake/list/?sort...

There were over a hundred quakes just on March 27, all strong enough to be felt.

We may have seemed to get a bit blasé about earthquakes then, but I don’t think people here ever really get used to them. When the shaking begins, you never know whether it will end quickly or, in a few seconds, get much stronger and possibly destructive.
Yes, I see now that while not advertised on seller's websites, Asus's product pages do indeed say that.
> The West keeps thinking that it can destabilize a country, choose which side they want to win and somehow that country will emerge as a stable & successful ally without any side effects. That's delusional thinking but our governments keep doing it.

Yes, but also Germany, Japan, South Korea—places where we did try that and it worked. So it's not delusional thinking, but also what we did in those places, and what we did in more recent places, isn't exactly the same. There was a lot more follow through after WW2 and the Korean War.
A learning theory for quantum photonic processors and beyond
Your account is new and has no profile and for all we know could be a bot.

However, in adhering to the HN guidelines [0] I must "assume good faith".

And indeed, you provided an excellent, intelligent reference! Very interesting paper and debate.

In the paper the authors review the debate on early stopping, and then created a model/simulation to examine what one might expect.

I should note that the paper came out in 2016, which was before the December 2020 early stopping of the COVID vaccine trials, a real world example of an early stopping debacle, where trials were stopped and then efficacy turned out to be vastly less than originally reported (even worse than the "29%
exaggeration of effect" Bassler et al originally reported).

I think your argument has convinced me that my position is not correct. However, it has not convinced me that early stopping is correct either. I think the obviously dumb thing is having these rigid trials, and a far better idea is to have real-time adjustable ongoing data collection and experimentation that never stops.

Thanks for the article. Good read!

[0] https://news.ycombinator.com/newsguidelines.html
doesn't this depend on matching the leds closely to the sensor? I'm not aware of camera manufacturers publishing details on the wavelengths their sensors respond best to

maybe close enough is fine for this, though
Most of the science results from the space program are from proves. The experiments that the astronaut run in space are fully automated, because they are not experts in all topics, so they get a box that they have to plug, turn on and off later. The value of astronauts is to get some data about the human body in space and mostly to get support from the public. (It's almost like pilots in F1. Nobody would go to see a robot version of F1.)
>I don't see how living (potentially) forever is anything but a horrible, horrible ego driven idea with 0 rational thought put behind it, you may enlighten me here:

That's exactly what it is, and that's exactly why immortality is so appealing to moderns - a sick people whose sense of purpose is informed by hedonism and mass media, a people who are more concerned with consuming pleasurable experiences and doing what their state-corporate media god deems noble, rather than serve their children, the wisdom & legacy of their ancestors, or God.
Protecting Your SQL Databases: Best Practices to Avoid Data Breaches
If they weren’t a sizeable majority, I don’t think we’d be having the same kind of leaders we’re getting in the west tbh.
It’s better to read novels then, at least I’m not disappointed that it’s all fake.
> Everyone working at these companies: you're partly to blame, whether you're directly involved or not. Reconsider the behavior you're supporting, and quit.

I used to think like this, until I got married and started a family.

I’m no longer so quick to judge folks for not doing what I believe to be the most ideal (or even ethical) thing in these types of circumstances.

For many of us who have families, our top priority is making sure we can continue to take care of our households and not risking that in any way unless absolutely necessary.
"If you desire peace, prepare for war."
PostgreSQL 16.4, 15.8, 14.13, 13.16, 12.20, and 17 Beta 3 Released
Lol. Literally.

If you have those many well written tests, you can pass them to a constraint solver today and get your program. No LLM needed.

Or even run your tests instead of the program.
Junk food makes people fat.

It has a noticeable, immediate effect.

Accuracy ratings for news would just make people say your rating is biased, I think.
It could be, if it ran in something that you got when buying the stock mouse.

It does not?
All the data (status of human rights organizations in this area, statements of officials, law enforcement agencies, the reaction of "democratic" institutions to such cases when they leaked to public) shows, that after civilian are captured on the street - civillian will be tortured until he goes to the frontlines or until he dies. Just two option: go to war or die via torture.
I find "absolute minimum" an unfortunate choice of phrasing when the process necessarily has large elements of randomness and could in principle well proceed from a single cell getting successfully infected.

But it's interesting to note that the way HIV generates its infamous genetic variability can result in a remarkably large fraction of the virions being mutated beyond viability.

https://journals.plos.org/plosbiology/article?id=10.1371/jou...

The infection risk would have to involve a factor of virions getting to a susceptible cell without getting destroyed anyway of course, but given that many of the contenders might not be capable of infecting even if they get there it seems even more understandable if one would usually end up with 10 as the number needed to satisfy some chosen level of statistical significance.
Might be relevant "Entrepreneurs not wanted: Research suggests hiring managers discriminate against small business founders"
https://fortune.com/2023/09/06/entrepreneurs-founders-get-fe... (https://archive.is/JUZ3B)
Political action is able to happen every couple years in Atlanta at the voting booth. Voting is the safeguard. The majority of people in Atlanta consistently vote for people who want to build a police training center.

Just because you think your side is just, it does not give you the right to overrule the will of voters.

Constitutional rights cannot be trampled on, but otherwise it's counterproductive to give extra care to the losing side of a political fight simply because they trespass and start fires.
Yep. That's why I think it would be better to do it with less equipment.

I'm probably wrong, but I would like to see humans competing not cyborgs.