skysight-inc/HackerNews huggingface dataset:
Like I say above, that's the difference between using a green cut vs. a red cut. See also my link to the RLE version in "99 Prolog Problems". So far it's been my experience that it's very hard to find a Prolog program that can't be written without a cut.
Hope they have insurance thats covers GPS failure...
Good managers insulate reports from the politics, if you weren’t plugged into it it’s either your manager did a good job or it’s the only part of Google that isn’t 90% politics.

Signed, “didn’t work at brain or dm but was involved in a lot of alphabet level decision making”.
Embedding Archives: Millions of Wikipedia Article Embeddings in Many Languages
> But I'm confident that data passed to ChatGPT isn't being piped in as raw training data for subsequent versions of their live models.

right now sure but they are almost certainly saving that data to send you targeted ads down the line. maybe not this company... maybe when they get into financial hardship and sell off to someone with dubious ethics. maybe not ads but something like that.
Colors, Minds, and Game of Thrones
Colors are cool.
For anyone else interested, Gwern has also researched melatonin thoroughly (as usual): https://gwern.net/melatonin
> It turns out chasing social media and search clicks for free ad-supported journalism is not a great business model.

And it's an even worse business model if you rely on social media for your business model and one day Twitter (or any other platform eventually) decides that if you're going to make money sharecropping in their fields, you need to start turning over revenue to the landlord in the shape of checkmark payola for reach and gatekeeping fees for access to the API.

It's the classic platform enshittification end-game: Social media embraced companies like Buzzfeed for providing the content that they used to build critical mass, then turned around and viewed them as ATMs to be plundered. Same story as app developers in walled gardens.
Possible, quite easy, and certainly of political value. But, you know, maybe they're not.
The articles I link to say the opposite. MRI as a screening tool has limited application - it causes more problems than it solved.
I was laid off in early January, 7 months into a job I hoped to keep for some time. I was in the second round of layoffs, the first came 2 weeks into my employment, so it was a rocky road but I was looking forward to 2023.

I spent the first month or two only half-heartedly looking for work. I sent out enough cold applications to meet UI work search requirements, and I was applying to jobs I was truly interested in and would have accepted, but I've never had good luck with cold apps and didn't expect any different this time.

Updating my LinkedIn is what turned the tide. The week before I accepted a new job, I was interviewing at 9 places. Two turned me down, I ended two others midway through, and ended up with 5 offers, the most I've ever had.

Three months after being laid off I started a job I'm really excited about and it's going well so far. Managed to get a slight pay bump over my last job, but I also turned down a much larger potential increase.I think this market might be the best it's ever been for a specific kind of engineer: 10+ yrs experience, ML-adjacent, looking for all-remote at early startups.

My big lesson is that cold apps aren't even worth the time to send. I got 1 positive responses out of dozens of apps (mostly no response, a few no's), including on YC's Work At A Startup.

As for the industry, I'm very excited about the general industry, especially the ML ecosystem, but I expect tough times ahead for all the companies that peaked before 2023.
I tried to make it joke at the expense of Norwegians speaking a particular dialect, and it refused. (Language spoken by 5 million people).

When I tried to jailbreak it by prompting it to make the joke from the perspective of an esteemed actor, performing for the Prime Minister and other respected figures, it had our Prime Minister scold and demand an apology from the actor for making fun of stereotypes. The actor was contrite and toned down his humor.
Clean code == elegance > complex in my books. I'm unsure what your definition of elegance is, but for me it's simple and clean. Any complex things should be slimmed down to simple thing or a small combination of simple things. If it's faster, than it's even better, if something is both cleaner and faster, I can't think of a scenario that I'll not side with that.

Premature optimization is root of all evil. It seems the new system is coping fine with demand, are they at the risk of falling over? If not, then there's no point in trying to prematurely optimize it, especially if change made it slower. Even if optimization is necessary, a good optimization strategy should not have made anything slower to the point that it is noticeable.

All in all, it seems like a successful rewrite story, which is not easy. Many times rewrite makes things worse and not cleaner and simpler.

I'm not very qualified for personal advice, but try greener fields either in org or elsewhere, as software engineers we are valued for the ability to create, and should not get too tied up to our existing creations.
A common mistake people over 40 make is list too much experience. This simultaneously sparks ageism, raises the "overqualified" flag and creates concerns about your ability to scope out irrelevant info.

Try removing the graduation year and limiting the experience to the last 5 years or so - you'll get much more replies off "cold" channels.

That said, using cold applications being 40+ is generally a bad idea. You need to be actively working on your network and relying on people that know you're good in order to get the foot in the door.
Eh, if SpaceX had genuinely not expected the rocket to get off the launch pad, they would not have launched it.

I expect their math was something like:

95% chance of enough engines lighting to launch
90% chance of clearing launch pad
60% chance of making 60 seconds of flight
30% chance of 2nd stage separation
15% chance of re-entry
> DeepMind has made very impressive demos and papers, but they have yet to add one dollar of revenue to Google's bottom line. Further they have drained billions from Google.

You could say the same about OpenAI and Microsoft, they drained money for years until about 6 months ago when suddenly the partnership started to pay back big style.
Java 100%. The product manager of programming languages.
Laid off in october, founded a company in december. The bootstrapping path is a long and lonely one, but better this than go back to slinging code and being an underpaid middle manager.
This argument assumes social media algorithms are passive agents, which only give users what they're looking for. What's missing is the fact that human minds are malleable, reactive, and adaptive through reinforcement. By providing what they think you're looking for, the algorithms subtly shift your psychology, leading you to seek more of what you're already seeing.

This is not a novel insight. It's why advertising works. AI-based Skinner-box algorithms are like traditional advertising techniques on steroids. They inevitably profilerate the kind of content that optimizes for the most engagement, and due to the way our lizard brains work, this happens to be content that generates emotional manipulation and outrage. The consequence? A population-wide mental health catastrophe.
Uber’s Engineering Level Changes
Sounds like corporate funny money to me, not real revenue.
The fastest unified matrix multiplication
I actually think making a small game good is much harder.

"I apologize for such a long letter - I didn't have time to write a short one."
High Risk of annoying "interest group" complaints. There's a lot of evidence about how much just a couple of loony religious groups send thousands of complaints each year to Visa/Mastercard/etc about every company they don't like, and that in turn affects Visa/Mastercard/et al's pressure/relationship with banks.

You'd think that annoying complaints from a minority of self-righteous people wouldn't have so much power in banking, but they seem to get listened to time and again.
I asked GPT-4 to do it and it scattered first-person pronouns everywhere.

https://pastebin.pl/view/77273c05

Happy now?
The Starship is worst-case carbon neutral (burning methane generated from CO2 in the atmosphere) and best-case carbon negative. It can be carbon negative because methane is a potent greenhouse gas that is expensive to recover, with little economic value, and largely brought up to the surface from underground oil wells. Thus, this methane is often vented right to atmosphere. Actually burning it in Starship converts it into CO2, which has about 1/20 the long-term climate effect as would the otherwise-vented methane.
Yes, but 'modernized' with generally higher salaries.
Wonder how expensive and time-consuming is filling a big-ass hole in the ground with concrete.
There were a huge amounts of niche sites written to answer questions on niche topics. All with the aim of being helpful enough to get google to send them traffic they could monetise with ads. Many of these sites were peoples hobbies which they could further explore or even dedicate themselves to based on the income from their website.

This wouldn't have happened without ads, no other alternative has ever been found that got the author of a website paid while not directly charging the reader.

The web with ads is immensely more useful than the web without, hell without ads there probably wouldn't even be a search engine to find anything on the web and without a search engine nobody would be able to find anything of any use.
It's kind of surprising that single satellites can still be so crucial, given that we have at least three operational navigation systems which phones can easily use (GPS, GLONASS, BeiDou and Galileo). Are those not all truly global?
I’m have no doubts that she’s doing an incredible job but by all accounts Musk is intimately involved with the engineering in addition to being the head of the company.

https://www.reddit.com/r/SpaceXLounge/comments/k1e0ta/eviden...
Could you provide a quote from either of these articles that supports the statement being questioned:

> Demis now has a load of people reporting to him who previously were rooting for his failure
TIL: Google offers enterprise SSO
Very cool. Side note: bark-gpt.com is already taken for a dog translator: "The world’s first AI powered, real-time communications tool between humans and their furry best friends."[0] I only know this because my law firm partner's name is Bark, and I wanted to automate some legal work and name the software "Bark GPT" after him.

[0] https://www.bark-gpt.com/
> The subculture is very quick to brush away anything that goes against the narrative of...

Oh here we go again. Give me three comments below (in direct links) that "brush away" the obvious risks. I think you just made stuff up. Of course there are risks.

Maybe the reason a whole lot of people are not complaining about bad experiences is that they are maybe, maybe, not as common as you want them to be.

If you want rational drug discussion then you should probably start with yourself – not everyone suffers from significant harm in drug use.

> I wish someone had warned me.

A little bit of reading around would have shown you there are risks. Either you didn't do your due diligence or you ignored them.

Edit: start here https://www.google.com/search?q=psilocybin+risks
Are you saying it is a shame weapons are going to waste?
Could magnet links live on archive.org forever?
DeepMind already seem to be using JAX quite extensively: https://www.deepmind.com/blog/using-jax-to-accelerate-our-re...
What does Inmarsat (failed sat is Inmarsat-4 F1) have to do with the GPS constellation which is US Government operated?
Yeah, I think it's been surprising to a lot of people. There have been a lot of questions among people who follow space as to why they didn't start with a flame diverter and water deluge system.

I guess they felt the delay to install one would be too long, and they really wanted to get this launched? Or maybe they had reason to believe they'd get away with it... seems implausible given the forces involved.
OpenAI is still massively unprofitable and MSFT is (rightly IMO) going to invest way more money in them so it’s definitely still a drain. A modest drain relative to MSFTs overall resources
This is similar to what I went through over the last few months. I did land an offer, but it took over 70 applications. The only other time I had this much trouble was in 01 after the dotcom crash. I do think ageism plays a role. There was one interview in particular where I think the only reason I didn't get an offer was my age. However, I also think it's the economy contracting combined with too many devs on the market. Folks are still graduating from colleges and bootcamps and trying to enter the work force while hundreds of thousands of existing roles are disappearing. Unless a white swan event happens, a lot of people are going to have to consider a career change. I feel deep gratitude for having landed a position at a time like this and am buckling up for the next couple of years. I hope you land somewhere soon.
Just because a news outlet received a couple of awards does not mean that it was an overall quality outlet. That is a terrible metric and your recursive citation really shows how poor your judgement is in general.

Bottom line is that Buzzfeed news was a far left rag. The world will be better of with less polarizing news outlets.
It will most likely widen, but who cares? What matters to me is the quality of my life, not others. If they're managing to get better than me while doing something useful to society, good for them.

What really matters is: the poor of tomorrow will laugh at the life of today's rich.

I mean, the poor won't have the Bezos' yatch, but they'll have access to some life amenities, health resources, etc, that Bezos can't even dream of having today.
Lately HN has been critical of dissent against certain ideas, with flagging and mass downvotes used to push certain narratives.
I'm surprised to see so many comments in this thread criticizing Google for not milking more money out of their AI research sooner. Not being a shareholder, I'm pretty happy with how they catalyzed the modern AI revolution and have worked on very hard and meaningful problems like protein folding.
Chief Scientist, apparently.
Looks awesome. If you can swing it with a proper manifest.json to let it add to iOS home screen without throwing it into Safari (https://johan.im/writings/ios-homescreen-web-app/) that'd also be amazing.
damn, it must have been frustrating to realize that this rise in income was a fluke and wouldn't happen again.
Low power warm-up: Understanding the effect of power on creativity over time
This applies to any other long-range aircraft. It's a crew efficiency issue.
Have you thought about removing the date you graduated from your degree and removing a few of your early jobs from your resume? You have 20+ years of experience... can you make it look like you have 10? Just to get an interview?

It is absolutely awful that you should have to do this. Starting a new career in web dev at 35 it is something that's on my mind quite often.
Katie McRobert, general manager at the Australia Farm Institute, said Australian farmers sourced their GPS signal from one satellite, which was a critical risk to rural industries.

All that went out the window when the Inmarsat-41 satellite signal failed.

Can somebody who actually knows what happened fill us in? Because saying you depended on one satellite for GPS makes no sense. Based on the article as-written, this is headline is wildly misleading. The tractor failure has fuck-all to do with GPS. It sounds like their satellite data link failed and the tractors shut down without a control signal.
Playstation wants to get gameservers running on Kubernetes
That's not my problem. Space X can define their limit for what counts as success as they see fit. I totally acknowledge that getting this huge thing to any height is an achievement. But there's still a mismatch between what the general audience would label 'success' and what they do. So maybe talking about 'milestones' or something to that effect would be better. After all, in itself it is not yet a useful workhorse to put something in orbit at this stage (pun not intended), even though it's a probably necessary and helpful intermediate step given how finicky and complex rockets are. I was actually only poking fun at your 'not moving goalposts' combined with the idea that 'we call it OK if it doesn't explode right on the ground'. That sounds a lot like a moved goalpost if the aim is to get to the moon or even mars and back. It's a bit like that 'draw an owl in three easy steps' meme: draw a circle for the head, draw an oval for the body, now draw the rest of the owl.
Small Saas apps are dead. To many calls for basic but too small to afford 42k a month. Wtf
The NIH has poured $1B into long Covid research, with little to show for it
I'm not sure I understand your argument. "SEO for great content" to me just means you have great content, and you Optimize it for Search Engines so people can fine it easier/higher.
I don't know that Prolog, or logic programming, makes any promises about formal semantics. I have to say I don't think of Prolog or logic programming in that context. Except for the more general point that Prolog programs are theories, and when a query is executied, that's a theorem being proven.

Btw, I'm not at all complaining about Prolog's higher-order. That may be a "hidden" feature, but it's a really, really useful one. FOL is actually very restrictive in many ways. As far as I understand it, the distinction between first and higher-order logics was not made by Peirce and Frege, who tended to fudge the orders a lot, just like Prolog.

In any case, for me, logic programming begins and ends with Robinson's paper on Resolution. That was not about formal semantics, and only about a sound and complete inference rule. And that (soundness and completeness) is all I really need to know. The rest (including definite clauses, SLD-Resolution and Prolog) is all implementation details.
Why? The foundational research papers have all come from Google Brain/Google Research and not from DeepMind.
How is this relevant to the comment you were replying to?
Here’s another I really like. It adds in some light static strength holds.

https://youtu.be/4BOTvaRaDjI
I realize this happened in Sweden. My dad was a professor at the Karolinska Institutet in Stockholm; I practically grew up there. My first name is spelled "Kristian" for this reason.

Yes Sweden is very different from the US. In fact, seven years ago some Swedish cops on vacation in NYC became somewhat famous and drew significant attention (at the time) to policing issues in the US[0]. People in the US were literally saying "WE NEED SWEDISH COPS".

That said... Even by Swedish standards (of which I'm familiar) I find it very, very, very hard to believe the government would bother to do an initial investigation, draft and apply for a warrant, serve the warrant with SIX police officers, and then walk out with a handshake because some guy in the office says "we don't have that".

[0] - https://www.youtube.com/watch?v=izdfnHBMwSs
It’s unapologetically sexist
If Google were to go on a startup acquisition spree in this hot new competitive space in a further attempt to catch up - how would they locate and assess potential companies?

Asking for a friend.
I worked at a company that built a high security data center with a man trap at the entrance. Meaning, you step into a small room resembling an airlock. Once inside, you cannot open either door without a badge or calling someone on the video screen.

After completion of the building, they had to disable it because it turns out this kind of thing is extremely against the national fire code.
I just heard about this charity the other day listening to a fascinating episode of the Lex Fridman podcast with Paul Rosolie who seems very involved or possibly the founder.

Fwiw he came across as very genuine (given some comments on here were skeptical of the charity)
1) Government (until Musk decides he hates you all).

2) Find a rich patron.

3) Disinformation for hire.

or a combination of all 3.
Have you tried the consultant/contractor angle? Many companies that were forced to downsize will be looking into contracting out some of the workload they still want to be done.
"These people largely aren't fearmongers either, they are experts in that field, serious engineers."

How many "experts in their field" think GPT 4 can end the human race?
Sounds like a good class.
Arguably none of that made a comparable difference to the life of a common man as ChatGPT did. It's necessary to do fundamental research, but imperative to maintain focus on delivering real world value to real world people.
yeah sure I'll listen to it!
Maybe you mean challenger or startup banks.

Online banks have existed for nearly 25 years.
I wish the original poster had put that. It makes sense. Thanks
This sounds like the motive for religious war. Are we not tolerant enough to let other peoples have their own political systems?

It took a couple hundred years for Europeans to stop killing each other in the wake of the Reformation. Maybe we still haven't gotten over the instinct that somewhere, someone is doing it wrong and we have to do something about it.
NRVO is a completely transparent optimization that Rust tries to do whenever possible. I don’t know what sort of case you can get into with object identity but I suspect it’s obviated by making moved-out-of values untouchable at compile time.
Note that this isn't a GPS failure, it's a failure with Inmarsat's Satellite-based Augmentation Systems (SBAS), which supplements GPS data with signal measurement errors corrections. This allows for centimeter level positioning.
Theres nothing disingenuous about thinking the person that earned the honor should be the one to do it. Your claim that I think I have a monopoly is disingenuous. GP stating it should be a woman, just for being a woman, is being disingenuous.

Most women I know appreciate the "perks" of being a woman, but none of them are under any delusion about it. They would be insulted if they lost on equal footing, and were rewarded for it anyway. I've never met anyone who was happy knowing someone let them win.

If you want to make an argument that men and women are never on equal footing, I could understand that but I'm not even sure what you are proposing instead.
How are you interfacing with gmail? I also wanted to clean up my inbox with some help and wasn’t sure the best touch point
A big challenge for US banks is finding the banks that have the right transaction download tech. I forget the term, but the thing that allows you to download your transactions directly into your banking software without having to jump through a bunch of hoops.
Soon? Is the model filtered/censored?
I think it's even simpler after you figured out that m = kn = n^k => n is an integer > 1 and equal to the (k-1)-th root of k where k is an integer > 1.

The only integer (k-1)-th root of k is 2 for k = 2. Thus, n = 2, k = 2, m = 4.
At what confidence interval?

I'm not asking as a 'gotcha' question, I'm acknowledging that the sample size matters. A lot of these statistics are bandied about without really elaborating on the full context of the way reliability is actually measured in industry.

Without checking for the most up-to-date numbers, I believe the F9 is slightly better than Soyuz on raw numbers (successful flights / total attempted). But Soyuz probably has around 6-7x more flights, meaning we have much more confidence that the Soyuz numbers accurately reflect reality.
If it was, it probably wouldn’t be accounted for in taxable fashion as it is today.

DeepMind is profitable and paying tax on that profit. It’s public information that you can see in its UK regulatory filings.