skysight-inc/HackerNews huggingface dataset:
If you think that fact that levels of abstraction give insight is a rebuttal to the OP, you don't under what he's doing. Understanding how the fundamental theory reduces to the abstraction (1) allows you to precisely know the limits of the abstraction and (2) allows you to port knowledge you have about one side to the other.

Like, this comment of your is a great example of the sort of confusion that arises when you don't understand the non-relativistic limit:

> Lol, so you've got a working theory to bridge the quantum and classical worlds? That is, you've figured out how to make general relativity and quantum mechanics emerge from a more fundamental theory?

https://news.ycombinator.com/item?id=40574789
"Private mode" is not private, it even says so in the browser. The nickname "porn mode" is much more accurate term.
A lot more people are vulnerable to abusive partners than you may think, and that's a threat model most of these products never consider.
I’m so used to column view as a metaphor for my files and directories that I don’t understand how non-mac people deal with essentially being forced to memorise their directory structure and hierarchy.
Standard, thar word was changed to mean something close to absurd imposition, rhe healthy way is something become an standar because this tool was found very usefull to solve a certain matter.

The modern idea of standas is, a ridiculous imposition that only benefits a little group of people
Awair let's you hit the device on the LAN and get JSON, so the software is all mine. You don't have to let it connect out or report to anyone else. That is one of the reasons I picked it, I like my smart home to stay home.
Absolutely. It’s not just a bad path, it’s taken researchers down a road that robbed approaches that could have helped people of resources because they lied.
Does this only relate to things you put into their cloud, or does Photoshop now upload your offline files to Adobe servers as well?

By the way, it's always morally correct to pirate Adobe software for personal use. Which also allows you to fully firewall it because it no longer needs to talk to the activation server.
For those with flatter home network needs but still wanting a few things internal to be reachable by IP I'll throw in you can also use static link locals on fe80:: instead of a random ULA prefix. You'll still need the ULA method if you have multiple subnets and want static services reachable via routing though.

Unless the router says the old prefix now has a valid lifetime of 0 the proper thing to do is actually to wait for the prefix to expire like it seems to be doing. I never had this missing lifetime change problem with Comcast but it's very possible they do things differently in different service areas/for different service types.
That would make the routing table exponentially larger though, which would become unworkable… That’s why they mostly only do it for networks big enough to need it.
I think everyone knows that Apple and MS provide a lot more value to their lives and the companies they work for than NVIDIA does. The problem is every tech company and countless startups have promised a very near term revolution to life on earth as we know it, due to AI. Now every single one of those companies is thinking the following:

1. A competitor might actually make the visionary future a reality, and so, falling behind is a corporate existential crisis

2. They’re nowhere close to making their vision a reality. I think companies knowingly continue to sell a healthy dose of BS to their customers in terms of AI capabilities, but I also think they’ve fooled themselves with their own arrogance. For example, Google learning in realtime with the rest of the world that their AI generated search results are sometimes outputting nonsense.

This is why I value NVIDIA over all software companies. I’m confident the latter group has hyped everything so much that most will eventually fail to meet expectations. NVIDIA just gets to sit back and watch it all play out.

I do think they’ll eventually deserve a $3T valuation some years down the line as models continue to improve and some industries truly get revolutionized.
Are you suggesting the FBI should raid Canada? Because I’m increasingly convinced they would do it if you asked, if for nothing more than just a change of scenery.
I was very pleased to find that Steam works great in Linux (Ubuntu for me).
What "exceptionally bad" things has he done? Has he killed anybody? Stolen candy from a baby? Framed somebody for a crime?
The numerous other email providers are... numerous. Every discussion like this ignores, to an absurd extent, how hard it is for non-tech people to gather information on these topics and make an informed choice: Information about which email providers are care about which aspects of privacy, which aspects of privacy and information security even exists, which email providers even exist, what they are doind with your data, what parts of what they are doing is a problem...

You can't even ask tech people to make a choice for you because they all say different things.

Other domains like cars, medicine, construction, whatever have established standards because they have recognized that individuals simply _cannot_ make an informed choice, even if they want. I'm eager to say that only information technology likes to call the user "unwilling" and "lazy" instead, but actually individuals from other domains do that too. Luckily, the established standards are mandatory, so their opinion doesn't count.
If him just posting an image is a PnD then so is Jim Cramer, motley fool, etc telling people which stocks to buy
provenance of the video is next!

video and gameplay needs to leave the player’s computer simultaneously, and that player needs to provide reasonable video for all gameplay.

requiring lower mouse sensitivity and greater mouse room would improve the data quality.

with luck, it will always be cheaper to detect gen-ai video then to create it. otherwise, more evidence? higher res/fps webcams?

the cheaters have run the field long enough. time for the arms race to push back!
> You're just trying to ban apartments here. Corporate SFH housing basically doesn't exist but mom and pop large apartments don't either.

This definitely isn't true - there are markets where apartments aren't allowed/desirable, and in which corporate actors 'build to rent' entire subdivisions.s
Step 1 - ban the countries you want banned

step 2 - blame something vaguely coherent

step 3 - ?????

step 4 - profit
Disagree with the latter part. You're also not going to have a large effect on those people, but that doesn't mean you should give up on what you believe just because other people can't even bother with it. I stick to my preferences of not using corporate stuff very much. If somebody wonders why and asks, I'll explain. Whether they then decide to do anything about the answer, I don't really care. If they do, then good for them.

What's the alternative anyway? Give up and suck Google's tit every day? It's "fine" if people who don't have the background to understand this issue do so. But if you, having the background and belief to object to such corporate control still choose to look away and do so, then you have willingly demoted yourself to a pathetic Google tit sucker.
What makes an aimbot an aimbot is its inhuman speed, the camera snaps from one target to the next, perfectly. Hypothetically you could GenAI a video to show hand motions, but real hand motions can't actually "snap" like that. You would see in the video that the hand controlling the mouse is snapping from one frame to the next, which would be a dead giveaway.
Some that come in mind, both personally and corporately: 1) data analytic, insights, and visualization, 2) dashboards, 3) knowledge discovery and exploration, 4) education & learning, 5) games
It’s not that simple - each group has a bunch of sub-groups which respond to specific propaganda tactics/buttons.

Same with abortion/anti-abortion, guns/anti-gun, and any of thousands of other topics.
> Musk's troubling history of public statements

He says what he thinks. Unlike most public figures who filter everything through their PR person.
I'm not a climate doom-ologist, but this could be from humans burning fossil fuels, or it could be that we are still coming out of the last ice age.

Since we can't control the latter, it only seems prudent to do something about the former.
Yeah but you don't need to target them all. Most people are pretty much useless, politically speaking, they just do what they're told by someone else. If you can identify who is doing the telling and target them specifically, large groups of people will otherwise be docile.

Historic attempts to apply that theory have been broad-brush to say the least [0]. With LLMs and access to enough data the authoritarians can get really fine-grained about when they take people out the next time they seize enough power. Anyone attempting to do something politically uncomfortable for the incumbents will be at serious risk in a fine-grained way that has not previously been possible.

> Half of people are pro-Trump, half of people are pro-Isreal/Palestine.

I don't think it is 50-50, more like 20-30% for Trump and I don't have a read on the Israel/Palestine stats. Trump has a dedicated core of supporters but I'd suggest a lot of the people polling for him just don't see a better option.

[0] Eg, I was reading up on https://en.wikipedia.org/wiki/Intelligenzaktion the other day
GitHub repo was on front page recently,

https://news.ycombinator.com/item?id=40473198
tbh i’m shocked no game is doing this already.
Yes, but AI tools also make it easier for bad actors to generate false images that are harder to detect as false going forward. The ones that get caught now seem to be incredibly simplistic manipulations.
So there's a report by somebody reported to somebody that somebody may do something. Or maybe not.
These are not mutually exclusive conclusions.
Ha, if only it were that sensitize. I have an air exchanger, so I don't think the plants will change it enough to matter. I expect that normal air infiltration would cycle more air than plants.
From what point of view is it bad? Technical?
I wonder how much effect feminism had on this.
exactly! cheating should be obvious and unambiguous with sufficient evidence of game inputs/outputs.
I think VALVe’s structure makes solving this problem basically impossible. It’s flat and people pick what to work on. If you solve the current cheating for an old game, it’s fixed for a little while, probably months, until someone works a way around it (which they will). You’re back at square one, you haven’t moved the bottom line and people are still mad. No reasons for any eng to self select to work on it
> I don't think also having our LLM prompts fundamentally changes this picture

Is that what is being discussed? The biggest issue with Microsoft's new AI announcement was that their system was going to take screenshots of your computer every second and process them with AI. That means they could have way, way more data about you than LLM prompts.

https://arstechnica.com/ai/2024/06/windows-recall-demands-an...
In the large grocery store where I shop, unpackaged deli meats and fresh fruits and vegetables involve much less plastic. Of course, plastic bags to put them in is always available nearby.

But for most of the shelves displaying thousands of different products, in a 150 yard lineup of 50-yard-long shelves, nearly every item is wrapped in plastic. Or is a box of plastic-wrapped servings. Or, in many cases, a big plastic container holding dozens of individually plastic-wrapped items. Hmmm.

Order-of-magnitude guess: that store holds thousands of tons of mostly flat and shiny plastic, all of which will soon be dis-assembled and thrown in the garbage. Except for the accidentally eaten pieces.

But when you get to the checkout, the irony peaks. Here you CAN choose between your re-useable bags or paper bags to put your pounds of plastic in. Why not plastic bags? THEY are bad for the environment.
He did so while being retail, thats what transforms it from competitive analysis into a crime.
Functional municipal governments handle garbage collection, building recreation centers with pools, cleaning up green spaces when people dump tires, mowing overgrown sidewalks and controlling vermin.

I've personally had my city pick up tires from a green space (also recorded the company that dumped 'em), cut overgrown yards and sidewalks, and they consistently collect my trash.

Why would someone with a functional local government ever entertain the straightjacket that an HOA enforces on its residents? It's not their business what color I paint my house, where I put my basketball hoop, or what size and style hedge I grow around my front yard.
The idea that the stock was being sold short with fake shares.
> Richard Nixon

That's a rather weird person to pick, even considering that it's probably a Futurama reference...
I truly do not understand the psychology of a video game cheater.
It's also preventing me from looking at it
Apple is giving you extra pixels, not taking any away.

If you want the same appearance (and resolution) as a non-notch MacBook Pro, open System Settings, go to the Displays section, click Advanced... and toggle on “Show resolutions as list”, save that change, and then enable “Show all resolutions”.

Now select the resolution option just below your current selection. (The y-dimension will be slightly less, which equals the space added by the pixels around the notch.)
I think it's a very reasonable attitude. The person your replying too is stating their personal position. I'm also unlikely to worry personally at the moment because there are other people much better suited to do that whose job it is to do that. There are some many things going on at any one time that reducing what we personally need to be concerned about is a pretty valid strategy.
Sounds like they are beginning to offer OR-tools as a service. I’d be willing to pay for GCP compute to run it, if they can get me a better API than the Python bindings to ortools!
Hah, plenty of invasions (including the current Ukrainian one) are done under the auspices of ‘freeing’/‘liberating’ the invaded. Plenty of examples.

And COINTELPRO and MKULTRA were supposedly for the good of the country/public.

Always be skeptical of anything being justified as ‘for the greater good’.
Meanwhile most of Congress is day trading on insider information but the media hardly cares.
How much explanation do you want?

Any consistent first order set of axioms that has a model, has multiple models. In the case of the Peano Axioms, there is one and only one model that we're interested in - the finite integers. All the others we call nonstandard.

But there is absolutely no statement in first order logic that can explain what we mean by finite, and why THIS model is what we want, and THAT model should be considered nonstandard.

However there is something called second order logic. As https://www.lesswrong.com/posts/3FoMuCLqZggTxoC3S/logical-pi... correctly says, in second order logic we really can say that something is finite, and mean it. But as https://www.lesswrong.com/posts/SWn4rqdycu83ikfBa/second-ord... explains, anyone with Constructivist tendencies is going to look at second order logic's definition of finite and call it wordy hogwash.

Regardless, we can look at things this way. Given any two models of the same set of axioms, we can try to set up a correspondence between the models. Each may contain some things not in the other. For example a model of PA + (PA is inconsistent) will contain a proof of inconsistency that is not in a standard model of PA.

The standard model of PA is simply this, it is a model of PA which is contained in every other model of PA. And so, whether or not two models agree on the Riemann Hypothesis, they will all agree on what the billionth zero is. And the trillionth. And so on for every finite number. Why? Because those are all in the standard model. And everything in the standard model is included in every other.
'Sudden Russian death syndrome' strikes Mozambique ambassador
Cheating is something they face in CS and will face in Deadlock as well. I don't get why nobody there is interested enough (and competent enough) to work on cross-game anti-cheat.
It's not the difference. Back when it was easy to see deleted comments, it was clear to see that there was deliberate moderation to suppress certain viewpoints and stories. Now with the API changes its much more difficult, of course.
Ask HN: How does function calling work under the hood?
I would like to understand how a model is returning the right tool to call for a query, what's happening behind the api call for function calling for open ai, mistral and other models.

Are they using a prompt with instructions on how select the right function to call? and when tools and query is passed via api, is the llm using that prompt to select the tool or what's happening behind the call.

How do I achieve function calling using a open source model that I run locally using ollama. Thanks.
If that is the case, what are they, ideological privacy adherents? Just dumb or fond of wasting money? I’m beginning to wonder how much this guarantee by a random internet person is even worth!
Yes, what is kinda fun is I can tell what time my kids are out of bed (really it if their room) just by the changes in co2.

Everyone was gone today at the same time (rare with WFH and home school). I can see within about a minute when we arrived home.
Libsodium is actually really small

It also has a lot of eyes on it and was reviewed by people whose job is to spot these sort of issues
A decent while ago, I was the original author of that performance guide. I tried to lay out the set of performance trade-offs in an objective and realistic way. It is shocking to me that you’re spending so much time commenting on a few figures from there, ostensibly w/o reading it.

System call overhead does matter, but it’s not the ultimate measure of anything. If it were, gVisor with the KVM platform would be faster than native containers (looking at the runsc-kvm data point which you’ve ignored for an unknown reason). But it is obviously more complex than that alone. For example, let’s click down and ask — how is it even possible to be faster? The default docker seccomp profile itself installs an eBPF filter that slows system calls by 20x! (And this path does not apply within the guest context.) On that basis, should you start shouting that everyone should stop using Docker because of the system call overhead? I would hope not, because looking at any one figure in isolation is dumb — consider the overall application and architecture. Containers themselves have a cost (higher context switch time due to cgroup accounting, costs to devirtualize namespaces in many system calls, etc.) but it’s obviously worth it in most cases.

The redis case is called out as a worst case — the application itself does very little beyond dispatching I/O, so almost everything manifests as overhead. But if you’re doing something that has 20% overhead, you need hard security boundaries, and fine-grained multi-tenancy can lower costs by 80% it might make perfect sense. If something doesn’t work for you because your trade-offs are different, just don’t use it!
Recently got back into playing Diablo Immortal because i got a new m4 ipad, was playing with a standard nintendo switch controller for 2 weeks fine just doing standard story quest/leveling then banned for "Severe Exploitation - Automation (Botting), Hacks, or Third-Party Software".
I tried to appeal but just automatically rejected and no recourse or way to even know what they think i did wrong besides that vague statement above.

I'm 100% sure i didnt do anything that would count as cheating, was just playing the game normally on an unjailbroken device, never interacted with another person in the game either.

Yet the chat is full of bots spamming stuff that dont seem to get banned.

Luckily i got banned before i decided to spend any money on it besides $8 for the battlepass.
>have no awareness of the semantic meaning of the tokens they correlate

This seems impossible to me. Many of the tasks I use GPT for inherently require understanding and thinking.
I'm 39 and I own a competitional geometry automation company, working with reverse engineering smooth NURBS curves from roughly scanned point clouds captured in the field from customer yachts. The result is a beautiful pattern for a new deck of flooring costing between 5 and 15 grand. We charge between $50 to $300 for this design process. My clients are the flooring manufacturers that outsource their design reverse engineering to me because that work is often very hard, and my algorithmic tooling and equality controls are the best in the industry. Eventually I'd like to launch our product as a software system, but for now I operate as a design outsourcing service. I develope our algorithmic tools and also do the design work.

I'm currently a single person startup without enough revenue to hire a dev helper. But there are two kinds of developer I would hire: business automation experts and computational geometry experts.

And if I interviewed a compgeo person, guess what algorithms I'd ask about?

That's right, I'd ask them to derive the Bernstein basis functions, implement Decasteljau's algorithm using LERPs, prove this gives us the same result as numerically evaluating Bernstein, calculate the algorithmic speedup, and remark on the numerical stability.

This is either very easy - the person cares about reticulating splines! Or it's impossible, signalling lack of domain knowledge.

That's why in this case I don't feel it's a riddle at all. It's one of the basic mathematical pillars our entire product line is being built on. Knowing I don't have to mentor you in that is going to be a big deal for me. Likewise knowing that I do have to mentor you might not be a deal-breaker, but requires accommodations, like putting you in a more Junior role, specifying the algorithmic portion of tasks much more stringently, and taking responsibility for our numerical or mathematical analysis.

That second scenario might indeed happen if I make enough money to hire a Dev assistant, but can't afford one trained in comp geo. I in that case I would still pop the Bernstein/Decasteljau question but not expect them to go in depth. Instead I would ask them to pledge to learn, and provide paid training sessions, both to enrich them with useful domain knowledge, and to eventually benefit our team.
What about Apple illegally going through my MacBook then my Linux laptop.

Forget these legal grey areas. These organizations actively deal with corporate espionage and no one does anything about it.
ML search is more about ‘averages’ based on samples.

Innovations like these are more about ‘shocks’ that surface fitting cannot capture.

Note universal approximation theorem applies only to smooth surfaces.
What's interesting to me is why this story leaked. I bet it's just Morgan Stanley (the owner of E-Trade) trying to control they narrative. If they just cut him off, he gets to tell his story, MS can't officially discuss the particulars, and the company ends up getting a lot of hate mail.

But if they leak the official justification beforehand, then Roaring Kitty will have a harder time spinning it.
Alacritty is not a good terminal. It lacks support for several sensible protocols, such as keyboard disambiguation (guests cannot discern between e.g. ctrl+I and tab). Foot is probably a competent terminal with somewhat similar goals to Alacritty (the VT library is incredibly fast, which seems to make up for the software rendering).
ESEA, FACEIT, or just other random private servers. There are several third party matchmaking services with extra anti-cheat, tighter reputation metrics, and are paid instead of free to play.
Still haven’t found a source for the claim. That’s a red flag.

And secondly, do large investment firms regularly disclose their high earning clients and their positions?