skysight-inc/HackerNews huggingface dataset:
> the model is allowed to train on pretty much the test case knowing the ground truth

The task is to solve the integral symbolically, though, right?

It's a hard problem to solve, even if the model is given access to a numerical integrator tool it can use on the main problem itself.
Could it be that Chrome shared the web page with advertisers?

https://www.ghacks.net/2021/03/16/wonder-about-the-data-goog...
My problem with libraries like this in Python is that, because nobody wants to have to hand write semantic validation code, they end up mashing semantics into the parser. What I want is for all the different file formats to be different syntaxes for Data, defined recursively as

Data = str | list[Data] | dict[str, Data]

Leave validation to other libraries. You can get very far simply by reflecting on type annotations.
This, I think. I also didn't see how your solution 2 recovers from worker crashes, although I was sympathetic to distributing the retry to workers.
i agree about the "first smell", the inverted condition, and fairly recently started doing the reverse:

$x=a

if (condition) then $x=b
Sigma announces the ultra-telephoto 300-600mm F4 DG OS Sports lens
Chrome removed the uBlock Origin extension
A license is needed to be a beaver in England. Beavers not carrying license cards will be considered illegal aliens and returned to their country of citizenship.
Is "ateljé" (meaning art studio) really the correct Swedish translation here? I suspect "etta" (meaning one-room apartment) would be more suitable.
Minor nit, the provided link shows 100Mbps, not 1Gbps. That being said, if the article is taken at face value, running 1Gbps would likely also be possible with a similar setup.
There is also a short news episode for adults, but in easy Swedish.

Nyheter på lätt svenska: https://www.svtplay.se/nyheter-pa-latt-svenska
It's not obvious, though, that's the problem. Everything he says he will do is a joke until it's not.
ChatGPT macOS app can now edit code directly in IDEs
Doesn't History proves this wrong? Hundred of thousands of Huguenots left French persecutions and largely contributed to Protestants culture. Nearly Half a million jews fled Europe before/during ww2. French resistance was largely organized from abroad. There are a good amount of Russian activists outside of the country currently. Just a few examples.
As stated bellow, I understand the challenges implied by immigration. But it could quickly escalate in the US, and resisting fascism also comes with some challenges.
LZW?
Else is a common name in my part of the world and capitalizing the word makes the connection more explicit.
Having a shortwave (with a decent antenna) is fun. You twiddle the dial and find all kinds of goodies. Pretty soon you'll be scouring teh interwebz for programming schedules.
We don't know yet whether the muscle loss is caused by the drug itself or due to the weight loss, there are some studies but I haven't seen any conclusion yet one way or the other.

Anecdotally, a friend of mine was on a diet and exercise regime, then at some point he switched to Mounjaro to reduce cravings, while keeping the same diet and exercise regime (he's a data geek so he documented things pretty well), and his muscle gain maybe slowed a tiny bit, but didn't reverse on Mounjaro.

Sample size of one, but at least it's not zero.
I fear I'm responsible for this misconception. At first we didn't realise the proof had originated on 4chan – Nathaniel Johnston originally found the proof on Wikia, and the 4chan archive was only discovered later.

When I tweeted about it, I said “The best known lower bound for the minimal length of superpermutations was proved by an anonymous user of a wiki mainly devoted to anime.”, by which I meant Wikia (which was pretty anime-centric at the time).

I think, combined with the fact that the problem was posed to 4chan in terms of Haruhi, and because it makes a funnier story, that the anime angle has been a bit exaggerated.

Having said that, the author of the proof is not (to the best of my knowledge) a mathematician, nor does he have any apparent desire to publish his result in a conventional form, so it's still a pretty unexpected place for such a result to originate.
'Fake Satoshi' Dr Craig Wright hit with costs bill over AI evidence
CT is a temporary glue until the keyless Signal protocol takes over TLS.
May be collecting things on HN is the interest of people here.
it's "cuck".
Google is extensively pushing it because they bought one of the few companies capable of implementing it, and are now selling that as a service to phone operators.

The protocol itself is a hot mess based on existing telco standards from the early 2000s that makes XMPP including every single extension look like the minimal platonic ideal of an IM protocol.
In the grand scheme of all social issues the UK is beset with, this is small potatoes. It's not hugely important, it's just hugely important to you because it's an emotional issue.
It’s just an abstraction for the idea of “this pattern tends to signal a problem”. The same way humans have learned that certain smells signal spoiled meat or rotten eggs. Sometimes those smells can safely be ignored, like when eating Limburger cheese or durian fruit.

Code smells themselves aren’t problems, they’re just useful track marks that might indicate a problem is lurking nearby. Worth looking into and making the decision yourself.
Nice!

I do something like this with WezTerm. When I ssh into a server where I work, I can run

e some/path/whatever

which just prints a special string containing some control characters, the server hostname and the path. The local wezterm parses it and calls emacsclient with the appropriate TRAMP path. So ssh to server, work there, call `e ~/.bashrc` and the remote file immediately opens in my local emacs.
This is really useful when I am in some deep directory structure.

I use the same mechanism to play remote videos - running `mpv experiment/output_foobar.mp4` just prints the special string, which the WezTerm terminal emulator parses and plays the video using my laptop mpv video player. Really really useful for me every day. I run some experiments, can inspect the results immediately. I also have the "reverse scp" which I use from time to time. `rscp foobar.py /tmp/` causes my laptop to download the foobar.py from the current working directory on the remote server into local /tmp/.

The mechanism is explained here [1] and here [2]

The bash function `e` on the server just prints the special string to SetUserVar with name remotemacs and value hostname---path. In wezterm config I have:

wezterm.on('user-var-changed',
function(win, pane, name, value)
if name == "remotemacs" then
-- remotemacs:hostname---path
local match_start, match_end, hostname, path = string.find(value, "^(.-)[-][-][-](.-)$")
local tramp_path = "/ssh:" .. hostname .. ":" .. path
wezterm.background_child_process {'sh', '/home/loskutak/scripts/remotemacs', tramp_path}

[1] https://wezterm.org/config/lua/window-events/user-var-change...

[2] https://wezterm.org/recipes/passing-data.html
Pudget system Threadripper 32core + 512GB of system RAM + RTX 4060ti is already $12,000.49.

Meanwhile, this thing has a faster CPU, GPU, and 512GB of 800GB/s VRAM for $9,500.
Maybe it would be more accurate to say the ecosystem seems abandoned? But I think what’s actually happening there is I’m coming from the nonsense that is npm so I see one option for making http requests that is just bindings to libcurl and think that’s a downside. When really the ease of C interop is a selling point for Janet.
Claude 3.7 Sonnet can generate your page layout and styles for free.
Aren't there people just below the people in power propping them up that could be given a reason to worry?
True, it's actually quite simple. :)

The main point stands though, that this is not about art studios but just small apartments, and the automatic translation messes that up.
My only guess is satellites and their data export might be covered by ITAR when used as military tactical tools for foreign militaries? Can anyone chime in on whether these satellites are limited by ITAR or something similar?
But earth doesn’t come from earth. It comes from interstellar gasses formed from stellar nuclear fusion and afterwards emitted when the stars turn into supernovae.
> The core piece of information is that she misrepresented her wealth in the original article

From the article:

> When recounted these same statements, my friend Byrne Hobart, who has actually lived among this social milieu before, laughed knowingly and said “Ah, family money.”

It wasn't a misrepresentation; it was just vague, and the author read it wrong.
Very legal, very cool.
Militant police and other State forces I would imagine. Death. Something like Kent State.
By virtue of not wasting time on drugs, mania and celebrity it looks like Eutelstat is poised to crush Starlink
Any recommendations on how to write stories where the chapters could be read in any other? I am curious how such thing could work.
4G LTE: One Standard to Rule Them All [video]
As a rule, people are not all that wise.

Various prominent AI researchers have warned that a superintelligence that has both the desire and the means to kill us all is a likely outcome of AI development. This includes two of the three who shared the Turing prize for inventing the fundamentals of modern AI. That hasn't slowed us down at all.
I must be missing something. What does “unlisted” mean in this context?

I have plenty of subdomains I don’t “advertise” (tell people about online) but “unlisted” is a weird thing to call those. Also I don’t see how it would matter at all when it comes to Google auth.

My guess is they blocked it based on the subdomain name itself. I made a “steamgames” subdomain to list stream games I have extra copies of (from bundles) for friends to grab for free. Less than a day after I put it up I started getting chrome scare pages. I switched it to “games” and there have been no issues.
> Humans too generate thoughts in sequence,

You don’t know this. I don’t feel like I generate thoughts in sequence, for me it feels hierarchical.

> can't arbitrarily mutate what came before

Uhh… what?

Do you remember your memories as a child?
Or what you ate for breakfast 3 weeks ago?

Have you ever misremembered an event or half remembered a solution to a problem?

The information in human minds are entirely mutable. They are not like computers…

> It's not a bag full of NULLs that just pulls next words from a look-up table.

Funny enough, the attention mechanism that’s popular right now is effectively lots and lots of stacked look up tables. That’s how it’s taught as well (what with the Q K and V)

Tho I don’t think that’s a requirement for LLMs in general.

I find a lot of people who half understand cognition and understand computing look at LLMs and work backwards to convince themselves that it’s “thinking” or doing more cognitive functions like we humans do. It’s personification bias.
Then earth isn’t naturally occurring I’m sorry
Unfortunately, the local option has already disappeared for so many product categories. In our city, buying computer peripherals in a shop has become difficult and the last stationary and toy stores are closing down.

While it might be a stretch trying to bring local shop inventories online it might be a first step to at least make their stocked brands / product categories accessible. That's much less data to manage and would already provide a first way to narrow down the options if you need something quick. Google could just ask for that data in its Maps Business Profile metadata, for example.
the canonical book recommendation for CBT is Burns:

https://en.m.wikipedia.org/wiki/Feeling_Good:_The_New_Mood_T...
Most of which aren't affected by the ULEZ or other similar zones around the UK.

Not to mention that many poorer households don't even have a car in the first place.
Perhaps their large government contract is on the line?
Now we're arguing semantics. "Naturally occuring" in English means not synthetically produced / found naturally in the environment outside of human influences.
> Subdomains can be passwords and a well crafted subdomain should not leak,

I disagree. A subdomain is not secret in any way. There are many ways in which it is transmitted unencrypted. A couple:

- DNS resolution, multiple resolvers and authoritative servers
- TLS SNI
- HTTP Host Header

There are many middle boxes that could perform safety checks on behalf of the client, and drop it into a list to be rescanned.

- Virus Scanners
- Firewalls
- Proxies
U.S. payroll growth totals 151,000 in February, less than expected
We used about 58 hours on 4xH100s and about 19 hours on 8xH100s to get the very best result with the 32B model. We trained for about another 16 hours before finishing the run, but we could have stopped earlier after it was apparent the model was regressing. Actual dollar costs are provider dependent.
This sounds like a real problem and hurdle for North American (US/CAN in particular) invoice and receipt processing?
I haven't seen any Haruhi references in about as much time yeah, it was insanely popular back in the day.

Haruhi, 4chan, been a while.
> If you want it to last both have to compromise.

What compromises do you believe russia should make?
Big companies have HR teams to check, small companies almost never do unless the owner has a special interest in it.
Similar story with Portmaster 2s and a wall of modems layed out. The resulting blinking lights acted like a load monitor of sorts as the activity would spread across the wall as customers dialed in after work and signed off at night. Not mention a wall of flashing red lights made a pretty good picture of ‘the internet’ for those just starting out on this adventure in 1997.
And in other fun knowledge, the f150 2016 has no way to disable that keypad. Short of taking apart the door and disconnecting it.
Truth is we don't know that the subdomain got leaked. The example user agent they give says that the methodology they're using is to scan the IPv4 space, which is a great example of why security through obscurity doesn't work here: The IPv4 space is tiny and trivial to scan. If your server has an IPv4 address it's not obscure, you should assume it's publicly reachable and plan accordingly.

> Subdomains can be passwords and a well crafted subdomain should not leak, if it leaks there is a reason.

The problem with this theory is that DNS was never designed to be secret and private and even after DNS over HTTPS it's still not designed to be private for the servers. This means that getting to "well crafted" is an incredibly difficult task with hundreds of possible failure modes which need constant maintenance and attention—not only is it complicated to get right the first time, you have to reconfigure away the failure modes on every device or even on every use of the "password".

Here are just a few failure modes I can think of off the top of my head. Yes, these have mitigations, but it's a game of whack-a-mole and you really don't want to try it:

* Certificate transparency logs, as mentioned.

* A user of your "password" forgets that they didn't configure DNS over HTTPS on a new device and leaves a trail of logs through a dozen recursive DNS servers and ISPs.

* A user has DNS over HTTPS but doesn't point it at a server within your control. One foreign server having the password is better than dozens and their ISPs, but you don't have any control over that default DNS server nor how many different servers your clients will attempt to use.

* Browser history.

Just don't. Work with the grain, assume the subdomain is public and secure your site accordingly.
ADP is no longer available in the UK. To keep the document up to date references to the thing that doesnt exist anymore were removed.
Funny how the article ends with "China Threat Theory" after introducing a technology that can "travel to any part of the world in an hour."
Advertisers could be using mobile games to build profiles about your kids
I'd argue that humans are by definition autoregressive "models", and we can change our minds mid thought as we process logical arguments. The issue around small errors accumulating makes sense if there is no sense of evaluation and recovery, but clearly, both evaluation and recovery is done.

Of course, this usually requires the human to have some sense of humility and admit their mistakes.

I wonder, what if we trained more models with data that self-heals or recovers mid sentence?
An interesting account of these related persecutions, etc.: LETTER TO A BRAZILIAN MASON UNEXPURGATED: http://www.themasonictrowel.com/ebooks/freemasonry/eb0158.pd...
That's right, it scales most closely with housing cost. That tracks with homelessness generally being temporary, being priced out. California is also infamous for rent control policies in NIMBY cities that have been an abject failure. The supply of rental units was low because they are artificially risky and promise too little in return.

Zoning and regulatory reform spurs more building including smaller, dense units, which lowers prices. There's a fantasy among leftists that developers are snubbing mixed-density and dense mid-rises because condos pay more. No one leaves money on the table. Everything is built on credit, and banks deem these builds riskier in large part owing to the impact of zoning and regs. Condos have a lot of overhead, which checks a lot of boxes, while this would be unaffordable for other units. They also ignore that there are small developers in cities that try to compete, but can't get loans, because of these regulations.
Gila Monster is a pretty cool name for a lizard
Yes, pedantically, it is! But as I said, everything's on a spectrum. Online-ish data can still work just fine.
Also sample size of one, but with the weight loss from semaglutide, I've gotten back in the gym and I can now lift more weight than I ever have. It feels fantastic (both the weight loss and being strong)
This is false equivalence. Most of us that share his ideology aren’t fine with either.

Why would we be in the “foreign forever wars should be free” camp?

When approaching these sorts of situations, it is best to steelman your discussion partner’s argument. It will help in your understanding. People who disagree with you aren’t all stupid.
Raku, for scripting jobs. It is a huge language, done right imo. It has more "flow" phenomenon than any other language I've encountered (like playing a great video game).

Not write-only like its ancestor. So many language criticisms solved. A true pleasure.

Still in its function-first development phase but apparently near the end. AST rewrite is still underway, then the team will address performance.
How to trim one or more videos using FFmpeg
SpaceX Rocket Explosion
Normalizing that invasive tracking is opt out while making opt out of their shenanigans intentionally hard (manufest3)

Do Be Evil
In some countries even if the child is biologically not yours you are still supposed to foot the bills.
> Ignore the weeb stuff

Go away
State of ML Competitions (Feb 2025)
You have to trust whoever you got an Onion link from, and yourself to not fall for a similar-looking one, since it is the trusted private key.

It's a web-of-trust and/or TOFU model if you look at it closely. These have different tradeoffs from the PKI, but don't somehow magically solve the hard problems of trusted key discovery.
This is an interesting take, and I think it's not unreasonable to label the worst of the social justice warriors as assholes.

However, most of them are well meaning. They're misguided rather than assholes. They really do want to take action for social improvement. It's just that real change is too hard and requires messy things like protesting on the street or getting involved in politics and law. So, they fall back on things like policing words, or calling out perceived bad actors, which they can do from the comfort of their homes via the internet.

To be fair, some genuinely bad people have been "cancelled". The "me too" movement didn't happen without reason. It's just that it went too far, and started ignoring pesky things like evidence, or innocent until proven otherwise.
If you look at the company they founded it's a service to protect yourself. Not to willy-nilly go out into the open web to find hidden subdomains.
In Germany it is common to get kicked out of free university on a technicality and you have to sue to get back in. I am told they do this to keep class sizes manageable and to filter out those who are just there because it’s free and they have nothing else to do.
I’m not sure that’s exactly what’s happening with GLP-1 drugs. I lost 40 pounds very quickly on them and hurt my hip then my shoulder then my wrist. Felt like I was constantly getting muscle strains and random injuries.

I started drinking a protein shake once a day and the random mysterious injuries stopped.
Most people directly affected are quite chilled about it. To qualify for the ULEZ. To qualify you don't really need an “eco” car, just any petrol car sold after 2005 when the Euro 4 standard came in. So a 20 year old banger will do which can be bought from £500 upwards.

Also the genuinely poor tend to not have a car.
It's a pet peeve of mine to make a statement in the form of a question?
>its just that US is right now much bigger evil and bully to rest of the world than China is or ever was

Always has been. And part of the reason the US gets away with it (other than the threat of overwhelming nuclear-tipped military violence) is the effectiveness of Sinophobia and fear of the existential threat of "Communism" in manufacturing global consent for American imperialist hegemony.

The US can be toppling regimes and carpet-bombing weddings across the entire Western hemisphere, kidnapping people to CIA torture sites, spying on everyone and killing them over their metadata, and China can be doing nothing and Westerners will still be more afraid of China because "those insidious reds must be up to something."
Similarly, there's no need to comment on this.
How does an ip scan help with general DNS resolution at all?
Same with my doctor/hospital system as well. They use Epic. I will request an appointment, and I know within a minute of clicking accept that insurance has accepted the appointment, and how much I will owe.

Only once did I not get approved (for a sleep study), so I called the doctor's office, and they got me approved within a couple more minutes after pushing something else, and I got a new estimate in my portal and via text letting me know it was covered.

If the insurance kicked back that appointment and some AI was responsible for getting it approved on the doctor end (AI is definitely used on the insurance end), who do I call?

I'm all for AI helping you out, possibly extracting useful information from paper forms, but we haven't used paper forms in a LONG time.

I'm not a doctor, but my wife is a Licensed Marriage and Family Therapist, and she's tried at my insistence to use some of the AI software for her practice, and it all falls flat to the point she will not try anymore and has sworn off AI completely. She doesn't use Siri, her browser blocks the google AI results, and most of her research is in her medical books anyway.

AI is the future, but today is the present.
Yes, i have. The problem with using just an LLM is that while it reads and understands text, but it cannot reproduce it accurately. Additionaly the textbooks I've mentioned have many diagrams and illustrations in them (e.g. books on anatomy or biochemistry). I don't really care about extracting text from them, I just need them extracted as images alongside the text, and no LLM does that.
I wasn't the one doing the back and forth on this directly but I think it was at least a few weeks, lots of threads with support etc. Partly on us for something like business address records not matching in different places…we get it b/c I'm sure they're dealing with a ton of spam mitigation but the process could definitely have been clearer / more startup friendly.
The Hottest AI Companies Are 'Apps'