skysight-inc/HackerNews huggingface dataset:
Yeah this is exactly how I use LLMs + Google as well. I would even go further and say that most of the value of Google to me is the ability to find a specific type of source by searching for exact terminology. I think AI search is fatally flawed for this reason. For some things generic factual information is okay ("What's the capital of France?") but for everything else, the information is inextricably bound up with it's context. A spammy SEO blog and a specialist forum might have identical claims, but when received from the latter source it's more valuable, it's just higher signal.

Google used to care about this but no longer does, pagerank sucks and is ruined by SEO, but it still "works" because if you're good you can guess the kind of source you're looking for and what keywords might surface it. LLMs help with that part but you still need to read it yourself, because they don't have theory of mind yet to make good value judgements on source quality and communicate about it.
I wonder if this news alone makes the "distress-causing" outcome more likely.
Linux is great, but it's FOSS.

Windows and MacOS are developed with the broadest spectrum of users in mind, trying to cater to the biggest group.

FOSS is developed by random people and companies, adding features and fixes that scratch their particular itch. If that change makes someone else itch, that's someone else's problem. It only caters to the particular individual who develops it.

Linux can be made excellent (thinking about it, I'm about to become a linux greybeard myself in a day or two...), but it takes blood, sweat, and tears.
I would argue Saudi Arabia is the closest thing to a post-scarcity / socialist society we have to compare to. Something like 70% or citizens are employed by the state of Saudi Arabia (which obviously is funded by oil sales). All you have to do is swap out the migrants that do all the real labor for robots and you basically have a sneak peak at the future
Seems like everyone is switching from vmware to kvm - including vmware.
How is it a bad value?

If you centered it on the y axis, that would mean your carefulness scale goes from -5 to 5, and that's just confusing.
It almost feels easier to disassemble and resew the shirt from recycled fabric. I’m mostly joking, but my point is that physical AI probably implies a complete rethink of every individual routine from first principles: why fold the shirt at all? Why not just-in-time-ironing? We’re focusing on the hard problems because we’re imitating how a human with limited resources would approach the issue.

If you asked a robot to provide you with a fresh and clean shirt every morning - would a home washing machine come into the equation? My best answer is “maybe”, which implies some huge portion of our normal routines will disappear instead of being automated.

If restaurants require no staff, why even have a home kitchen? We’re heading towards a cultural revolution as much as a technology one.

It’s time to find out what value our values really have.
> Engineers and product folk, in particular, I find struggle to understand Risk Management.

How do you do engineering without risk management? Not the capitalized version, but you’re basically constantly making tradeoffs. I find it really hard to believe that even a junior is unfamiliar with the concept (though the risk they manage tends to be skewed towards risk to their reputation).
This is a silly take. There can in fact be a labor shortage and there sometimes is. It's quite possible if everyone started bidding up wages this would still be the case. Witness fast food joints basically doubling their wages over the past few years and still having "help wanted" signs in the windows. And you're acting as though any level of wages is economically sensible, and that it wouldn't kill consumers to have a 50% wage increase passed on.

Yes, it probably would. Which is why it's good they're replacing them with automation rather than continuing to lean on illegals.

If a job is fully replaceable with automation, why do you believe it should simply be "made easier" with no cuts to wages, keeping people employed for no particular reason? I think a better discussion is what we can do with the growing chunk of the population who are economically useless and refuse to pick up new skills to make themselves useful.
The check between licenses information and database happened after the election.
"How to Distinguish Between Codium (now Qodo (formerly Codium)) and Codeium"

dear god
I did not know Bluesky’s backend (https://github.com/bluesky-social/atproto) is written in TypeScript/JavaScript.
My dad (retired) spent the back half of his career working on ADCs at Seagen. He's glad ADCs panned out as useful cancer treatments.
the reserve attained legal personhood in 2021, so it isn't exactly in the same category as any of those things. or at least it wouldn't be quite that simple to assign non human things authorship.
Simplex algorithm should never work given its exponential worst case performance. Yet it solves the vast majority of LP problems, including ones with billions of variables. It is the default algorithm for every solver despite the fact that we have a polynomial interior point method in our disposal. Go figure.

Worst case performance or NP completeness is not a predictor of how fast we can solve an optimization problem.
Has anyone created a RAG on Wikipedia yet?
In your own words:

>"All women are whores. Sorry to break it to you." -Kyle Benzel, Sept 28, 2022, Hacker News, https://news.ycombinator.com/item?id=33010046 (log in or create an HN account, and set showdead=true to view the evidence)

That's exactly why I directly quoted and linked to your own highly inappropriate and inaccurate words, that you posted here on Hacker News. There's no denying that you wrote them, it's on your permanent record.

So explain exactly what you meant when you wrote "All women are whores. Sorry to break it to you."

It's appropriate for me to quote your own words back to you and ask you about them, which is my right, because you viciously and personally insulted my mother, as well as your own mother too, and also four billion other women, including trans women, because they are truly women too.

As misogynistic, bigoted, idiotic, inappropriate, hateful, distasteful, and false as your own words and actions are, you might believe you have the right to call your own mother a whore because you of all people would know, but certainly not all other women, and definitely not here.

You should keep your attacks and accusations a private family matter, and get family counseling for your mental illness, instead of inappropriately airing your problems here publicly on Hacker News for all to read, no matter how "sorry to break it to you" you insincerely claim to be. If you meant that non-apology apology, you wouldn't have posted anything -- it just proves mens rea, your awareness that your actions were wrong.

And you should be sorry you posted it in the first place, so you owe all women a sincere public apology for what you insincerely publicly said.

Why did you call my mother and your mother and all other women whores in public, and do you apologize?
Also at least in my case, while medicine worked fine before I became a father. It doesn’t work at all when I’m sleep deprived (which has been my default state in the last 3 years). When I take concerta if I’m sleep deprived I will just constantly doze off. Concerta makes me extremely sleepy in that case
Of course. Children follow adults' lead on these things, just as toddlers look at their parents before they "know" to start crying after falling down. As Jerry Seinfeld says in the article, this is adults condoning, facilitating, and encouraging children's mental distress and mental illness.
Good luck on your diagnosis. How is that like in Norway?
1% of world population have more than $1M. That will be almost 100M people globally. I don’t see how you can own anything substantial (eg datacenter, power plant, factory, etc) if you have less than 100M net worth, hence my original question.
The iPhone has restricted access mode, to limit access to bad stuff, typically used for child gateways.

It also has assistive access mode, which only permits access to good stuff, mostly to simplify UI's for the elderly, et al.

Both put the burden of integration on the configuring user, who basically becomes the system UI designer with a limited and awkward palette.

A nice feature in either case would be a way to edit, package and share or sell such configurations.

Indeed, I could see Apple building out this capability as a product line architecture supporting enterprise, health, and childhood/education.
Thanks, yeah, exactly. Like, the best answer to a question can really depend on who's asking it, who's answering it, or what they intend to use the answer for.

To give a much simpler example:

- If an 8-year-old asks "can you mix oil and water", the right answer is "no". If a student is asked that question on a school exam, the right answer is also "no".

- If a chemist asks "can you mix oil and water", the right answer is "yes, and here's how: https://www.youtube.com/watch?v=YJeWklggSpY"
My brother, the least technical person ever, got tired of windows patches breaking his drivers, which he had to reinstall every time. So, he switched over to Linux by buying a Dell desktop with Ubuntu Linux pre-installed and supported by them.

After some questions about which apps to do the usual things, like mail, managing photos etc, I haven't had a query on this for years.
The same addon, but prefer Ungoogled Chromium as browser. Chrome, Firefox, Brave etc. have too many features I never asked for.
There's nothing stopping us from taking some baby steps. A nice idea from sci-fi is food machines in busy locations in every city. Insert an ID and get biscuits that are nutritious, kinda filling, and while not necessarily "tasty", they get the job done. Like Soylent but in dry, munchable form. Make an effort to omit the most common allergens, such as lactose and peanuts.

I wonder what this would cost, and assuming it's affordable, why we don't simply do it.
Congratulations Lachy and the π team! This strikes me as a guide star for neuroscience (for me at least): understanding how the brain achieves physical intelligence. Clearly our brain learns and masters skills by distilling and transferring knowledge about how to interact with the physical world. Some of the methods your team are developing point towards algorithms and representations to search for in the brain. Exciting stuff!
I think the kind of people that run with scissors for years and somehow have nothing happen have a higher tendency to become MBAs.
Send them to mars and have them self replicate and terraform!
cant wait to waste a few hours later :3
When someone gives you a truly completely unconstrained object, what they hand you is “unknown”.

You don’t even know how to query it to find anything out about it.

But you could pass it to someone else.

When someone asks you for a completely unconstrained object, the type is “any”.

It’s technically the same type from two perspectives.

(Not saying this extreme version of the concepts are how they are implemented. Never had a chance to use such types before.)
I don’t understand the free pricing tier:

$18 /million queries, 60k included

60k queries are free and then the 60_001st starts incurring costs at 18/1_000_000 per query?
It's also a little extra chatty if the seeder turns on super-seeding mode. (refuse to send more pieces to a peer until that peer sends it to another) Bittorrent can be almost (hashing) as fast as http if you add a web seed though, something many people don't know about.
> You're acknowledging the error,

Which is important but not taking an action.

> and saying the action is going to be watch for a repeat

That watching was already happening. Keeping the status quo of watching is below the level of meaningful action here.

> if there is one in a short-ish amount of time, then you'll move to mitigation.

And that would be an action, but it would be a response to the repeat.

> I'd be a lot happier hearing someone say this instead of a blanket 'nothing'.

They did say roughly those things, worded in a different way. It's not like they planned to say "nothing" and then walk out without elaborating!
lol, I know someone who got his kid a "dumb" flip phone figuring that would solve things. Pretty soon, his kid was showing me how it was android underneath and all the apps he had sideloaded.
Thank you for such detailed and thoughtful feedback! Really appreciate the time you took to analyze our claims and point out the areas needing more clarity.

You're absolutely right about the marketing copy - we should be more precise and transparent about what we actually do vs. what's aspirational.

Regarding "understanding code relationships and dependencies": We're building a knowledge graph of the entire repository that captures code relationships, function calls, and module dependencies. This graph is then used with GraphRAG to fetch relevant context for each PR, allowing the LLM to understand the broader impact of changes.

Important to note: We take privacy very seriously. All code analysis happens in-memory during PR reviews - we don't permanently store any source code or build persistent knowledge bases from customer code. The knowledge graph is generated and used on-the-fly for each review session.

This approach helps us work around context window limitations while providing meaningful insights. However, I should note that this feature is still under active development - we're continuously improving the graph construction and relevancy matching.

Would love to hear your thoughts on this approach. We're committed to building something genuinely useful for developers rather than just another LLM wrapper.
A blind but elusive critter that was presumed extinct is rediscovered
https://web.archive.org/web/20231203110546/https://www.washi...
In a number of courses I've taken and/or am familiar with, homework "grades" are basically a participation/study incentive, but actually completing the assignments yourself is highly recommended if you want to pass the in-person exams which the course grade is actually based on.

In other courses, problem sets aren't graded and solutions are provided the next week for self-assessment (often with a discussion session to explain the solutions.)
It was scummy, because naturally it will always cause tension. I feel the right way would have been to approach us. Instead they approach the child who will always click freedom. They also sent us parents an email letting us know she's free to do as she wishes and we're SOL.

We told her she could stay under Family Link, or else buy her own phone and service. That seems effective.

Sorry Google, I'll decide my childrens' internet access. Not your giant advertising machine.
In case you have an older webOS tv and don’t want to setup a home media server: https://rootmy.tv/
> Essentially, you pay for database queries and events, with 60'000 included for free, which is plenty for experimenting and small projects. Price per million queries/events is then based on the plan you're subscribed to, and with Starter you have zero monthly fixed costs and only pay for queries and events above 60'000. No CPU-time and similar that's usually hard to grok.
Take a look at the Accelerate and Pulse pricing details. Prisma Postgres comes bundled with these, so the pay-as-you-go pricing is the same: https://www.prisma.io/pricing#accelerate
We'll continue to make improvements to the pricing on the way to General Availability to make it both as easy to understand and affordable as possible.

Nvm answered further down in the thread by eampiart
For one point of inspiration, see https://entropicthoughts.com/determining-tag-quality

I really like the picture you are drawing with "semantic hashes"!
This has been true in any area of human activity since forever. If you have a choice to work with someone you know/worked with previously and someone completely new, who may or may not be as good as advertised... Who would you hire? When your future bonuses/promotions and maybe job itself depends on it?
currently just firefox + ublock + a host of other extensions i've picked up over the years

i used to use pihole, and i'll totallyyyyy get around to setting my homelab back up soon ( and adguard home is also on my radar :3 )
It sounds like you find speculation based on anecdotes more compelling than evidence from higher up the evidence hierarchy. That’s obviously your preference and you’re welcome to it.

When I’m discussing an issue and my interlocutor ends up having to bite a bullet like “I think MMR vaccines might contribute to autism based on speculation and the reports of people on the internet”, then I’m happy to take my hands off the wheel - it’s now clear their standards of evidence are very low.

Since you’ve openly admitting to it then I’ve achieved what I came to do:

1. See if I’m wrong in my view (it doesn’t seem like I am)

2. Ensure that anyone reading can see that in order to believe seed oils are harmful, one has to have a completely wild epistemic framework. You’ve admitted you think MMR vaccines might contribute to the development of autism based on a completely evidence-free view that such vaccines might be “the straw that breaks the camels back.”

I think this conversation has probably run its course - you believe things based on what I would consider anti-scientific reasoning, as you’re welcome to do. I don’t think wild speculation is a useful tool for making inferences about the world. We’re unlikely to bring each other round to our own views on this, I suspect.
All these search engines do is trying to parse content and push it on their pages, without contributing author. So, what incentive is there for content creators to keep writing these? At some tipping point there will be no point and bubble will burst, where will all these LLMs and traditional search engines get their info then?
It's one potential day off at one school, seems pretty trivial. Though I guess if anywhere I read is gonna care about it it's gonna be here.
I was asking for multi-threaded solvers supported by CBMC, not multi-threaded CBMC, which is 1% of the runtime of large models.

I'm trying to find proofs for strstr implementations, like Morris-Pratt in C. JCBMC is for Java programs.

Good answers would be Z3, yices2, CVC5, Kisssat. Bad answers would be CaDiCaL, minisat2 (the default), and all the other supported single threaded solvers for the dimacs and ipasir interface for the SAT problems (which are much simplier than SMT problems).

Just unrolling the loops and comparing to a small brute force strstr leads to very large models, which would need to run in several minutes, compared to the typical 20s. I'm considering running it on one of my big work machines with a parallel solver. Out of the 220 strstr's I suspect several of them to be wrong. I know that they are wrong, but CBMC gives me counterexamples where they would break exactly, and why. Better than a fuzzer, which just guesses around.
> No, it's because it will likely lead to those consuming it turning to real life sexual abuse. The behavior says "I'm attracted to children." We have a lot of good data on where this precisely leads to when entirely unsupervised or unchecked.

For one thing, again, we don't have quality studies clearly showing that.

But let's suppose that we do, and they agree. If so, then shouldn't the attraction itself be penalized, since it's inherently problematic? You're essentially saying that it's okay to nab people for doing something that is in and of itself harmless, because it is sufficient evidence that they will inevitably cause harm in the future.

I do have to note that it is, in fact, fairly straightforward to medically diagnose pedophilia in a controlled setting - should we just routinely run everyone through this procedure and compile the "sick pedo list" preemptively this way? If not, why not?

> You've constantly created this strawman but it appears nowhere in my actual argument.

My "strawman" is the actual situation today that you were, at least initially, trying to defend.

> Right. It's impossible to stop people committing murder as well. It's also impossible to catch every perpetrator. Yet we don't strain ourselves to have the laws on the books, and it's quite possible the laws, and the penalties themselves, have a "chilling effect" when it comes to criminality.

That can be measured, and we did - and yes, they do, but it's specifically the likelihood of getting caught, not so much the severity of the punishment (which is one of the reasons why we don't torture people as form of punishment anymore, at least not officially).

The point, however, was that nobody is "handing" them anything. It's all done with tools that are, at least at present, readily available and legal in our society, and this doesn't change whether you make some ways of using those tools illegal or not, nor is it impossible to detect such private use unless you're willing to go full panopticon or ban the tools.
The criticism isn't that they are forcing me to use this tool.
I don't know enough about their operations to answer with certainty, but I believe those fabs were generally more mature nodes for mil/gov (in fact I think they were the only semiconductor manufacturers approved for mil/gov use).

Judging by the fact the number of patents they file doesn't seem to have gone down after 2015, I'm going to guess not.
The ublock origin FAQ recommends not using additional content blockers or you may run into effectiveness/detection problems.

I've never had the former happen, but it's something to be aware of.
> On the other hand, if the entity owns itself, you can’t legally harm it without consent, which can’t be given.

By the same token, the forest can't exactly start a lawsuit either (unless someone acts on its behalf, in which case we are back at the same person).

Just because they declared it a legal person, doesn't mean it actually is, in terms of how that phrase is normally used. At the very least a legal person normally can enter into contracts, buy and dispose of property. Like you said, the forest can't consent, and being able to consent is what it means to be a person.
I'm going to pretend for my sanity's sake that you're joking.
For gifted people undergraduate degrees are easy (unless you want to go through it really fast). Some people I know barely studied for their exams and spent all their time in research projects / their own thing.
> Sam the VP is just going to slot his buddy into the job but now you made a whole bunch of people apply for a job that was never available to them.

...except now the recruiting and HR can report these candidates and interviews on their metrics, candidates had a hope of finding a job, and Sam has a bulletproof explanation in case if anybody asks why his buddy was hired. Win-win-win.
(I meant for their owners!)
It is unclear this model should be on that leaderboard because we don't know whether it has been trained on mteb test data.

It is worth noting that their own published material [0] does not entail any score from any dataset from the mteb benchmark.

This may sound nit picky, but considering transformers' parroting capabilities, having seen test data during training should be expected to completely invalidate those scores.

[0] see excel spreadsheet linked here https://blog.voyageai.com/2024/09/18/voyage-3/
Sure, no problem. But after you asked me, I realized that the system was not properly documented anywhere, I didn't even have a repo with the configuration files, what an embarrassment :(

I just created the repo and uploaded the documentation, please give me some more time to write the documentation: https://github.com/josefrcm/simple-syslog-service
A System of Agents Brings Service-as-Software to Life
Red Panda AI – Accessible Text-to-Image Generation Service