skysight-inc/HackerNews huggingface dataset:
Nice paper on AI assisted code review at Google. Three call outs that I thought were interesting (as I imagine that we're about to be hit by a tidal wave of commercial applications of this idea):

(1) One of the issues is that the required training dataset varies by best practice - the currency of knowledge really matters. So for example the underlying model was trained on data prior to '22, but the canonical source of python type definitions has shifted about a fair bit from Python 3.9 onwards. If you're generically trying to train on all best practices, you're likely to miss this type of subtlety as best practices at the micro level are continually evolving. So you need a good, customisable suppression mechanism for noisy/changing rules to keep this type of thing helpful and you need to continually re-train your model on fresh data.

(2) There's a nice chart about halfway through the paper that talks through how much better this approach is than a linter. I think this is key as it's all very well building a lovely (and expensive) ML model to do this work, but if we can cheaply and efficiently achieve the same effect with linters that we configure once and apply everywhere, (if you are not a Google scale eng team) then why would you bother? The paper finds that about 2/3 of the suggested changes wouldn't be possible with existing (or easy to develop) lint rules (the paper notes that this is based on expert opinion at Google, not prototyping) but there's a noticeable concentration in the interventions that AutoCommenter makes (about 90% of review comments posted were related to the top 85 rules). An ML based approach is going to be better in certain scenarios (like suggesting naming changes), however, it feels like a lot of these scenarios are going to be more subjective. So if it's AND vs XOR I wonder if what you get back from the ML approach incrementally over a linter is going to be very noisy in practice. I think it's safe to say that for a relatively long horizon a good linting setup is likely to be a lot more effective, cheaper/faster/everywhere and the best place for everyone to start.

(3) About 40% of the comments made by the AutoCommenter were resolved in subsequent changes before merging to main - this is taken as the efficacy of the AI review. The paper does not provide a benchmark of how this compares to human reviews but that feels ballpark right to me - comment rate is typically about 1:100 LoC, average PR size is normally in the 200-400 line bracket, so you'd be making changes on 1-2 comments received per review - feels about right.

This is key, clearly at Google scale this is valuable, throughout the paper it is clear that Google have carefully measured that this has a positive impact (e.g. they A/B tested across all of their engineering team).
How many of them are poorly designed superyachts, though? Superyachts are perceived as extra safe, and surely design blunders like this one are outstanding in 21st century naval engineering. I think a lot of people on HN would love to read a postmortem on how exactly the process in an experienced engineering company got bent to cater to the client's preference enough to kill him, or at least a safety board investigation report.
You, for one, welcome our new AI overlords?

Blogs have the enormous advantage of being decentralized and harder to manipulate and censor. We get "more truthful and aligned outcomes" from centralized control only so long as your definition of "truth" and "alignment" match the definitions used by the centralized party.

I don't have enough faith in Sam Altman or in all current and future US governments to wish that future into existence.
Sorry for being old but playing wow is different from scrolling tiktok. If These were drugs, wow would be a weed kind of thing and tiktok and the other cancers would be crack cocaine. In my honest humble opinion ofc
That flow chart is crazy. It would be quicker to consider and think about every instance on a case by case basis rather than consult that chart. Snark aside, I do think the flowchart could be useful for the QA team to verify, approve, or disapprove of decisions made by the implementation team.
I’ll add my vote for Roux in terms of pure fun. And there is more freedom to play between fastest solves and fewer moves with more planning.
I'm building techtalksweekly.io – a free weekly email with all the talks from software engineering conferences uploaded in the past 7 days to save my readers from scrolling through messy YT subscriptions.

If you're into software engineering conferences (like GOTO, PyCon, Devoxx, CppCon, JSNation, RustConf, etc.) and enjoy watching tech talks, you should check it out.
> It was largely used as a way to trick search engines.

I imagine this happens with LLMs and everything else over time. Along with the ads and pay for placement.
I wasn't even talking about the information pollution -- I was talking about boiling the ocean. Not that I'm not concerned about the former.
Make it Yourself: 1000 Useful Things to Make [video]
1) Rich guy died 2) Crazy expensive luxury vehicle found to be secretly death trap 3) Millions/tens of millions of people are now familiar with luxury yachting thanks to the Below Deck TV shows 4) Undoubtedly some story of incompetence or negligence lurking
There wasn’t propaganda before WW2. Japan hit Pearl Harbor and the US was at war by the time people were just hearing about it.

The only propaganda before Vietnam was the general red scare. Nothing specifically prepping people to go to war in Vietnam. Once there, propaganda definitely ramped up to keep people happy with a draft.

The point is that no approval is needed to do stuff. There is often propaganda later to help justify it, but that doesn’t limit the speed or capability of what can be done.
There's not even the slightest hint of state in this demo: if you hold "turn left" for a full rotation you don't end up where you started. After a few rotations the details disappear and you're left in the middle of a blank ocean. There's no way this tech will ever make a playable version of Mario, let alone Minecraft.
Well, with this turnout there is a real parade anyway!
There is a separate iCloud Keychain so you can just copy to your local one.

Or use the Export All Passwords feature in the Passwords app.
Our robot vacuum gets stuck under the bookcase and tangled up with my laptop charging cable.
> It must however be daunting to be a theoretical physicist right now. It seems like the field has been in a standstill for years.

The general public don't really understand where most physicists work. The largest subfield of Physics is really in condensed matter, where (depending on how you count it) somewhere like 30-50% of physicists work, and where there is plenty of interesting theory work. High energy physics is the next biggest subfield, but much of it is experimental, and then you get into "classical physics" like acoustics, optics, etc. Astrophysics is relatively smaller. There's also nuclear, plasma, fusion and then a whole host of interdisciplinary work like biophysics, materials science, etc. Especially with interdisciplinary work, people often do bits and pieces throughout their career, not everyone sticks strictly to a single subfield.

There's plenty of interesting theoretical physics work in pretty much all of these fields. Not everyone works on grand problems of the universe!
Implementing Raft: Key/Value Database
I used to have one listed in my profile but I removed it for lack of interest and nuked the VM it was running on. I maintain it locally and may put it back online some day.
lol, both?

everything is over text now, and excluding them from that was difficult
Link to the Russian search engine please.
I just post on X. Get paid for it too!
easier to see where they are and let them know things. Otherwise they are normally home so it doesn't benefit me for them to be on their phones
It does seem like the incident is shedding a lot of new light on how poorly the super yacht design is regulated.

Honestly one look at that mast and unless that thing is on a submarine I really don't know what the builders were thinking.
I've been thinking about this. There's three main solutions (https://corporatefinanceinstitute.com/resources/economics/fr...) to the Free Rider Problem, which comes up with non-scarce goods like this.

The first is taxation. Academia uses this. So we'll be fine there.

The second is donations and altruism. This includes Wikipedia, people who just want to share their ideas (like I'm doing now), Stack Exchange, etc. So we'll be fine there too, though this only works for low-budget stuff. Note that credit isn't necessary here; Wikipedia editors are rarely acknowledged, for example. But I do think credit is good, when possible (i.e. not for every single training source the LLM uses; ChatGPT Search is a good and practical way to give credit).

The third is to privatize the goods, for example, by creating copyright. LLMs won't get rid of this. They're not allowed to fully replicate a piece of text, since that is copyright infringement. So if you're getting people to pay for an exact or almost exact piece of text (e.g. a full book, a full newspaper article), you won't be affected there.

But if your business model would be affected by people summarizing your stuff, then yeah you won't be protected there. For example, if people would rather read a summary of your article or book rather than pay you for the full version. But this isn't new to LLMs. How many people jump straight to the comments to read the summaries instead of reading the article? How many people absolutely refuse to pay for paywalls? How many people block ads (I'm treating ads as a form of payment here)? It's possible to expand copyright to also cover things like summarization (i.e. copyrighting facts), but this is rather dangerous.
Malware operators use copyright notices to lure in businesses
I would be happy if it could search through my enormous reading list on Safari
Time to do the Jurassic Park thing and bring him back! (Well at least a genetic clone.)
This is not true - both GDPR & ePrivacy rules apply to any software, none of it is specific to websites (although obviously that's where it's most easily abused, and where most of the attention is).
The Beautiful Simplicity of the Gentzen System
A lot of these responses are so funny. "Um, when _I_ asked this question to ChatGPT it gave the right answer!" Yeah, because it's flaky! It doesn't give the same answer every time! That's the worst possible outcome!
Neal Stephenson's book _Fall, or; Dodge in Hell_, from 2019, dedicates many words to this concept. Briefly summarized, it explores a post-truth-world, describing the world where people could agree on the truth as a narrow time-slice in history. People have their own individual internet filters, and the USA becomes divided into Afghanistan-etc-like tribes, each an echo chamber. (Ameristan)
I remember a political stunt by an organization that created an advertisement, comparing the lunch for students at Sidwell Friends, an elite Washington, DC school popular with President's on down, and the nearest public school. One sounded like a 4 start restaurant, the other sounded like, well, prison.

I recount this because I don't think most people truly grasp how different life is for kids in some elite K-12 programs. The children of the elite have at least as much privilege, if not more in some cases, than their elite parents.
> "in the USA, can illegal immigrants vote?" has a single truthful answer ("no" obviously)

legally no, practically- yes. In most states, you simply must attest that you are a citizen in order to register. In many states, non-citizens have been auto-registered to vote when attaining drivers licenses. Reddit is full of panicked immigrants concerned that they found themselves registered to vote, and worried about how that would affect their status.
Haskell has also had typed holes for several major versions now. Any underscore or name beginning with an underscore (to include values and types, unsure about kinds) gets an informative error message describing the type of the name, e.g.:

Found hole `_' with type f (Free f b)

and relevant bindings, if applicable:

Relevant bindings include
>>= :: Free f a -> (a -> Free f b) -> Free f b
(bound at holes.hs:28:3)
f :: f (Free f a) (bound at holes.hs:29:8)
g :: a -> Free f b (bound at holes.hs:29:14)
In the first argument of `Free', namely `_'

Very useful for working your way out of a situation where the specific incantation to get to the right type isn't obvious.

Examples from [0].

[0] https://wiki.haskell.org/GHC/Typed_holes
Great!

I really enjoyed this.

Working flawlessly in Berry Browser on Android. Animation is great, music is pleasant.

My only nitpick would be that the button to start the level is labeled as level number, so it is not entirely clear is it a button or is it an indicator. Just adding a word "START" as a second row would solve that.

Thanks.
I introduced my wife to ChatGPT. A week later she told me “ChatGPT is everything I always wanted Google to be”.

It was a much more enlightening comment than any detailed review or analysis could provide me.

That quickly, over a decade of built up user engagement vanished.
Either way the passwords are being uploaded, which is the comment I was replying to.
"Finally there are a lot of problems we have (thousands of health conditions, the environment, autocrats) that will prob take centuries to tackle even with ai, robotics, and being freed up from menial labor."

I am very worried that autocrats will use AI and robotics to get rid of the opposition problem. I can't even imagine what Hitler or Stalin would have done with the technology we have now or will have soon.
Agreed. The entire reason why search is so hard is because there's so much junk produced purely to manipulate people into buying stuff. If all of that goes away because people don't see ads there anymore, search becomes much easier to pull off for those of us who don't want to stick to the AI sandbox.

There's a slight chance we could see the un-Septembering of the internet as it bifurcates.
> Your version of the question has the qualifier "in local elections".

Yes, the point is that qualifier works because when you're talking about people voting "in the USA," you can be talking about local or federal elections. "In federal elections, how many people vote in local elections" makes no sense. "In the USA, how many people vote in local elections" makes sense, because voting in the USA can encompass both local and national elections.

I understand that there are many people who ignore local elections. But I disagree that talking about voting "in the USA" means that local elections should be excluded.

> In other words "in the USA elections" implicitly points

You're using quotations for something that wasn't said. The original comment was "in the USA, can illegal immigrants vote?"
Note that you have to break 3 independent levels of AES encryption.

One for password key column, one for value column and one for the password file.
In Croatia more than 55% of households have AC installed, and only 10 years ago it was less than 25% of households. It got more popular as our summers are getting increasingly more hot and humid. Average salaries in France are probably double compared to Croatia. It definitely can't be classified as luxury if more than half of the country can afford it, in one of the poorer EU member states. I assume in the next 10 years it's probably gonna be 70+% of all households.

Regarding technical sophistication, AC is more or less using the same technology as a fridge, just scaled and adapted for room cooling instead of food storage.
Next step, design a drug to block it, and we have a new contraceptive that doesn't involve throwing a spanner in the works of anyone's endocrine system.
In and of itself, it's usually easy to understand. But the more fluff you stuff between the nontrivial bits, the harder it is to take in all at once. I think large quantities of simple boilerplate make the overall project harder to understand and debug. Though that is in comparison to an imagined alternative that's somehow exactly the same but with all the glue removed, so maybe that's not entirely fair.
Make It Yourself
The miseries that remain may yet be alleviated
Tech layoffs are at a 2-year low
And for distracted folks in the same example, it's what... The baby?

If a company knowingly uses a toxic chemical, it shouldn't be everybody else's fault they did that.
For anything remotely complex flowcharts tent to break down for me, I prefer pseudocode for describing algorithms. But the article makes a very good observation about complexity.
My education also drilled into me the distinction between what one can do and what one may do. I can just hear my main lesson teacher now: "Can an illegal immigrant vote? Perhaps, but they may not, and certainly they should not."
An additional ad blocker shouldn't be necessary in Orion, as it has one built-in.
Proxmox VE Helper-Scripts project maintainer tteck enters hospice care
20% is frequently. And calling out to C is cheaty.
https://www.perininavi.it/yacht/2008-bayesian-formerly-salut...

the yacht maker may want to take the yacht off their website...
It means Apple. See: "Are you sure Apple can’t read them too?".

Next time you insult someone, better use your cognition powers to avoid looking like that which you call others
It's a surprise that a Mac Mini is faster than previous gen Mac Studio. Now I can't wait for Mac Studio with M4.
About the Role
Salary range: $120k – $150k

Equity range: 0.03% – 0.15%

Kalepa is looking for a Machine Learning Engineer with 3+ years of experience to lead the framing, development, and deployment at the scale of machine learning models. As a Machine Learning Engineer you will lead the framing, development, and deployment at scale of machine learning models to understand the risk of various classes of businesses. You will be turning vast amounts of structured and unstructured data from many sources (web data, geolocation, satellite imaging, etc.) into novel insights about behavior and risk.

Team members are given full ownership over their projects and are expected to drive the project’s direction and maintain focus. The team works in a two-week sprint, and ML Engineers will work closely with Product Management and Software Engineers.
Not sure about Alexander, but I’m here for Lincoln.
There is an 8000 series. It even has a newer, better IMC.
Very cool - has a very dreamlike quality to it
Funnily enough that search now finds your comment
Kagi also seems to work for this when searching for "stream movies online". It also has LLM integration if you add a question mark to the end, and this answer also includes a free movie service with a link in the answer.
Haskell also has typed holes (with a similar -fdefer-typed-holes) since 7.10. I've described it in slightly more detail here in a previous post in this thread [0].

Typed holes (but not the defer- option) have been enabled by default for some time now. They're an immediate go-to when scratching my head over types. I prefer them to the type error output, not only because they give better suggestions, but also because they can be named (_a, _conversionFunction, etc).

[0] https://news.ycombinator.com/item?id=42016584
after reading your comments I'm thinking to work on it and change it, like remove ranks and the gamified thing and only make it simple I think then it may work a bit but not sure though
Thanks for considering it!
I really love using ChatGPT within Raycast and I use it all the time and I’m sure it is replacing my kagi searches quite a bit.

I do use perplexity and I’m hoping that ChatGPT search can replace my perplexity subscription. I pay for so many subscriptions and would love to reduce them.

It’s ironic, because I’m paying for ChatGPT’s subscription, but I often pay for the api so I can use the latest model without restriction as well and I most often use ChatGPT through my Raycast subscription. The state of AI subscription services in insane.
>You’re using a conditional probability incorrectly to straw-man your fallacy.

No, I'm not.

>By my observations geniuses are very likely to be on the spectrum. At least 50%.

The problem is, you are disproportionately likely to notice someone being odd and then incidentally being a genius, than someone normal who happens to be a genius. There is also an issue with the "continuum" nature of the "spectrum" that makes people assume that any bookish person with lame social skills has a neurological affectation instead of just a lack of social experience.

>My rule of thumb is, of all the code that I’ve seen that I’ve been impressed by, it’s far more likely to be written by a transwoman than a non-trans woman by a significant margin.

So you're really saying, the code is more likely to be written by a biological man than a biological woman. That is statistically true. Most women have better things to do than slave away on some obnoxious code.

>A disappointing observation for a straight male who had aspirations of dating a hacker-girl.

I was lucky enough to date a cute engineer girl once. Unfortunately it didn't work out. It's like trying to date someone with 10x more options than a normal woman, who has like 10x more options than you by default. I could probably accuse her of being on the spectrum because of how she ended the relationship, but I think she just doesn't have enough common sense to accept the few minor flaws I have. Then again, idk who else she had waiting to date her in the background. It could be as simple as, she met someone with more money. She was rich and I wasn't, and that was a problem. As most women require a partner who makes more money than they do, having a girl who does the same job as you can be kind of a problem.

>Additionally the more impressive the code the higher percentage likelihood of transgenderism, I do think high IQ, autism spectrum / ADHD, and transgenderism are rather correlated.

I think all of those things are correlated because of social media, except for IQ. But at this point we are just speculating.
I use o1 for research rather than coding. If I have a complex question that requires combining multiple ideas or references and checking the result, it's usually pretty good at that.

Sometimes that results in code, but it's the research and cross referencing that's actually useful with it
Wasn’t that the plot of “GI Joe: The Movie”?
Finding the grain of creative coding in 2002
New Great Filter just dropped: Once a technological civilization develops cloning and ancient DNA analysis they decide to revive all the greatest warlords and conquerors in their history and, to everyone's surprise, all the Will to Power types cause a global thermonuclear conflict
One explanation of the denial of the existence of 10x developpers I find interesting, but can't remember where I read/heard from, is related to the stakhanovite movement [0].

Basically it's in the 30's in Russia, where a coal miner, Alexei Stakhanov, had a mythic productivity and inspired people to reach that said mythic productivity, as an example. While Stakhanov really existed, it's not factually established that he managed to produce what is claimed.

Same goes for 10x developpers. Is there at least a name for some of them and a concrete example of what they managed to produce ?

That is, I believe, a fairly good explanation.

[0] : https://en.m.wikipedia.org/wiki/Stakhanovite_movement
Model checking employs abstract interpretation, so it's similar to static analysis. I hesitate to use the latter term, because it's often used to describe how linting works. This is significantly more advanced.

The model checker translates an abstract model of execution for the code into an SMT solver, and uses this to find counter-examples. The SMT solver works backward from failure cases to discover a combination of inputs or program state that can cause any one of these failure cases. This traces memory, data flow, and control flow. It's actually a pretty neat thing.

It doesn't require existing test coverage or anything at runtime to work.