skysight-inc/HackerNews huggingface dataset:
Personally i think markets will be so different from now that this question of where you'll have skills for jobs is less important than asking what will a job mean in 2040. But ok, maybe this is still a minority opinion.
> Imagine a world in which all machines were this good.

There is the minor drawback of having to rinse the dishes manually first ...
AlphaGo solved Go?
Me a little too, it's not usual that we think about "increasing safety" as delivering tangible benefits.

Of course I come down on the other side of the debate when it comes to safety - the machines are still quite far away from murdering us all, we should still be full throttle on pushing the capabilities if we want to do the most good.
Sure, any centralized group, ideally a non-profit could run it just as well, and do so without potential complications arising from computation limits.

But they'd have to be entrusted with all the funds, and the financial side may be more difficult to implement. What could be a contract call would involve more real life logistics.

Not to imply that the points or whatever would have to represent anything more than kudos/bragging rights.

It would be interesting to see which problems have the most professional interest, say if every math PhD got 1 million points to commit.
> If there's something there you find distracting, you can remove it.

Now you'll have me manage yet another thing, I just want stuff to require no management.

On being surprised, I suppose you're right, there are about as many ways of using a computer as there are users. It's easy to get lured into the feeling that anything you don't utilize yourself is weird and pointless. I never use the "home screen", nor do I really use bookmarks all that much. For bookmarks I get why they are there, I have maybe a hand full myself, but it's not something that I use enough to pay for, or even require, a bookmarking service. So seeing someone actively use one or even depend on it because a curiosity.
I see you've never submitted anything. I suggest you try a few times, deal with the automatic title mangling, and then come back and tell us how you feel about this rule ;)
Thanks - I’ll check it out.
If I pay for the storage, then it is my drive and my data.

The article didn't say anything about the free or paid GDrive accounts. If it is a free account, then that is up for debate. If it impacts the paid consumers, they paid for the service and it is their data.
Dropbox constantly scans your data and can easily block your whole account permanently. It's hard to recommend it unless you encrypt your data.
I'd argue they still innovated--they just focused on improving the core features of their product instead of continually tacking on more half-baked garbage.

A print that Just Works with a range of different devices when you plug it in is (unfortunately?) fairly innovative.
>So at what point does anyone get to keep the money?!

If the rental prices are really low relative to buying the units outright, then you put the proceeds in an investment account, and pay a portion of the returns to rent.
how would a solenoid valve destroy your plumbing?
Only because there is under-supply of housing at the moment. If we built more houses then landlords wouldn't be able to charge higher rent just because people had more money.

To be clear, I think that we need to address both of these issues: general wealth distribution and lack of affordable housing.
Replace ‘certain’ with ‘either’ and you are on the right track.
I think what happens outside of microservices shops is that "the Java people" write their own library, "the Python people" write their own, etc. Is that a little bonkers? No more bonkers than wrapping services with other services to get them to behave reasonably.
The link from the X (formerly Twitter) post is

https://influencermagazine.uk/2023/11/allegations-of-quid-pr...
The man who tried to overthrow Sam Altman
You do realize that we still learn (and not unnecessarily) addition despite having had calculators for 50+ years?

Math shapes your mind, that’s why we learn it.
Go Fact: Zero-Sized Field at the Rear of a Struct Has Non-Zero Size
The E-Sports World’s Future Is Uncertain as Growth Stalls
Interesting to compare the Swedish model to the UK's. Here, employers can do whatever they like, unions need a full postal ballot to fart.
Depending on what you need, iOS does have a background noise generator.

Settings -> accessibility -> audio / visual -> background sounds

You can even add them to the quick control panel or whatever it's called.
cli programs are not interoperable. Binary streams are not an interface, it's the lack of one. I can't goddamn pipe the CPU temperature into my display manager's status bar without 3 different tools unmaintainable, easy-to-break invocations, that will break from something as innocuous as changing the locale. It's as much of an interface as randomly reading into the memory of another process.
This risk multiplies when you have the audacity to make a joke on HN.
The IMO Grand Challenge is "formal to formal" -- a solver is given the problem specified in the Lean programming language, and must produce a solution in Lean. To see more concretely what this setup might look like, check out https://github.com/dwrensha/compfiles.

The AI MO prize is "informal to informal" -- a solver is given a problem in natural language and must produce a solution in natural language.

My belief is that the best way to get to "informal to informal" is to first solve "formal to formal", but not everyone thinks so.
Indeed. Consider my view points biased cause my threat model does contain being popped by North Korean hackers. And I can't use the Internet without a functioning ad blocker so :(
> You can't feasibly host or verify proofs on-chain

I came to the same conclusion with existing systems, full on-chain verification would not be economically feasible.

But perhaps a special-purpose chain specifically made for this may not have the same limitations. Or Truebit-like oracle systems may be possible, where external verifiers can dispute other external verifier's assertions of correctness by running only the (potentially) wrong steps on-chain.

The frontrunning may be avoided by submitting hash(accountid | secret large random number | proof) first, then once that's finalized the full proof with the random number. The random number so the proof can't be brute forced from the hash. Payouts have some reasonable delay so if someone tries to frontrun the second step by intercepting the full proof and submits both steps (possibly with a varied proof) before the second step of the first person is finalized, the first person can still prove with a reference to their first step and their working proof that they were first. This still requires some thought regarding (forced) congestion in relation to the transaction cost and bounty size.

Metamath has the same problem of the system accepting new axioms anywhere, and the same $a statement being used for definitions. I have some hopes for Metamath Zero (https://github.com/digama0/mm0), which is a related system which may be able to fix this.

I think this idea is rather synergistic with proof agents. I think more people would consider developing these if enough bounties were credibly committed. It might speed up and greatly increase the number of formalized proofs.
The one that the community recognizes never been there in the first place...

"Multi-tenancy in Kubernetes: implementation and optimization" - https://www.cncf.io/blog/2022/11/09/multi-tenancy-in-kuberne...

"...As we can see from the above discussion, the sharing of Kubernetes clusters is not an easy task; multi-tenancy is not a built-in feature of Kubernetes and can only be implemented with other projects’ support in tenant isolation on both control and data planes. This has resulted in considerable learning and adaptation costs for the entire solution. As a result, we are seeing an increasing number of users adopt multi-cluster solutions instead..."
> Besides, these things have a way of surprising us. Before compilers, people wrote machine code by hand. It would have been reasonable to think that compilers would reduce the demand for programmers, but the opposite happened.

I see this reasoning a lot but for me it kinda screams "correlation is not causation". As time passed and technology advanced it was simply more widely used, both on a consumer and business level. Very well may be that if we had to write machine code by hand we would need 10x more developers and a salary of $1kk/year would be average at best.

Do you really think if we get some AI agent that can write a wholly working application based on natural language specification that wouldn't significantly reduce the need for human devs?
How do you generate the torch vector to do this? Often it's OpenCV!
For some reason, creating such collections is joyful. And reading through them too. A glossary, of which kind ever, is an unofficially stable state. That's a toolkit onto which people can base their unsharp experiments with their language. I am just creating such a thing too, while translating a documentation. I often come back to it.
Librewolf is a conspicuous omission from a list of privacy-focused browsers that (for some reason) includes Brave.
Tony Dhin left his job and is now running a $500k ARR AI SaaS business
> more of a security / architecture than just following chrome

They could have gone for something entirely different but instead they decided to blindly copy Chrome.
Nothing other than Microsoft's attempt to stop AI from learning repo code.
I used to be a ‘Helper’ on Reddit’s /r/Applehelp.

Mainly a little tickle of pleasure in helping someone out combined with the pleasing puzzle solving.

Left Reddit after the whole 3rd party app
shenanigans sadly.
archive.is has some weird incompatibility with the 1.1.1.1 DNS resolver. Temporarily use some other one, and it will load fine.
How long is that going to last?
OpenCV is great and I would love to donate to them. But it seems like a substantial percentage of the donation goes to Indiegogo or their fees.

Based on [1], it seems like 8% of your donation goes to Indiegogo and processing fees. Is that right or am I misunderstanding?

1. https://learn.indiegogo.com/pricing-and-fees/
I'm like 50/50 on firefox(for linux).

Spotify doesnt work on it. I have far more issues rendering 5,000x5x000 px images on firefox than Chrome. Might not be an issue for most people, but when doing AI art and making 10x10 images, it is common.

After a side by side comparison, I use chrome for nearly everything. I weirdly use firefox for everything google services lol.
hmmm. This bot would need some karma first?
As a longtime NYC resident, the conventional wisdom is that much of the landfill for the buildings of the city went to expand shoreline of Lower Manhattan.

This was well reported for major digs like WTC/WFC, which created Northwest Battery Park City.

It's also seen in local landmarks like the Ear Inn on West Spring (one of the oldest bars in the city) which has an old painting inside showing the shoreline being not far outside the building, whereas it is currently a full block or two

For more:
https://en.wikipedia.org/wiki/Lower_Manhattan_expansion
Check mate!
Something visible but not tangible is a dot, not a bump.
World Bank estimates of cost of crime in SA (10% of GDP annually)
NGINX solves half of the problem. It allows accessing UNIX socket services over TCP. This is great and I do it wherever possible (mostly because I can add my own access control and everything has to go through it, even local processes). But it doesn't allow local access without going over TCP.

So for example if CUPS or Syncthing listened on a UNIX socket you can use NGINX to expose this over TCP, but now you are back at the original problem of any local process can access this service and you need to worry about port conflicts. You can work around this by adding access control but this doesn't elegantly solve the core problem.

So it is valuable to have a client (like Firefox) that can directly access the socket. This way you get native UNIX permissions and a whole filesystem namespace to prevent conflicts.
HP is not a Japanese manufacturer
I've pasted docs and error messages into GPT 3.5 and it's admitted it's wrong but usually it'll go through a few different answers before returning back to the original and looping
It's the same problem with tech support.

I've worked in several support organization that sincerely prioritized providing good support to customers. They paid good tech's good salaries, hired good managers, and we provided great support. Sales team members would come to me and say they were selling support contracts with ease because of the support provided, "easiest money I ever made" was a common refrain.

But eventually at every company customer / tech support eventually is viewed as a cost, an annoyance. After all when customers complain what do they complain about? Even the best customer's can't praise support enough for companies to avoid eventually seeing it as an annoyance and eventually cost that is easily cut. Good managers see it coming and jump ship, support for support teams starts to erode and the culture changes.

I worked one company where the engineering team would secretly invite some of the support staff over to their building when they had a team lunch ... because they liked us and knew that our team lunches (low cost pizza) had been cancelled.

It happens time and again ... :(

Eventually I moved on and learned to code. Maintenance is hard and not valued.
Not all workers have joined the union and wouldn't get paid by the union to strike. But unions use sympathy strikes against companies that might retaliate against their workers if they strike, Tesla has already made threats. So going by how many of the workers at Tesla are striking or not is not a good measurement.
Show HN: Summarizing WhatsApp Voice Messages
Your Adam Savage Tested link is wrong, it's the same as the Belndo (1995) link.
That is actually pretty cool.

But no, I have that turned off. I've never seen a purpose beyond spam.
A decent start? It says absolutely nothing about how to solve it, except repeating the question. The part where it tries out the few first numbers is entirely wrong, given that 6 does _not_ satisfy the condition (2 does not divide 3+6=9) and 8 _does_ (2 does divide 4+8=12).

Amusingly, the list of the integers <= 100 satisfying the property is correct, and it contradicts itself from the previous paragraph. Maybe if GPT wasn't a one-directional autoregressive model but allowed itself to go back and edit the past, it would have caught up that discrepancy and fixed it - but no such architecture currently exists that would run in decent amount of time.

Given that GPT4 is not a model but a full product, behind the scenes it probably coded up and ran a small python code that translated the problem into code, executed it and got its solution for the first few integers. Which would be a good thing to do to start solving a problem like this, except you're not allowed to do that at the IMO, obviously.

Looking at the output of this program, it suggests that powers of primes could be a class of solution (or maybe even the only solutions? I guess that's all the problem was _really_ asking to prove, but having never qualified for the IMO myself, I can't be sure). In fact, for n = p^k, the divisors are [1, p, p^2, ..., p^{k-1}, p^k], and clearly always p^i divides p^{i+1} + p^{i+2} = p^i (p + p^2). I guess this small remark would have gained me a point at the IMO, only 41 to go ;-)

But the other side of the coin is that having those numbers written down in front of you and not even making a conjecture about powers of prime being the answer would really denote poor mathematical reasoning by GPT4. It's only really proving that it can understand what it's being asked, which, I admit, places it in a better position than maybe 90% of the human population, but unfortunately for GPT4 mathematics is the least democratic science of them all - it's always only the top-1 result that matters in the end.

P.S. Being a former mathematician currently working on deep learning, having (or building!) a model that can solve mathematical questions has always been my dream. I'm not even talking about something that can _prove_ things, even just that can understand and rephrase them in different settings (which in mathematics is very, very hard, even for a human). Or spot weaknesses in already stated down proofs. As a graduate student, having something I could chat about to ask silly question while studying a paper would have been a real game changer. Even for best-of-world professionals it would be useful: when the wrong proof about the ABC conjecture came out, it took months of work from the best minds of our world to read through it and disprove it. If Mochizuki had had some tool for automatically checking his proof (and a smaller ego, I guess) he could have caught that early on, saved everybody a lot of work and the whole world some useless drama.

And while we're closer than ever to reaching that, I think GPT4 is still quite a far way from it. But with the pace we've seen recently in AI evolution, who knows...
Broadcasting in Julia (Illustrated)
Yes, same impression here. I remember trying to get some documentation fixes into the codebase and felt like it all got shelved because the Intel team didn't see those things as necessary. Some community PRs/fixes just went stale like that too. Kind of now hard to merge that in my head that they now need to crowdfund.
> you don't want to open a public TCP port (even on localhost), for obvious security reasons

Can someone explain this a bit more? It's my understanding that all localhost traffic is confined to the host, and so only available to the host itself. If something malicious could access traffic on localhost, wouldn't that mean you've already lost?
"Superhuman at solving" != "solved".

AlphaGo didn't solve go (Ie, can the first mover guarantee a win?). However, it understood go at a far, far superior level to any human.

A mathbot doens't have to solve math in general. It merely has to be better at solving math than any human mathematician to be considered ASI. And it only has to be better than the 'average' human mathematician to be extremely useful in accelerating math research.
Chainlink has solved this. Worth taking a look if you're still interested in this sort of thing.
Another LD_PRELOAD based solution can be found here: https://github.com/nixcloud/ip2unix

I use it to run a number of services under systemd, and haven’t had any issues.
> The growth mindset is incredible for expanding when your product is in its early ages. But there should be a "sustain" mindset at some point.

This is OK if management is paid and get bonuses by the money they make by selling products. If they make money and get bonuses by selling their shares or increasing their value, they cross the line between industry and finance. Finance doesn't give a f** about industry. They'll eat one after another like we eat cherries. Unsustainable growth and enshittyfication are two tools to squeeze the most money from a company and if it dies in the process they move to the next one.
Mineral oil may be a bit more sanitary / pleasant for people. I clean and very lightly lube my earplugs in this manner on the regular.
Download all of Wikipedia on your phone
I would assume they are referring to this: https://ai.meta.com/llama/use-policy/
I have a similar experience. Installed and connected my Brother printer 3 years ago, pop in new ink about once per year and that's it. It works and I do not need to worry about it.

Also look at the delicious Windows 2000 style settings interface:

https://i.imgur.com/YtnfaAN.jpg
They're not open source, but they don't have ads and a generous free version. The Pro version is really not needed, except if you really are into the game or if yiu want to support the dev.
I've thought about the second problem a lot, and banning ads would solve both ends of the problem. Journalism is in a poor state because of the attention economy, which is to say: because of ads.

Although I'm not in favour of completely banning advertisements, just taxing advertising revenue heavily, as it sidesteps any censorship accusations. The government still lets you say what you want, but you can't become wealthy just by shilling for corpos.

Exceptions will be made in the name of encouraging viable consumer evaluation content, such as review copies, listing fees and suchlike as long as they are clearly stated and meet a stringent set of requirements.
> The growth mindset

Somewhat pedantic comment: the phrase "growth mindset" is also psychology jargon that refers to the fact that many skills are more learnable than most people realize. It contrasts with a "fixed mindset" where people assume you have to work with what you've got.

Just wanted to point that out so people don't get confused between the healthy idea of being able to grow and the idea you're addressing, which is more like a compulsion for businesses to grow economically.
Physical attractiveness and intergenerational social mobility
Seems like a regression. Just make peace with the fact that any phone-based games are generally going to be awful. Do some exceptions exist? Sure, but there’s no point in looking for them. Just play games on a real computer or a game console. Emulating on a phone is probably the only potential solution which makes sense.
For me, a new window or new tab is something that's only active for time it takes me to type in the URL of the site I'm going to. At least earlier having content on that page slowed down Firefox, which is annoying if you just want to go straight to entering a new URL. So setting it to about:blank was a major workflow improvement.

There's no point to the "new tab page", it would be better to have a popup to type the URL into and then hit "Go" and have that open a new tab. For me it's really just a distraction. Why would I open a new window/tab if I didn't know where I'm going?
No. It means that nobody is unilaterally introducing USB-D on a whim but they explicitly recognize that need with delegated authority to have experts periodically review and suggest changes. I’d expect various backwards compatible tweaks to go through routinely but if there’s a limitation of USB-C significant enough to warrant a major change I’d expect that to be no more set in stone than, say, cellular network technology – coordinated between companies, with a phased rollout to avoid breaking existing users, etc.

This kind of language is very common when governments basically want to delegate their authority to technical experts rather than have to put details which will become obsolete directly into legislation:

> In order to address any future developments in charging technology and to ensure the
minimum common interoperability between radio equipment and the charging devices
for such radio equipment, the power to adopt acts in accordance with Article 290 of
the Treaty on the Functioning of the European Union should be delegated to the
Commission to amend the categories or classes of radio equipment and the
specifications regarding the charging interfaces and charging communication
protocols, as well as the details on the information in relation to charging.
Two facts I have discovered over the past 11 years:

1. There are always people far brighter than the people who wrote most of what we use every day.

2. You are far more capable than you realize.
I am a C++ programmer and if you told me those things, I would just flip a bozo bit on you and carry on coding, no religious flame-war is warranted.
That doesn't make sense. It says they're refusing to allow Tesla to pick up the license plates as well. And in any case, is a picket line a legally protected entity now?
Show HN: You can finally generate your AI clone and monetize your community
I mean the trajectory of my life changing in ways I don't expect
What mathematics was AlphaGo solving? What do you mean by solving there?
that's awesome

I saw a similar hack https://tldp.org/HOWTO/html_single/TCP-Keepalive-HOWTO/#libk...