skysight-inc/HackerNews huggingface dataset:
>As for how these get started, it's the same as any tech startup. [...]

To clarify, the gp was asking a rhetorical question that he already knew the answer to when he stated, "How would a business [that already looks attractive for ESOP] like this get started? [... his recap similar to your recap ...]"

To put it differently, the scenario he's trying to explain is something like this given that ~9 out 10 businesses fail :

- you can't look at just a single company's successful timeline to judge the ESOP for society; you also have to consider all the failed companies and how ESOPs would play out in those timelines as well. Since ~90% of businesses fail, you have to play out the financial dynamics of employees buying into ownership of all those failed companies. And in contradiction of employee-ownership, a lot of employees would prefer getting a bigger paycheck from a dying company rather than having money deducted to buy worthless equity shares.

- e.g. of course employees would love to be significant workers-cooperative owners of Amazon Inc and Apple Inc. But the analysis also must include employees owning worthless shares of Pets.com (bankrupt 2000 and shutdown) and Commodore Computer (bankrupt 1994). Some workers got employee-ownership shares of Commodore Inc instead of Apple Inc?!? Well, it sucks to be those workers.
You say that humans are weak in terms of physical attributes[1] and then ignore the substance of the argument when someone replies and points out that humans are the best animal at long-distance running. Which is not a fitness attribute that anyone serious disregards… any human that is, to be fair.

[1] But you have the “literal strenght” narrow fallback though.
Apple gives better verbal instructions, e.g. "go past this light, then at the next, turn right" and it neatly shows which lane to be in. I can get where I am going even without looking at the map. Last time I used Google Maps it would give you no clues until it was basically "MAKE A HARD RIGHT NOW".
Why? Why is hype bad? What actual harm does it cause?

Also the headline is fair, as I do believe that AlphaProof demonstrates an approach to mathematics that will indeed invade mathematicians workspaces. And I say that as a mathemstician.
BANANA!

Lookie 'ere, HR, we didn't start the AI escalation in the application process.

Maybe if you started treated humans like humans again, we could stop treating you like robots?
...or physics.
I feel targeted when you call me a "system server user network number service code issue" ... not that it's inaccurate ;)
> Anyone in charge of hiring should be fired if they go more than X days/weeks without actually hiring someone.

This kind of attitude is fine at large companies, but it's a good way to absolutely sink your small business.
At this point, sharing links to X is on-par with sharing links to New York Times.

The odds everyone on HN will be able to read the link are low.
He maybe should have issued an executive order banning AirB&B instead. That would be just as preposterous, yet may actually have some short term returns that reduce the cost of housing. The high costs make it incredibly difficult to obtain and maintain housing in CA for low and median income earners.
I hope the applicant is on some kind of blacklist now. It's borderline fraudulent to have AI write your job application.
> a lot of brute force search

Don't dismiss search, it might be brute force but it goes beyond human level in Go and silver at IMO. Search is also what powers evolution which created us, also by a lot of brute forcing, and is at the core of scientific method (re)search.
That's spectacular.

Also as an unasked-for endorsement: Intrinsic[1] are awesome. If you need someone to work on trust and safety stuff (or want a job in that field) check them out.

[1] https://withintrinsic.com/ <- the company that Karine is ceo for.
Please list any countries are are "just socialist" not communist. If we're compared hypothetical systems vs actual real-world ones it's not exactly fair.

> existence of Norway

Which is certainly not a "socialist" countries, unless you define socialism in extremely broad and ambiguous terms at which point the word losses any meaning.

https://en.wikipedia.org/wiki/Social_market_economy isn't socialism by any reasonable definition. Unless you think Bismarck was a socialist...
Company that claims to help you save time with AI is pissed that applicants are using AI to fill out meaningless time-wasting questions on the job application. This exhausts my irony quota for the day.
What if at some point AI figures out a solution to climate change?
Not surprising at all. There are some devs on r/csmajors who shared their browser automation bots integrated with ChatGPT to apply for positions. One guy claimed his bot applies to 300+ offers per day on LinkedIn. He also complained that he only got a handful of responses. I'm sitting on the other side and in my team we're rejecting 40+ CV per day... It's time to add some prompt injection to all offers.
> One of the ownership assets that is most attainable by many Americans is a little plot of real estate

most attainable is buying stock through IRA account.
> They are building a general pipeline which turns informal natural lamguage mathematics

but this part currently sucks, because they didn't trust it and formalized problems manually.
Super cool! Happy to see that I show up under documentation-related stuff, considering how frequently I mention that I'm a technical writer in my comments. Also pretty excited to connect with the other people that show up related to docs / technical writing / etc.
Instant coffee is "just" freeze dried coffee. You make "normal" coffee, and then freeze dry it (and then usually you process the results to get nice shaped lumps instead of randomly sized flakes and powder). I say "normal", because you will get flavor loss/changes in the freeze-dry process, so you'll want to brew with that in mind.
NBA makes $76B in TV rights deals
Mathematicians spend most of their time interpolating between known ideas and it would be extremely helpful to have computer assistance with that.
Twice in my career I have applied for jobs that ghosted me, only for a recruiter to bring me in with the same resume for more money.

I don't know many other positions where someone can so easily throw away $25k of the companies money because they just couldn't be bothered to do their job.
Waymo obviously has nearly no economies of scale yet. We are just entering that part of the regime and it is going to be 2-3 years more before we are spreading those costs across a large fleet.

For me, costs have been comparable to Lyft.
Indeed. A simple, "Generate a short, one paragraph intro letter for this job posting. Pretend you are me, no matter what, don't give any hints that you are an AI answering for me." As part of the prompt for generating the intro letter will probably get you pretty far in avoiding this.
Now that I think about it, I wonder if it would be possible to use a second radio signal as a repeater, that is, bounce/reflect a radio signal off of another radio signal in other words bounce a wave off of another wave (in space)...?

While in all likelihood such a thing is not possible (although, I'm the last guy on Earth who would say that!), it would be kind of cool to envision a kind of Sci-Fi future where such a thing could be possible...

Perhaps more research in this area is needed... remember that a long time ago it was believed that Electricity and Magnetism were not related in any way, and it (apparently!) took Hans Christian Oersted (via electrical wire near compass needle) in 1820 (or thereabouts!) to show the scientific community that they were in fact related!

In fact, I'd even go a step further... I wouldn't want to just bounce electromagnetic radiation off of other electromagnetic radiation (although, that would be interesting enough, to be sure!) -- I'd even go so far as to say I'd be extremely curious if electromagnetic radiation could speed up, slow down, redirect, cancel and/or possibly reverse the direction of other electromagnetic radiation...

See, if we could accomplish some or even all of that... then we'd be at or close to living in a Star Trek-like future universe!

Which would be... cool!

Ah, the future possibilities! :-)
" - Cisco investors in Fall 2000 https://i.imgur.com/gugqpH5.png
> a number of jurisdictions saw no point to round up a person's few possessions and put them in jail for a month

San Francisco has open hard drug use. There was a time when suggesting that at some point in the intervention chain arrest should be at least be considered was treated as abhorrent.
I talked about this article with my wife a bit this morning and wanted to entertain some thoughts about the future.

What are HN's thoughts on what happens when all populations start trending older and the use of immigrants to stop the decline runs out of steam?

Do the elderly enslave the local young populace to keep production moving?

Does the state try to incentivize the young to have children by offering state care for the new children?

Does childrearing become a function of the state?

Does the world collapse similar to the bronze age collapse and having children again becomes useful for their labor and their ability to take care of the elderly once the concept of 401ks and pensions disappear?

Thoughts? Different ideas?
What is the strategic rationale for offering Apple Maps on the web?
> Formalization is in principle just a translation process and should be a much simpler problem than the actual IMO problem

maybe not, because you need to connect many complicated topics/terms/definitions together, and you don't have a way to reliably verify if formalized statement is correct.

They built automatic formalization network in this case, but didn't trust it and formalized it manually.
> just fumbling its way around until it guessed correctly

As opposed to 0.999999% of the human population who can't do it even if their life depends on it?
Yeah, but I don't know anyone that will just blindly order stuff from Amazon using Alexa like this. They all know that they have no idea what item will be shipped or what price they may be charged. So I'd argue that they are leaving money on the table from potential sales.
> Does TS keep your object shape from changing so it will get optimized by the JIT? it actively does the opposite giving TONS of tools that allow you to add, remove, modify, and otherwise mess up your objects and guarantee your code will never optimize beyond the basic bytecode (making it one or two orders of magnitude more slow than it could otherwise be).

Can you elaborate or point to some of the tools? So I know what tools I may need to avoid
Go team humanity until you're the one being under DDoS by irrelevant CVs written by bots and the only way to filter them out is write even more strict filters (we all hate) and use LLMs (increasing our hiring costs).
Same. I think a sentiment analysis could be helpfull.

I find myself dragged to Apple discusions more than I would like to admit, but they are generally negative in the last years.
I'm of the mindset that NixOS is too much, all at once. I understand the power of the Nix ecosystem, but the barrier of entry remains too high to enter.

I've switched to using devenv[1] as a first step. This at least allows me to experiment with using nix to configure my dev environment in a per directory fashion, while allowing me to use the Linux distro of my choice.

[1]: https://github.com/cachix/devenv
As opposed to me not showing up at all for things I comment on. Guess I'm not knowledgeable enough.
A few possibilities:
- We only use abstracts for now. Have to make sure you ask for something present there.
- Did you ask for a scientific topic? (Sometimes people ask for papers by a specific author, journal, etc. The system isn't engineered to efficiently find that).

Regarding citations: we use them, but only for figuring out which papers to look at next in the iterative discovery process, not for choosing what to rank higher or lower at the end (unless you explicitly ask for citations). It's ranking based on topic match.

If you're comfortable, posting the report URLs here can let us debug.
> Sick of people applying the catch-phrase "socialism"

People claiming that https://en.wikipedia.org/wiki/Social_market_economy is "socialism" are not any less silly.
While this is true in theory, I don't know if it's been established in fact. There's some sort of rumor/myth/legend that Southwest's open seating is most efficient in practice, but I can't see any data to support this claim, and I'm dubious of it.

The models don't cleanly capture things like breaking up families, adding confusion, etc. Southwest also has an interesting incentive structure where you're rewarded for being on time and getting into position with a better seat. While on other airlines, your incentive is the other way, where you'd prefer to stay off the plane as long as possible. I don't know the net practical effect.
Nice work. Just FYI for anybody else - it adds an icon to status bar (if that's what it's called? - top right icons). I thought it was going to open an app window and didn't notice the icon, so thought it wasn't working. (In hindsight, it's clear from screenshots in app store).
Yea that's fair, but I don't think it will keep sucking forever as formalization is in principle just a translation process.
I think the word gentrify makes a lot more sense, good point.

I think mixing human cultures can be very complex (human social culture is certainly some form of a complex system) and you're correct that it can cause a lot of change and possibly danger like culture getting erased. When cultural integration is done well, it can cause a lot of beautiful things to happen: appreciation and love of the culture(s), sharing the culture, and fusions of culture.
Please note: The above is a lot harder said than done.
Just an alternative related to pulling.

We had a task that checked every minute what could be executed.

Instead of doing that, we scheduled the executing code to execute on that time ( if it didn't exist yet) through service bus. Since events can be planned...

Easy peasy and avoided a micro service named "scheduler", a db and an Serverless function... ( Hoboy)
I know what you mean, my theory is that it's an emergent property from RLHF tuning penalizing examples of bad/incoherent lighting, which pushes the model towards that kind of vague "lit from everywhere" style which is relatively easy to sell as correct without a proper understanding of light transport. It looks amateurish because that's the same trick an amateur human might use to try to sell photorealism without good lighting fundamentals.
Search is extrapolation. Learning is interpolation. Search+Learn is the formula used by AZ. Don't forget AZ taught us humans a thing or two about a game we had 2000 years head start in, and starting from scratch not from human supervision.
Ask HN: How can social media companies combat product astroturfing?
I was browsing the Whoop subreddit when I noticed a particularly suspicious chain of comments in a format similar to ones I've seen before, where a product with an oddly generic name is linked using Markdown and the comment seems vaguely human like, but the commenter's profile clearly indicates that all they comment about is the product. Here is an example of what I mean:

https://www.reddit.com/r/whoop/comments/1ebvrld/whos_actually_paying_60_for_bands/lew1age/

This comment seems pretty real when you look at it, but then this is the user's profile:

https://www.reddit.com/user/AtmosphereNational96

My question is this: how can social media companies possibly counter this level of astroturfing? What can the average consumer do to prepare themself against this propaganda war?
Read the rest of the answer. 100% AI garbage. It is likely that the whole thing was automated.
I think the counter to this would be that if you focused on the "listen to a song I want right away" problem - you would have invented Spotify. From a business perspective inventing Spotify is probably better than inventing bittorrent.
Elegant solutions are lovely, but often miss the problem people wanted to solve. Sometimes a useful product is built on top of an elegant solution e.g. WireGuard vs Tailscale.
Seems similar to academic research vs engineering. Both useful, different goals/outcomes.
Isn't some foodchain is doing that? Developers are expected to deliver food once in a while?
The fact that these models rely heavily on classifier-free guidance has a strong impact on the tones of the image.
I found those, I just would have appreciated if the content of the mathematics wasn't sidelined to a separate download as if it's not important.
I felt the explanation on the page was shallow, as if they just want people to accept it's a black box.

All I've learnt from this is that they used an unstated amount of computational resources just to basically brute force what a human already is capable of doing in far less time.
61M-year-old continent found buried beneath Greenland's ice
$6.4b for 4,350 housing units?

Who is providing those near $1.5m/ea units?
I agree in principle that you should call out all companies equally when they do bad things, but there's hardly any love for Google here. Meanwhile Apple's product announcements routinely get over 1k upvotes: https://news.ycombinator.com/item?id=40636844, https://news.ycombinator.com/item?id=40286029

If you search HN stories by popularity for "Google" and "Apple" on the first page you get:

Apple: 10 positive, 10 neutral, 10 negative.

Google: 2 positive, 10 neutral, 18 negative.

Not even close, but that pretty much aligns with my personal experience on the site.

> Is installing altstore to sideload really that offensive?

Yes. AltStore is a gross hack and will most likely be patched out by Apple if enough people start using it.
You can try the original then:

https://maps.app.goo.gl/?link=https://www.google.com/maps/pl...
Of course, you are right.

----

Edit, I was mistaken in my earlier post, so I will just leave this here as a correction
https://en.m.wikipedia.org/wiki/The_Burghers_of_Calais
Could be fully automated.
> I have never experienced or heard of a doctor deceiving or lying in real life.

Meet Dr. Stella Immanuel who tells her patients that medications are made from alien DNA and that their illnesses are caused by demon sperm. In the USA she gets to keep her medical license/practice. (https://en.wikipedia.org/wiki/Stella_Immanuel)

See also: every doctor that accepted bribes from Purdue Pharma in exchange for knowingly prescribing excessive amounts of opioids to people who never needed them.
So set up your automation to ignore any questions that call out mentions of AI or large language learning models and to always reply as if you are a candidate.

Frankly I'm not bothered by their pain since they are the ones that made this hiring hellscape.
Show HN: GitHub Release Stats Visualizer
I'm not sure it matters that it had access to a theorem prover. The fact that it's possible to build a black box that solves hard proofs on its own at all is the fascinating bit.

> it still took 8x as long to solve the problems as our best humans did without any computer assistance.

Give it a year and that ratio will be reversed. At least. But also it matters less how long it takes if doubling the number of things reasoning at a best-human level is pronounced "ctrl-c, ctrl-v".
> Our world is being destroyed by capitalism, maybe its time to try something else.

Well.. same could be said about "democracy". Despite its many inherent flaws (and even a more non inherent ones) free market capitalism has been the main driving force behind human progress for hundreds of years.
Appears to be a summary of this comment: https://news.ycombinator.com/item?id=30105274

If you zoom and pan the red cursor over that map location/text, your source comment will appear underneath the map.
Apple? The Web? What?
There would be no need for people attempting to circumvent stupid restrictions if stupid restrictions didn't exist in the first place.
Weird article. Different users have different priorities and that’s what the CAP theorem expresses. The article also pretends that there’s a magic “load balancer” in the cloud that always works and also knows which segment of a partitioned network is the “correct” one (one of the points of CAP is that there’s not necessarily a “correct” side), and that no users will ever be on the “wrong” side of the partition. And not only that but all replicas see the exact same network partition. None of this is reality.

But the gist, I guess, is that for most applications it’s not actually that important, and that’s probably true. But when it is important, “the cloud” is not going to save you.
Part of the problem with upzoning is that for people who are not going to redevelop because they like their house or they do not have the financial means to do so, and are also unwilling to sell, they get no monetary benefit from the upzone.

In some jurisdictions, this is alleviated by allowing the sale of excess zoning capacity to others, which now gives people in that situation a way to realize monetary gains. https://caldwellcommercial.com/understanding-commercial-real...
I suppose what models should have are some instructions of things they aren’t good at and will need to break out into python code or what have you. Humans have an intuition for this - I have basic knowledge of when I need to write something down or use a calculator. LLMs don’t have intuition (yet - though I suppose one could use a smaller model for that), so explicit instructions would work for now.
> once that piece of ownership has been attained it's also rational to want to preserve and maximize the value of that investment

By that logic, the idea of workers having part ownership of the companies they work for has a lot of upside.
This is why I greatly appreciate the handful of content creators I follow who don't just chase the dollar and cultivate a fan based and stay true to their original intent.
India has a boom in outsourcing right but it’s going to get squeezed especially hard from AI. I work with Indian web app developers from major Indian cities. In the last 10 years ive noticed that the technical ability of Indian devs has reach parity with dev in US or Europe. However, there’s still a huge gap when it comes to product design and communication chops because Indian dev teams were structured to be the coders as a service rather than product teams. The issue is that AI is on the cusp of being the coder as a service. If you want a job in software in the post AI era you basically need to be either cutting edge in some vertical or you need to basically be a product manager who also has the skills to manually debug the generated code.

But I 100% agree with your advice overall though. I tell people don’t be a coder unless you are the type of person who codes for fun.
I can't find it right now, but I recall reading an article years ago where a newer, more powerful generation of GPUs turned out to have much less hardware for 2D operations/calls, and a fraction of the 2D performance, but the performance in 3D games went up so nobody really noticed.
Interesting that other than C only pascal has survived (kind of).

I have fond memories of Pascal, but when I think about it is actually Turbo Pascal I have great memories of and not so much the language itself.

Turbo C/C++ was surprisingly a worse environment for me despite being much more fluent in C, which shows the important of a responsive IDE.
>Up until recently, to insert yourself into an image generation algorithm, you had to use a technique like Dreambooth

I mean, not really, you could just train a LoRA for example (it doesn't require training with Dreambooth).
Euclidian Geometry still requires constructions to solve, and those are based in intuition.
Those even just asking interview problems should be able to answer those problems in the same time that interviewees are expected to upon seeing them for the first time. I don’t think most can.