skysight-inc/HackerNews huggingface dataset:
Unless people are expecting the market and companies to bend to their needs and the cost to apply to 1000 jobs is low, because "you miss all the shots you don't take"?

Like Intrinsic is... combating spam. Would spam not exist if there were no spam filters?
But are you better than you used to be? If you're in an org where you're given more and more complex tasks as your experience grows, work is never easy. You're constantly working at the upper edge of your abilities.

One thing I have found helps is to mentor someone more junior than yourself. You then realise how far you have progressed.

There are also other skills you could max out - likeability, communication skills, writing skills, presenting etc that could still make you stand out.
For me, in spite of living in an ex-urban location, there's a Walmart a 10 minute drive away. But I can absolutely see (and know people) for whom picking up a big package of paper towels in Brooklyn is sort of a pain.
Seriously: this is one of the very most important topics in physics today. It is not written of discussed nearly enough. My father was part of an international team, ignored in the U.S. and worshipped internationally.

I would assign the noun- royal pita.

I read every article I come across about this, and I would strongly encourage you to write more. What upsets me is politics getting in the way of science.
I don't know you, but when I know exactly (or even approximately) how difficult something is I say "It's [really] not that hard".

Someone saying "how hard can it be" is kind of a flag that they have zero idea of how hard it is or isn't.
I don't get it, why is it a "vulnerability" if you send people emails that contain a link to example.com? What exploit is possible?
Oh, the "bum fights" comparison has some resonance with me.

I find his videos to be very off-putting and sometimes offensive. I generally feel like I need a shower after watching them. But I'm obviously not his target demographic, so my opinion is meaningless.

I'm just reassured to learn I'm not completely alone.
I saw a picture of the Costco in Alaska a few years ago and it was full of camping gear and salmon and stuff like that. It was pretty cool. I think it was Juneau, the "smallest Costco."

Yep found it https://old.reddit.com/r/Costco/comments/1e0t9u6/costco_june...
What alternative do they have? Google Maps reviews?
Nah just learn to love more people. It’s the “one weird trick” we’ve all been looking for.
Last time I checked Windows still did not have anything like Quick Look, so for me it's the opposite. The only macOS enhancements I've been using since 2011 are Karabiner for keyboard customization and f.lux for warm colors at night.
The people who can afford to give do so knowing the alternative is what amounts to a prison lifestyle for their children.

Any ground that can be broken should be.
Even great regular coffee isn't ubiquitous yet.
It’s not true, but if it were true then it’s true?
I would imagine that people who need Google Maps on the web are more likely to stick to that one platform everywhere. Offering Apple Maps on web makes needing to stick to Google Maps less necessary.

It’s the same reasoning as iTunes on Windows.
Moreover, splitting the decision making is so conflict prone and unoptimised for competition. I had a look at some statistics that showed most successful startups take off when they have a single founder
The US economy is pulling off something historic
So if Lean was used to find the answers, where exactly is the AI? A thin wrapper around Lean?
Legend has it that Walter can smell anti-Americanism in the water, in fact all the way to Germany.
A neutron star is about 20% protons.
This 100%.

Their prices are generally too unstable to put anything on "ship & forget". There are some exceptions, like the items you subscribe to.
HN Downvotes on non-engineering things are my badge of honor. It has rewarded very well financially
Yet... I can see the next generation iterating on his contest style challenge videos in a more guerilla style with less resources and safety leading to a similar outcome.
> The point is whether this finds results more cheaply than a human can

If you need to solve 1000 problems in 3 days you wouldn't find the humans that can do it. So it would not be cheaper if it's not possible.
Goalposts at the moon, FUD at "but what if its obviously fake?".

Real, exact, quotes from the top comments at 1 PM EST.

"I want to believe that the computer found it, but I can't find anything to confirm."

"Curing cancer will require new ideas"

"Maybe they used 10% of all of GCP [Google compute]"
Your baby is crying over the intrusion of big tech into their private life before they even have object permanence.
In my book, borrowing money to buy something I don't have the cash for does NOT mean I can afford it.

Back in the days when I didn't have money to buy a car with cash, I just didn't buy a car and used a bike and public transit to get everywhere.

I mean, maybe that's why I have a high savings rate.
Show HN: The Alchemist Book Summary with Chat
Hey folks,

Over the last 24 hours -- we built a tool to summarize and chat with with some of the most popular books [1], like The Alchemist [2]

The key features we felt that were necessary were:

- Quickly search your books

- Select the book and start chatting

- One click book summary

- Add link to buy on Amazon

Caveats:

The books library is currently very small, if we have enough interest we would be happy to source and grow the library.

What would you like us to add to this next?

[1] Search all books: https://www.sliksafe.com/books

[2] The Alchemist Book Summary: https://www.sliksafe.com/book/the-alchemist
Simon Willison[1] has a very compelling series of posts on why this will absolutely not work. The basic problem is that the model doesn't see your prompt. It just sees a bunch of numbers (after tokenization) and pretty much any attempt you make to prevent prompt injection (which this is a simple prompt injection) can be defeated.

What the world needs is the equivalent of "placeholders" like are used to prevent sql injection and the models to be trained (and model apis changed) to treat the information coming through the placeholder as fundamentally different to the main prompt and context.

[1] https://simonwillison.net/series/prompt-injection/
Yeah, sure GIMP is not in the same class as Photoshop. How about GIMP vs. Paint?

GIMP is not the only open source image editor.
TLDR:

You really should watch the whole video.

He basically uses the same methods as cult leaders (e.g. Trump) to capture an audience and turn them into loyal followers, with promises of success, rewards, and in-group messaging (like MAGA hats). He uses brainwashing techniques. He is deceptive, humiliation, selective recognition, and so on.

And he's using those techniques on a teenage audience that wouldn't know better, without parental supervision.

And YouTube profits heavily from it, so their oversight is financially compromised.

If you only have a few minutes, start watching at 14:00, and decide for yourself whether this is criminal behavior.
Quorum doesn't let you ignore partitions. It can't. You still have to decide what happens to the nodes on the wrong side of the partition, or how to handle multiple partitions (you have 5 nodes. You have 2 netsplits. Now you have clusters of 2 nodes, 2 nodes, and 1 node. Quorum say what?).

I don't think TFA is nuts. I do think the premise that engineers using cloud can ignore CAP theorem is wrong, though. It's a decision you must consider when you're designing a system. As long as everything is running well, it doesn't matter. You've got to make sure that the behavior when something breaks is what you want it to be. And you can't outsource that decision. It can't be worked around.
That's why all people from Namabia I know got their German passports. Without it's impossible to travel. Namibia is full of old German immigrants.
I always wondered about this, a while ago I saw a library similar to this that modeled FSMs in Postgres, and had a comment saying "todo: cycle detection". And made me wonder if it's even possible to do this.
Welcome to the world of hiring especially startup hiring. It is a tough job as a founder. One of the hardest things to get right but also critical if you want to scale/grow.

Here are some of the lessons I have learned over the years (Hiring on and off for almost a decade now):

- Portfolio sites are crap. They are built by people who have no real experience and need it to try and break in the tech world. Theya re mostly "bootcampers" or self taught devs who aqre too junior. You mayfind a few gems but extremely unlikely.

- Most "good" devs are taken, let alone great ones. To add to it, most good/great devs are not interested in risky startups. So your candidate pool is extremely small already. You cannot just post a job and expect to find the gems that would be a fit for startups. You most likely won't not for the first few hires that matter.

- The only way is to tap into your own network and experiences. For example, I was able to convince an ex-co worker of mine to join my company as I knew he would a great fit. He wouldn't have applied to any jobs but he gladly took me up on my offer as we worked together for a few years in our corporate jobs way back.

- You also need to sell your company/product/vision. Get online everywhere. Have a twitter. Be social. Talk about your company/product/goals etc. It may attract some good people. It may.

- Your first 5-10 employees need to be dreamers, hustlers, romantics. They cannot be someone who jut wants a job. Won't work. Never does. Good luck.
I wish it was this simple but you need to fix a lot of things about interviewing culturally before you take a sledgehammer to it all by instituting week by week quotas. “Well they might suck but we need to hire them as the week is almost out!” Seems like a recipe for disaster.
Do your research before responding to me next time. They're both email design tools - Resend is based around building your emails in React.
Search is great, search works, but there was not a tonne to learn from the AlphaGeometry paper unless you were specifically interested in solving geometry problems.
Yes. Mike Judge regularly mashes real-life personas together, similar how he captures culture.

Peter Gregory seems to be the mannerisms of Elon and the outlook/values of Peter Thiel.

There's also Action Jack based off of Neutron Jack (Jack Welch) with a bit of Steve Ballmer.

Gavin Belson has to be based heavily off of Gavin Newsom's mannerisms and looks, along with being a mashup of other CEOs like Larry Page.

Mike Judge barely changes the names, I guess no-one was getting the references :)
It seems like some folks in this thread are conflating globalization with ultra-powerful organizations using their capital and influence to spread to the rest of the world. Other countries are simply untapped resources in their eyes. More folks to consume their products & services.

I think the two can be the same, however, that does not mean they are the same.
One of the main things that they have discussed in interviews is trying to create a third pole of licensing structures. There is Free Software, OSS, and then they want to create a 3rd option with non-commercial clauses that everyone can rally behind for people who want to use those sorts of clauses. I think this is a pretty interesting idea and it will be neat to see how far they take it.
The methods are know, but the solutions to the IMO problems weren't. So the AI did extrapolate a solution.

Also, there's no reason to affirm that an eventual cure for cancer requires fundamentally new methods. Maybe the current methods are sufficient, it's just that nobody has been "smart" enough to put the pieces together. (disclaimer: not an expert at all)
My buddy lived in greece for a bit and he laughed at how he could order a one euro coffee delivered to his room or office almost anywhere. He couldn't comprehend how it works.
But at least its a loud failure and not a silent different interpretation of the source as the example was. Still.
Everything you're saying is true. It's also true that you can ignore these things, have some problems with some customers, and if you're still good, they'll still shop with you or whatever, and life will go on.

I am really saying that I don't buy into the mythology that someone at AWS or Stripe or whatever knows more about the theoretical stuff than anyone else. It's a cloud of farts. Nobody needs these really detailed explanations. People do them because they're intellectually edifying and self-aggrandizing, not because they're useful.
Then they should be ready to pay higher rents for it, because everyone else also wants the same thing.
Small companies don’t have people whose only job is to hire other people. So yes, this is a large company problem. When you’re small, generally everyone is already involved in the hiring process and has a reason for making sure the roles are filled.
Faster-Sort: Creating a faster sorting algorithm than the one in C++ STL
I think it's called the menu bar, and apps that don't open windows (with an icon in the menu bar) are known as "menu bar apps". Until recently, these were a PITA to implement with Apple's SDK. Thankfully they provided API support sometime I think starting with macOS 13... before that it was pretty kludgy.
This is a nice search rngine. I found it to be more effective than crawling with google scholar. Good work guys!
Yeah and the process to remove a pin is a little clunky I find
It's pretty easy to find pix of 80s-era racers (e.g., LeMonde) who sported pretty intense glove tans -- pale hands, but with a circle tan on the back and tan fingers. Sharp lines on the upper arm and thigh from jerseys and shorts are still common, too, but I see less of all of this now than I did back then.

I ride a lot, and I barely have them, because sunscreen exists and I don't want cancer.
Comparing "turn photo into LaTeX" to "translate theorems into Lean" is like comparing a child's watercolor drawing to the Mona Lisa.
In my case, it was database optimizations that reduced the overall costs significantly

* Instead of writing big complex queries that had nested SELECT's, I split them into smaller bite-sized chunks that could be cached
* Better caching strategies - reducing how many caches were flushed when a change was made
* Tweaking the index's on database tables to improve WHERE clauses
* Storing intermediate calculations into the database (for example, the number of posts a user has could be stored on the user table instead of counting them each time)

When I optimized the database, I could then reduce the size of the DB and the server as they no longer needed to work / wait as much
Paired characters...

That's an interesting topic. Do you happen to know if UTF-8 contains more "pair" characters? In Latex we call these delimiteres, but that's just my limited experience coming in from math side. I tend to agree that it would be helpful to have more kind of nesting/pairing/grouping/delimiting characters. The problem is my imagination is limited to what I know from the ASCII world, and so it goes... no idea what new sets would look like.
No, "silver medal" is defined as a range of points to be earned in the allotted time (4.5 hours for both papers of 3 problems each).
I believe there would be a single polymath who has skills in multiple fields, such as Oppenheimer who was great at science and administration who can lead a group for successful execution. For Apollo moon mission, it was the US president vision at the foremost. Even for TSMC and other companies such people exist. I don't want to say that entire credit goes to an individual but leaders with multiple skills are necessary.
Your comment seems unnecessarily hostile
Getting some of your salary in stock options isn't really an employee owned company. How many % of total Google shares are owned by employees (excluding the founding employees)? 0,0000000001%? At least 50% would be required for it to be viewed as an employee owned company.
It’s a mix. I’m general if you respect their customs and the way of life, people in general will treat you well. Even if someone doesn’t like you they will try to treat you well, since Japan is supposed to be a polite society and treating others poorly also reflects poorly on an individual.

That being said, it does come with it's own share of “foreigners not allowed or welcome” experiences. There’s also racial undertones to those experiences, where some set of people will have worse experience than others.
Neither firefox nor chrome works on android with that link.
Chat gpt given the following repo, create a plausible perfect commit history to create this repository.
Having to fill out a job application is now a "stupid restriction"?
Homes shouldn't be an investment. They've accidentally become that in the past few decades, and as a result, affordability is getting worse.

The better it does as an investment class, the worse it will become. It's a self perpetuating spiral.

I don't see the market solving this. I only see some regulation helping here - ie any tax filer can at most own 1 SFH (this includes married couples). So no second, third, tenth homes. Corporations and foreign entities also cannot own SFH - bye bye black rock & China.

Obviously some edge cases don't work (ie people who want to put their home in a trust), but generally speaking, people should not be able to own homes as investments.
Just people who are polyglots.
Exactly, a problem and its answer are just different ways of describing the same object. Every step of a proof is a transformation/translation of the same object. It would be disingenuous to say that some heavy lifting isn't done in formalizing a problem but it seems that step is also performed by a machine:

"We established a bridge between these two complementary spheres by fine-tuning a Gemini model to automatically translate natural language problem statements into formal statements, creating a large library of formal problems of varying difficulty."

I'm confused, is the formalization by Gemini or "manually"? Which is it?
>What's wrong with using a calendar date like may the 1st?

Usually it's because they want to keep it vague because the exact date (or even month) hasn't been set yet.
They started out desktop sized!

https://en.m.wikipedia.org/wiki/Betatron
My old AI professor used to say that every problem is a search problem.

The issue is that to find solutions for useful problems you're often searching through highly complex and often infinite solution spaces.
Do you have any data sources to help us quantify either claim? (Revenue loss, and homelessness rate comparisons)

I'm particular curious how really large European cities compare to their west coast equivalents and also the midsize equivalents compare.
Easy trick to making joins 50x faster: don't use Postgres and give your tables a primary key which groups related items together.

A lot of people don’t know that a database index doesn’t order the actual rows on disk. It’s just a Btree of pointers.

If you use clustered index for a table query pattern, the rows are actually ordered on disk.

Most DBs load data in 8KiB chunks. So if you query 100 rows that are 100bytes, if they’re not sorted, you actually need to load nearly 1MiB of data even tho the query result is 10KiB.

Speeds up joins and range queries 50x or more, less cache evictions, etc.

You can do this in any database except for Postgres. Postgres doesn’t have the ability to keep rows sorted on disk.
> The CAP Theorem is Irrelevant

Just sprinkle the magic "cloud" powder on your system and ignore all the theory.

https://ferd.ca/beating-the-cap-theorem-checklist.html

Let's see, let's pick some checkboxes.

(x) you pushed the actual problem to another layer of the system

(x) you're actually building an AP system
After attending Stripe Sessions conference in SF, Vercel's Ship conference in NYC, the UBS Women in Tech Summit in SF, and AI Crafts Boulder's recent meetup in CO I noticed a number of patterns of how software organization leaders (both technical and business) talked about their hopes and concerns around generative AI and the impact on software development.
One thing that seems certain though is that Homo Naledi was there way deep in the cave, which is saying a lot in of itself.
Just be aware google takeout contains everything except files uploaded to Google Drive.
Nominal wages have increased, but in 2022 they increased slower than inflation, so people became poorer in real terms:

https://www.stlouisfed.org/on-the-economy/2023/feb/nominal-w...

The number of people making federal minimum wage is tiny, around 0.1% of all workers:

https://www.bls.gov/opub/reports/minimum-wage/2023/home.htm
My guess is that the LLM was directed to be enthusiastic about the position.
Not the case. People working in say fast food in Greece have 6 workday weeks (their weekends are just 1 day per week). Doubt people are more happy cleaning restaurant toilets in Greece vs the same toilets in US.
paywall free: https://archive.is/jt84K
This is always my response when someone complains "I filled out 500 applications but didn't get a single response!" The problem is that you filled out 500 applications. Instead find 5 jobs that are actually a good fit for you and spend your energy in applying for those.
tho they've taken a hit and lost some business, for sure, there are still a lot of people using SolarWinds...
The results are biased towards users with high post count. It doesn’t matter how knowledgeable you are about a topic, only how much you comment on it.
A chimp pulled someone's foot off in one incident - they are brutally strong.
> Being good and working in your own self interest aren't mutually exclusive though.

Being good and selfish/doing whatever is in your own self interest no matter who else gets hurt are mutually exclusive. The reason we can't trust the food we eat is because companies are selfish and don't care that you get sick. They'll feed you poison because even though they already have billions in profits, it makes them a few extra cents every time they do. That's where we're at, and allowing it to continue isn't the natural state of things.
What do you have against him?

I say give him the 30 million dollar package because he's the only guy I can think of that has hope of turning NVDA into a a 10 trillion dollar company in a few years and I can't think of any other CEO that would do better than him.

And sure, maybe at that point his comp will be 300 million, that's fine, my NVDA stock will 10X as well and I'll be more than happy.
This is dope. I work with Zynq/Versal quite a bit and respect and understand (conceptually) the decisions you have made!

You get to own every aspect of your toolchain and with that will come a lot of power.

Are you familiar with:

https://github.com/corundum/corundum

Perhaps you can build a support package for your platform.
Git Granary
> If the human competitors had been allowed that sort of time per problem they would undoubtedly have scored higher.

Or if AlphaProof used more compute they could have slashed that time to 1/10 or less. It's arbitrary as long as we don't define what is the compute the AI should be entitled to use here.
LinkedIn posting and link promotion: impression vs. reality
Government. Military. Boss doesn't get around to signing the order until the Friday before the exercise. Logistics people are now booking flights/hotels using last-minute rates. 25k is nothing when you are trying to get 100+ people into hotel rooms at the last minute.
> the stress and risks of running a small business as a solo inexperienced first time business owner are insane compared to a regular 9-5.

Precisely.

Add to that that as a regular 9-5 worker you have one role.

As a solo business owner you have several roles (engineer, marketer, customer service, designer, etc...).
Leverage is another trade-off. Humans are well adapted to throwing a baseball sized rock, spear, or javelin much farther than a gorilla can, but a gorilla can throw a 200kg stone farther.