skysight-inc/HackerNews huggingface dataset:
Everything that allows for cheap validation is going that way. Math, code, or things we can simulate precisely. LLM ideation + Validation is a powerful combination.
Very eventually consistent. Like, humans involved sometimes.
Surely it must also extract some other stuff. I wonder what the extracted stuff tastes like (minus the CO2 of course)
Thank you so much for the info! I am mostly interested in CL.

>Few people value having such a solid ANSI standard when it doesn't include modern stuff like iterators/extensible sequences, regexps or threads/atomics.

For everyone: are there plans to include such topics in the Standard, or are there canonical extensions that people are using?
nifty. What this highlights in my locale is my favorite roads, the algorithm seems to work pretty well for the small sample I can attest to.

Tail of the Dragon is hard to beat: https://tailofthedragon.com/
You need to ask questions that you can solve in something like a quarter of the time you're allocating for the interviewee, not just the same time. Even if you're interviewing someone with your exact skill set and domain knowledge (and you aren't) there's just a bunch of inherent overhead in presenting someone else with a problem to solve.
https://en.wikipedia.org/wiki/List_of_sovereign_states_by_ho...

https://www.slowboring.com/p/they-have-homelessness-in-europ...

It's hard to put a number on how much reputation damage the homelessness issue has caused California, but it's probably some amount over $1.
First, "computer engineering" is already a name for an established discipline. And regarding academic computer scientists, a significant amount of them are on the "systems" side; it would be inaccurate to call their work a specialization of math.
Home ownership in the immediate post-war era functioned as a form of forced savings. To the extent it was an investment it was more akin to a reverse bond than a stock bought on margin: you pay a fixed payment on a loan for 30 years and at the end you own a substantial asset. The focus on price appreciation is relatively new.

In California specifically this was driven by Prop 13 gutting the property tax system and removing the natural check that higher property taxes impose on homeowners engaging in the sort of anti-development cartelism that has run rampant in California in the last half-century.
There are plenty of successful companies that did not take outside investment, why are none of them cooperatives?
That doesn’t sound like a misuse of 911. A parking fee dispute is a civil matter. It doesn’t allow the parking attendant to hold people against their will.

Realistically, the most they are going to do is ban them from parking there in the future.
I’ve been using a similar platform that I really like called Answer This[1]. I’ll have to check out yours as well and see how it compares.

1. https://answerthis.io/
From that reddit thread:

Sharing some perspective on this (I was involved in the fix).

Basically what started happening at some point was that Maps had built in a “timeout” for the fetch of Saved lists. When the lists weren’t able to be downloaded/fetched in under X seconds, the system stopped trying, assuming that lists in general would always load in under X seconds.

For users with huge lists, and for some users with very slow connections, it would timeout and not show anything. The way to notice it was typically when sharing the list, because the receiving user would fall into that timeout trap. The owner of the list usually didn’t notice immediately because the places were cached on their devices.

It’s still being worked on, and being rolled out slowly.. Some changes will come though, not sure how it’ll be announced.
When thinking about multi-tenancy, remember that your bank doesn't have a special VM or container, just for you.
For some problems validation is expensive. Like the particle collider or space telescope, or testing the COVID vaccine. It's actually validation that is the bottleneck in search not ideation.
It's a single tweet with all of the context included in that tweet. There's nothing to follow.
> you got hit for acting like you want to steal their property

Good luck arguing this one.

> we can't even agree that murder is an excessive escalation

We're not going to agree: you are not entitled to strike people in public for looking at your phone.

In my area, this makes you fair game to be apprehended for assault, using as much force as necessary to subdue you. Someone who is so unhinged as to hit people in public is not likely to submit to arrest peacefully - nobody said "murder."
People are still expected to work with UBI. Disability is for people whose ability to work is impacted. They don't even have the option to work, or must do so to a lower degree than previously able.

That being said, I can see the argument to reduce disability in the event of UBI.
A much better description is that doors is RPC-like but with priority and CPU quantum transfer to the server thread.

This works great as long as the server thread isn't itself doing slow I/O. The moment the server thread does slow I/O you want to get back to async I/O, and the whole point of doors is that it's synchronous because only by being synchronous do you get to transfer priority and CPU quantum from the client to the server. For async RPC-like schemes you cannot transfer priority and CPU quantum to the server because the client will continue executing with that same CPU quantum (that being implied by "async").

Also, this really only works locally. For remote services the server could get priority metadata from the client's authentication credentials, but that's it.
If the workload does not benefit from cloud then I just run it locally because hardware is usually much cheaper and much faster than cloud.
North Korea-backed cyber espionage campaign targets UK military
This is so obvious but so overlooked. Every time I added an interview question I gave it to engineers at the company whose abilities I knew will and administered it like an interview. If they didn't crush it with plenty of time it didn't make the cut.

I don't know why this isn't more common - why even HAVE interview questions if they aren't trying to learn something in particular and how can you do that without both intent and calibration? I had a lot of strong opinions about the interview process but that usually put me at odds with the people above.

Interviewing sucks. Everyone would benefit from taking a moment and remembering how much it sucks for the humans involved. Bring as much empathy to the table as possible!
Outside the disinformation fantasy of the Internet the story is completely different.

A person is defined in effect by someone who has a permanent address, a government issued I.D, birth certificate, social security card, and a bank account with money.

If you lack any of those you are "sub citizen" status and you must go through a broken by design process to try to reacquire any of them. If you have lost most of them due to theft or otherwise no direct fault of your own you are now the same as any other "illegal citizen".

You are required to prove to your own country you are a citizen. Unconstitutional and fascist it may be, that's what your politicians have done.

Combine this with the general socioeconomic failure of large cities, combined with the gamified system of capital held in speculative markets, combined with social media technology that has destroyed culture - you get exactly what you'd expect.

It's the system working as intended for the wealthy. There's plenty of solutions but people are comfortable to not bite the hand that feeds them, even if it means living in fear as a slave to their whims.

It used to be that people were self employed. They owned their own business's. Until the rules were changed and scale became optimal.

The primary solution is to nullify the rules that optimize for scale and make it optimal for individual small domestic business owners.

Nullify most taxes, completely remove Medicare and other "old people" funds. The standard stuff every economist has been saying to do but the game players don't like.
Every time someone tries to deprecate the nice and simple CAP theorem, it grows stronger. It's an unstoppable freight train at this point, like the concept of relational DBs after the NoSQL fad.
FOO came first in the 1930s; it was pervasively used by the Smokey Stover comic strip. Then, students reinterpreted german furchtbar (awful) as the spoken term FOO-BAR. That became the backronym FUBAR.

https://www.youtube.com/watch?v=W2pljKyCgwc
LLMs are not a tool to model intelligence. It's not a function of the dataset, they are, as is, not sufficient. One of the largest shortcomings being the lack of continuous learning, memory, and (likely) forgetting
It's poor timing for this article.

The CrowdStrike incident has demonstrated that no matter what you do it is possible for any distributed system to be partitioned in such a way that you have to choose between consistency and availability and if the system is important then that choice is important.
Looks great! And it would make for a great addition to Jupyter lab. I actually can't believe there is still no decent variable explorer bundled in
It doesn't mean it's the end all system, if it's wasteful it can be improved.

At no point I advocated for a command economy, once more you reply to a strawman to one of my comments, Walter.
It seems to me that both job seekers and employers hiring now are largely victims of the arms race that's been going on for over a decade now. The LLM angle is just the latest note in it.

The thing is, it is not a symmetric situation. Barring serious outliers, the worst that's going to happen to a company that can't find "the perfect candidate" is that they hire someone who is suboptimal. Maybe they even don't have the skills they claimed at all. Oh no, efficiency will be down and the execs' stock options might not be worth quite as much.

On the other hand, the worst thing that's going to happen to a typical job seeker who can't find a company that will hire them is that they will run through their savings—wait, do they have savings? this is America we're talking about, so probably not!—and be unable to pay their bills, causing them to become homeless.

So forgive me for having exactly zero sympathy for the companies that perpetuate this ugly arms race.
Ultimately I don't decide what company I work for, but others do
Decaffeinated coffee and tea are, I believe the only food products allowed by FDA even a trace amount of dichloromethane (methylene chloride) in them. It's not allowed in cosmetics either.

I came across a startup once using it as the solvent in their liquid bandage product though because 510k clearances are a fucking joke.
Making Debuginfod Viable for the Linux Kernel
If you read the information about that feature, it is about ad attribution. A website can ask your browser "Did you see these ads" and Firefox will send the result to a 3rd party. That 3rd party periodically reports a summary of ad conversion results to the ad buyer, supposedly with "noise" to provide "differential privacy".

Probably some way to to glean some info, but that is absolutely not what people are claiming it is.

Meanwhile you all still use Chrome so what's your complaint?
Where do I sign up for my personalized AI content filter bot which can reliably detect ads and remove them from my browser?
> The intelligence agencies said Andariel was funding its espionage campaign by launching ransomware attacks against the US healthcare sector.

Up your game please US. At least we in UK are refusing to pay.
I am not surprised. For working people in lower income scale, there are 2 things the need. An apartment and an auto.

Prices for these, prices are raising much faster than inflation and their wages, so yes. My only surprise is 39% seems a bit low.
What's the worst that can happen if someone who isn't homeless, but traveling, working, or otherwise just want/needs to take a short nap. Likely in their car in a public parking space?

The other side, is even in clearing out parks, and encampments it would help if there were a place to go. There are a lot of issues, and having worked with homeless charity groups, drug addiction is at the center of most of it... you can't really force someone to get and stay clean... The system needs some form of outlet.
This is more analogous to programmers working with copilot. There's an exciting possibility here of mathematicians feeding these systems subproblems to assist in proving larger theorums.
Pirate Bay is thriving.
Er, no, that's not quite right.

Busybox was written by Bruce Perens. The goal was to fit a whole Linux system onto a floppy disk for rescue disks and installers. Busybox licensed under GPL was not an accident. The kernel was GPL of course, but the rest of the userland was either GNU or largely GNU-inspired. Bruce Perens was heavily involved in early Debian development and even led the project for a while. "Copyleft" is at the core of how Debian operates.

Busybox being GPL licensed was in no way an accident or frivolous decision. It is still licensed under GPLv2 to this day.

I don't know when Rob Landley became involved in Busybox, and I don't know what drama resulted in the reimplementation of Toybox but I do remember he started it with hope that it would eventually ship on Android smartphones. I guess it worked out okay for him, because now he gets paid by Google to work on Toybox.
CIAM MFA Options
TinyBase: Reactive data store for local‑first apps
> I wish it were worth porting eBPF to Solaris.

What on Earth for? Solaris has DTrace.
Doors are designed to be synchronous. Therefore doors are not really compatible with kqueue/epoll/event ports. That is, the point of doors is that they are for clients to temporarily and synchronously transfer thread priority and CPU quantum to a server thread that will respond quickly because it does no blocking I/O. This transfer of CPU quantum thing cannot happen for async versions of doors, which would defeat the point of doors, thus there is no point to async doors.

One can implement async doors by having the client transfer the FD to a door where the client is the service, then have the server do what it can synchronously, schedule async work, return immediately, and later call back the client on its door when the slow work is done. But if you'd do this then you might as well just use more traditional (and portable) IPC techniques.
Standard Ebooks: Browse U.S. Public Domain Artwork
Was the fix to use a paginated API?

Also, as an aside, do you have any political sway over this decision?

https://www.theguardian.com/technology/article/2024/jun/06/g...

Location history is extremely valuable to remember trips and retrace steps. I don't want this living locally on a device where it can go missing.
Formatting Selected Text in QML
Homes should not be an investment.

And Homes are also generally a bad investment even though there is a whole lobby of people that try to convince you that you need to buy at any price.

The only reason why homes have been a good "investment" for most people is that it is a forced saving through your mortgage, which most people would have spent stupidly otherwise.

But we should normalize renting and investing in actual investments like the SP500. Everyone would be better off and you would end up with more assets.
The Takeout export from Maps is quite messy when I've done it in the past.
My thought is: if the process is followed properly there is very little risk of these chemicals being in the end product, but if a mistake is made, they could be present in levels that may have some negative health effect. However, if the water or co2 processes were screwed up, the only risk is caffeine being present, which is not ideal, but not as bad as those chemicals. We all know mistakes happen, which is why I'd rather go with a process that has less negative outcomes from a mistake.
Aye, agree.

I will only "retire" to "full" homestead as a hobby rather than for profit or sustenance.

As far as living off grid, that is a whole other class of homesteading.

I am grid tied, have LP tank, water well, fruit & vegetables, and still adding solar panels. The options do not have to be "I make my own cloth" or "where is my neuralink". It is a range. I pick a spot that is comfortable, and move in a direction as needed.
Informing recent podcast episode with the TinyBase author, https://www.localfirst.fm/12.
… no? After the LaTeX output, I told stock GPT4o that the answer was "all even integers", and asked for the statement in Lean. I had to make two changes to its output (both of which were compile-time errors, not misformalisations), and it gave me the formalisation of the difficult direction of the problem.

Both changes were trivial: it had one incorrect (but unnecessary) import, and it used the syntax from Lean 3 instead of Lean 4 in one lambda definition. A system that was trained harder on Lean would not make those mistakes.

The one actual error it made was in not proposing that the other direction of the "if and only if" is required. Again, I am quite confident that this formalisation failure mode is not hard to solve in a system that is, like, actually trained to do this.

Obviously formalising problems that a working mathematicican solves is dramatically harder than formalising IMO problems, and is presumably way ahead of the state of the art.
Docker is great, way overused 100%. I believe a lot of it started as "cost savings" on resource usage. Then it became the trendy thing for "scalability".

When home enthusiasts build multi container stacks for their project website, it gets a bit much.
Independent researcher without academic address; can't get in. Best of luck.
Incidentally, I'm highly suspicious of the claim that those pesky 50ms delays matter much. Checking DOMContentLoaded timings on a couple sites:

Reddit: 1.31 s

Amazon: 1.51 s

Google: 577 ms

CNN: 671 ms

Facebook: 857 ms

Logging into Facebook: 8.37 s

As long as you have TLS termination close to the end user, and your proxy maintains connections to the backend so that extra round-trips aren't needed, the amount of time large popular sites take to load suggests that people wildly overstate how much anyone cares about a fraction of a blink of an eye. A lot of these sites have a ~20 ms time to connect for me. If it were so important, I'd expect to see page loads on popular sites take <100 ms (a lot of that being TCP+TLS handshake), not 800 ms or 8 seconds.
This seems like what I've noticed on MPP systems (a little before cloud): data replicas give a lot more availability than the number of partition events would suggest.

I likely need to read the paper linked, but it's common to have an MPP database lose a node but maintain data availability. CAP applies at various levels, but the notion of availability differs:

1. all nodes available
2. all data available

Redundancy can make #2 a lot more common than #1.
Authentication is a bitch.

Several waves of effort to "raise awareness" have happened, they all fare about like Musk's most recent: https://www.cnn.com/2022/04/28/tech/elon-musk-authenticate-a...

Perhaps we just have to accept that things you can't smell are most likely not real, and assess the things we see on the internet in that light.

Did you believe that an energy drink would give you wings, when it was the company making it saying so? Why would it be more credible from some random handle on the net?
I have over 2,000 places saved in Guides in the Apple Maps app. Not sure what that 300 place limit is referring to, but I haven't had any issues.
Lean checks that the proof is valid, it didn't find the proof.
Prices are still elevated, but used car prices have been dropping for ~2 years: https://site.manheim.com/en/services/consulting/used-vehicle...
You'd think that, but Timothy Gowers (the famous mathematician they worked with) wrote (https://x.com/wtgowers/status/1816509817382735986)

> However, LLMs are not able to autoformalize reliably, so they got them to autoformalize each problem many times. Some of the formalizations were correct, but even the incorrect ones were useful as training data, as often they were easier problems.

So didn't actually solve autoformalization, which is why they still needed humans to translate the input IMO 2024 problems.

The reason why formalization is harder than you think is that there is no way to know if you got it right.
You can use Reinforcement Learning with proofs and have a clear signal from the proof checker.
We don't have a way to verify formalizations the same way.
Great article that doesn't follow the iron law of question titles. Undoing the smoothing of aggregate statistics so you can see what's really happening where is fantastic. It makes it very obvious why there's many people on the yes and no side.

It's interesting that homelessness is clearly loosely concentrated around states with large metro areas but skips over some with no clear reason why. Weather would be the obvious one but NY, Vermont and Maine are cold as hell.
Thanks. original link will expire after some time. this will be really helpful when that happens.
Lean is just the language, Presumably to drive the AI towards the program (“the proof”)
They don't want a clear answer. They never did, and likely never will.

That's the problem with this type of topic. As much as I like to talk about it, there never seems to be any real talk. People pick a side and arguments be damned.

The extent of their knowledge generally extends to "communism bad" and there's no good faith in actually talking about the shitty situation we're in today.

My original answer was not even citing communism at all. I was specifically talking about worker conditions, but people seem to be unable or unwilling to have a conversation and instead degrade it and down vote.
Ask HN: Does AI have any practical applications in QA?
I am currently a QA intern at a small software development firm. For the past 2 months all my coworkers and managers have been talking about how we need to be an "AI-centric" company. I've been encouraged to explore AI based solutions for our QA work. I've tried a few libraries to automate test writing and some E2E tests, but I've found them to be pretty useless and more of a hype tool.

Unfortunately, I am still hearing about finding ways to innovate my work with AI and am unsure what else I can do or try. So I am curious, how have you guys went about integrating AI in your QA work if it all?
What I miss the most from Apple Maps is their lack of user content (at least in Germany). While I can find many pictures and reviews of every tiny store on Google Maps, Apple usually only has a handful of reviews and almost no photos submitted.
Can you elaborate on how it makes guesses like this? Does it do experiments before? Is it raw LLM? Is it feedback loop based on partial progress?
Collectively there are 100s of strings open across Reddit, Stack Overflow, etc asking for a clean way to export saved places on Google Maps, but other than Takeout (which for the average user is quite complex), there isn't really anything that works well.

There's ways to hack together a scraper that can go through and grab everything, but it's still quite messy. I think Google is making it hard on purpose in order to use this as their "moat".
> Do you have an anecdote (just one!) of a case where TypeScript's lack of type system soundness bit you on a real application?

Sure. The usual Java-style variance nonsense is probably the most common source, but I see you're not bothered by that, so the next worst thing is likely object spreading. Here's an anonymized version of something that cropped up in code review earlier this week:

const incomingValue: { name: string, updatedAt: number } = { name: "foo", updatedAt: 0 }

const intermediateValueWithPoorlyChosenSignature: { name: string } = incomingValue

const outgoingValue: { name: string, updatedAt: string } = { updatedAt: new Date().toISOString() , ...intermediateValueWithPoorlyChosenSignature }