skysight-inc/HackerNews huggingface dataset:
It isn't solved but the evaluation (which side is better, by how much, and which moves are best) of a strong engine is - for all practical purposes - an answer to every chess position you can pose to it. This makes it easy to gauge improvement and benchmark against other systems compared to some other problems.
Direct link to Newsom's tweet: https://x.com/GavinNewsom/status/1816497533772038507

Surprised by how brazen the message is.
The writing was on the wall when they decided a rapid release schedule was somehow better software. Browsers are things that should grow very slowly, like oak trees.
Ukrainians strip out Tesla batteries to keep the lights on
Partition encompasses response time. If you have defined SLAs on response time and your partition times exceed that, you're not available.
Have a look at remacs (an experimental Rust port of emacs, now discontinued) [1] and its successor, emacs-ng (also in Rust) [2]

I haven’t followed closely, but I am sure there are som valuable lessons learned there that would answer your question.

[1] https://github.com/remacs/remacs

[2] https://emacs-ng.github.io/emacs-ng/
A variant of hiding in plain sight for a backdoor if you have a webserver: create a directory ". " (dot space) somewhere in the web-application and put your backdoor in that directory.

A sysadmin just would see . . .. as directory entries.
https://archive.ph/MBhLp
Andromeda – JavaScript/ts runtime with no transpilation BS
> (ignorant of the history that led to 2008)

can you share your version please?
Someone else tok ownership of the problem for you and sells you their solution : "The theoretical issue is irrelevant to me".

Sure. Also, there's a long list of other things that are probably irrelevant to you. That is, until your provider fails and you need to understand the situation in order to provide a workaround.

And slapping "load-balancers" everywhere on your schema is not really a solution, because load-balancers themselves are a distributed system with a state and are subject to CAP, as presented in the schema.

> DNS, multi-cast, or some other mechanism directs them towards a healthy load balancer on the healthy side of the partition.

"Somehow, something somewhere will fix my shit hopefully". Also, as a sidenote, a few friends would angrily shake their "it's always DNS" cup reading this.

edit: reading the rest of the blog and author's bio, I'm unsure whether the author is genuinely mistaken, or whether they're advertising their employer's product.
Very cool, delivering antibodies straight to the brain. Could this be the approach for a viable prion disease treatment?
An Abundance of Beasts
> I feel there is already so much stuff...

I haven't read this elsewhere so it may be non-validated but you shouldn't imagine customers of a product as entirely captured nor cohesive. Inside of the customer pool are going to be people who are displeased with the product for sometimes disparate reasons but not enough to find a different product because this one is "good enough".

To make this example very simple, a product may produce orange widgets. It's good enough for most people but one group wishes it made a more yellow widget while another group wishes it made a more red widget. The orange widget isn't the ideal case, it's a compromise to serve the most people.

If someone came in and made a product that produces very yellow widgets and focuses on the yellow widget market, you could serve those people very well despite being having a smaller pool.

In other words, your product doesn't need to go toe-to-toe with the orange widget product that has a revenue of $1B, you only need to pick off the yellow widget people to get a revenue of, lets say, $10M and you are eating very well.
And the solution to that may be worse. Do you want to saddle all open-source with strict regulatory compliance on safety?
'Ceremonial' as in there seem to be arbitrary unwritten agreements. Not that it is not bloody with war crimes.

And people in those places have internet so I very much did tell them. I guess you mean walking the street doing it, and no, I would not do that. That would be rather masochistic.

I got this theory that the bronze age collapse was due to some tribe abandoning some sort of ceremonial warfare, which spread.

The war on Gaza would be a good example of a war with no "ceremonies".
IMO and Chess are the same in the most important respect, you can use Lean or a simulated chess game to create unlimited quality training labels. Any problem of this category should be solved with enough compute and clever architecture/metacognition design. The more intractable problems are where data is hard to find or synthesize.
Can it / did it solve problems that weren't solved yet?
Levitt was absolutely a racist, the FHA eventually found the covenants to be illegal discrimination and Levitt sued the government and attempted to maintain them all the way to the US Supreme Court. Defending William Levitt in 2024 is a real choice.
Oblivious HTTP now available on Divvi Up
https://github.com/osmlab/appledata/issues is where you can give feedback to Apple‘s OSM mapping team. There’s one thread per country
The lede is a bit buried: they're using Lean!

This is important for more than Math problems. Making ML models wrestle with proof systems is a good way to avoid bullshit in general.

Hopefully more humans write types in Lean and similar systems as a much way of writing prompts.
I wonder what is going to happen to all the actual people.

Sure, the authorities can force all the people off their "campsites" and send all their belongings to the dump. But you've still obviously got the homeless person there, in a more vulnerable position than they were before.
Brackets aren't the only indication a process is a kernel thread, it's fairly trivial to verify via proc:

$ grep Kthread /proc/$$/status
Kthread: 0
TypeScript in its current usage reminds me of Hello, World! or FizzBuzz Enterprise Edition. There's almost more code dedicated to typing than the actual running software itself in some codebases I've seen.

The authors trick you with reasonable examples on https://www.typescriptlang.org, but in the wild, you have these ridiculous codebases that couldn't control themselves and they have this insane ratio of multiple declaration files to actual source files and you have to ask yourself, "Are you writing software to get something actually done, or do you just like write type definitions?"

Even people who write in C++ don't go to the lengths that TypeScript users do. It's super weird and cult-like.
One of the first things I did when GPT 3.5 came out was to give it some medical symptoms I had when I was a teenager that was wildly diagnosed by my primary care doctor that I finally (at least partially) figured out by doing my own research 10 years later.

It nailed what tests I should have done one the first try, one of which I still need to get done because my current primary care doctor doesn’t know how to run it and an endocrinologist straight up refused in the past. However, one of the other two tests suggested would have led to my quality of life improving to such a great extent I would be living a completely different life right now.

I had really, really bad fatigue and we had noticed my shoe size was shrinking as well. The doctor, who is now president of the clinic itself, diagnosed it as depression. The shoe size thing was explained as my arches maybe getting taller. As it turned out, I also lost 2 inches of height as well but I don’t know if we had noticed that at that point yet, but I’m willing to bet it was being charted.
Yeah, the relevance of the technology is only in whether it's a big enough problem to be worth legislating. It would be weird for it to be legal to make fake porn of someone only if you put some real effort into it rather than doing it the easy way.
Without Lisp-like macros, you need preprocessors or code generators. Something like Yacc/Bison is easily done with suitable macros.

In Common Lisp, macros also enable a kind of Aspect Oriented Programming. That's because one can dynamically modify macro expansion using the macroexpand hook. It's a way to modify a code base without changing the source files, which has all sorts of uses.

http://clhs.lisp.se/Body/v_mexp_h.htm#STmacroexpand-hookST

One can implement things natively in Common Lisp, like code coverage tools, that require separate tooling in other languages.
The Seine may determine athletes' success at the Paris Olympics
> But if support means if things failed and you can get support to fix it, then no.

Well, yes actually, you can get help in IRC/Matrix/etc. It's best effort and might not help, but it's not like commercial vendors promise fixes either.

In any event, Arch is in the same position so that's not really an argument in favor of either one.
How much bigger can a neutron star be given the TOV limit vs. the Schwarzschild radius winking the whole thing into a black hole?
The lack of urgency and awareness around this baffles me. The death of Firefox means the death of the open web, but it seems like very few people care.
You can do it in TS.

https://www.typescriptlang.org/docs/handbook/2/functions.htm...
The tokenizer system supports virtually any input text that you want, so it follows that it also allows virtually any output text. It isn’t limited to a dictionary of the 1000 most common words or something.

There are tokens for individual letters, but the model is not trained on text written with individual tokens per letter, it is trained on text that has been converted into as few tokens as possible. Just like you would get very confused if someone started spelling out entire sentences as they spoke to you, expecting you to reconstruct the words from the individual spoken letters, these LLMs also would perform terribly if you tried to send them individual tokens per letter of input (instead of the current tokenizer scheme that they were trained on).

Even though you might write a message to an LLM, it is better to think of that as speaking to the LLM. The LLM is effectively hearing words, not reading letters.
Huh. So as someone who lives in the Midwest and knows next to nothing about the west coast... is Gavin Belson (from the TV show) intended to be a satire caricature of Gavin Newsom? Because the hair and mannerisms are quite spot on.
> no path

Clearly war was one option to remove Russian troops. Saying there’s no options, is a vast oversimplification.

Call up the troupes on the phone and say we’re unhappy about those ICBM’s in our territory where going to start artillery bombardment noon tomorrow and suggest you leave before then.
This all makes sense, at a basic pass. But what does it tell me to claim that an Admin is a Name and a Password? (It probably doesn't help that I'm used to role based permissions where you will emphatically not have a name associated with the authorization. You should be able to trace it back to an authentication, which will have a name, but those are different.)

I'm also confused with these assertions, as with this formulation, you make it far too easy to think that a User is an Admin. Due to the norm for equality rules being that they are transitive.

Again, if this is just a shortcoming of this particular example, I'm fine with that. I am not trying to tear down the whole idea over the example. I literally just don't understand what it would mean for my model to say that an admin is a name and a password. Transitively, that feels very dangerous when considered in the way I'm used to modeling authentication and authorization.
I wish it would let do single click open without hover to select. It's just too easy to mess up your selection if you are not careful where you park your cursor for even a split second.

KDE's Dolphin is much better here, can be set to single click open with drag selection box or click + icon to select.
> in that the answer is already known.

you realize this holds true for all of math right? outside of godel incompleteness potholes every proof/theorem is a permutation of ZFC. And you can fix the potholes by just filling them in with more Cs.
>actual socialism

And what is actual socialism? Perhaps more importantly how will you enforce it?
Or the simultaneous discovery of thousands of cryptographic exploits...
Great. Where's the companion executive order to provide tools for people that are displaced by rent inflation transitional and other situations that cause hopelessness?
It is quite interesting indeed. Definitely something I'm looking for in my day to day LLM usage. Being bit new at using third party repos, has anyone checked how safe this is?
I feel like Deno and Bun have lit a fire under the Node team to finally modernize things people have been desperately wanting for years. Great to see!
Two related issues: criminal justice reform and homelessness. There are grave humanitarian concerns in both. But the victims’ advocates have no willingness to compromise. They are also a strong minority, which means they need others’ support to govern.

That unyieldingness, in the case of homelessness, has led to ridiculous asks, e.g. treating any law enforcement against anyone homeless as criminalising poverty. Given the bloc is unwilling to compromise, it’s not a surprise that the centre is now shifting to those on the right. Hence, the policy whipsaw from focussing on there being homeless people to the problems that causes.
I now live in a neighborhood with about 200 homes all built right after WWII, all 2 bed/1 bath 1,200 sq. ft. with minor variations[0]. Sidewalks!

Next to me is a rich town with no sidewalks and a more country ambience except for the even bigger McMansions.

[0]by now, many have been torn down and replaced with two story McMansions, to the extent they can fit on the lot.

It's all tradeoffs, I guess...
Do you have your Linux file browser set to click to open or double click to open?
Why are mapping services so stingy with custom lists of pinned location? This announcement from Apple made me excited because Google Map's saved list has become unusable for me. I have 8,000+ favorites (used to mark places I've visited) on Google Maps and behavior above 500 is undefined. On Mobile, Google Maps loads an arbitrary list of 3,000 pins. Unfortunately, Apple is even worst with a limit of 100 [2]

[1] https://www.reddit.com/r/GoogleMaps/comments/1cfqk52/did_i_j...

[2] https://support.apple.com/en-us/103188
Provide actual links to research or everything you say is fear mongering.
Some more details on their official blog - https://deepmind.google/discover/blog/ai-solves-imo-problems...

EDIT: I just saw it's already been posted: https://news.ycombinator.com/item?id=41069829
yes, but I am indeed wrong here. See https://www.merriam-webster.com/grammar/corporal-and-corpore...
I've always been sus of his content it seems to all be gambling, selling product, or sanitized hunger games style contests that pit struggling content creators against each other targeted at a young audience.
Socialism does not mean central planning of a whole economy. That was the Soviet model of communism, which doesn't work at all.

I feel that the USA's education system has indoctrinated students so deeply into the red scare that real terms have become meaningless to discuss political and economical systems with the larger American audience, the words simply don't mean the same, they mean what you've been indoctrinated to believe they mean.
They did just add a new keyword, satisfies, in 5.4. That would be a breaking change if you can’t upgrade the type stripper separately.
Do you have a recommended vendor that could be made to support hardware signed CT type logs?
> more real use cases than crypto ever did.

Indeed, with crypto the suckers needed to do the hallucinating themselves. LLMs automate that and do it for you.
>Happiness. What hell is it even? It means nothing

Money means even less.

>Why? Because I am the most happy when working at a high paying job with loots of interesting problems to solve.

Yes, people have been conditioned to be working.
They're def gonna go after the Riemann hypothesis with this, hehe.
I can't find a link to an actual paper, that just seems to be a blog post. But from what I gather the problems were manually translated to Lean 4, and then the program is doing some kind of tree search. I'm assuming they are leveraging the proof checker to provide feedback to the model.
Safari on iOS is not supported?
The concept of a marketplace just isn't compatible with the concept of Alexa.

If you do both, at least one will fail. Every time.

You can probably mangle one of those concepts enough for them to become compatible. But you'll end up with something very different.
Same reason they post to any other platform with upvotes and downvotes — free reinforcement learning.

(That’s the most charitable explanation. The other possibility is karma farming in advance of a pivot to astroturf. Possibly all 3 at once.)
The greatest feature of NixOS (in my opinion) is the ability to run what are called "ephemeral shells" -- that is, to be able to download and run software in an isolated environment without initially installing it; without it changing or damaging the main environment in any way.

This is accomplished via the shell command:

'$ nix-shell -p <name of software>'"

i.e.,

$ nix-shell -p vim

Where <name of software> can be found from over 100,000 packages (here):

https://search.nixos.org/

Functionally, the above is the equivalent of what Google Play Store, Apple App Store or Microsoft Store or what other Linux package managers are to their respective platforms...

To install software permanently, edit /etc/nixos/configuration.nix to include the name from above (typically under environment.systemPackages), and follow up with:

$ sudo nixos-rebuild switch

Also, it's not too difficult to undo those changes should that be wished, but that's beyond the scope of a simple HN post...

Anyway, in my opinion, NixOS is probably the most Software Developer friendly evolution of Unix since Linux itself.

Well worth a try for technical people -- but there is a learning curve when trying to do very specific esoteric things with it(!)... but that's sort of the case with anything technological...

That being said, there's lot more documentation about NixOS on the web these days than there was in the early days... so it may be worth a look!
Tactics for multi-step LLM app experimentation
The pulsing was unexpected and I am glad they had a section explicitly explaining this.

> First, fires have a clear day-night cycle. They typically flare up during the day and die down at night.

Is this just due to nighttime temperatures being lower than daytime?
In my traditional-engineering education, we spent a ton of time on the basic science and theory, with a super broad overview of actual methods used in practice.

The expectation was that you graduate and you're then equipped to go to a company and start learning to be an engineer that does some specific thing, and you're just barely useful enough to justify getting paid.
Does it work the same for instant?
Yes

> AlphaProof is a system that trains itself to prove mathematical statements in the formal language Lean. … Formal languages offer the critical advantage that proofs involving mathematical reasoning can be formally verified for correctness.
Our society isn't ready for this.

Because of the godlessness of our society, the self has no grounds by which to engage with others, and by further incentivizing profit for more individuals, the further our society will tend to engage with itself as profit as its highest purpose — even outside of the workplace — consciously or unconsciously.

I could see this being less dangerous if our society was deeply rooted in a religious reality, where an individual's engagement with the world is driven by a holistic good, as opposed exclusively to a financial good.
Kernighan discusses 'Millions, Billions, Zillions' (2018)
Do the transient homeless tend to encamp? I thought the encamped population tended more permanent.
> iMessage bubbles are green for Android

There are non-Android devices that can send texts as well; they also appear as green. It's probably more accurate to say that encrypted messages are blue and unencrypted are green. Look at the recent AT&T hack to see why the difference matters.
It doesn't even matter what unit is chosen as long as it is kept the same across.

Comparing Smarties to M&Ms is super easy if both have to use price per pound, price per oz, price per g or price per kg. Who cares if the price per kg would be $0.031.as long as I can see it's $0.028 for the other for the same unit without doing math.
You should include some examples of generated Private Notes on your website because like this, without knowing, I don't want to give you access to all my Strava activities.
> Socialized systems are subsidized by the US drug companies. Corporations pour billions of dollars into r&d and other countries end up making cheap generics of the final product, without having to do any of the research.

The American pharma companies also don't do the research, a lot of it comes from scientific institutions funded by public money.

What pharma companies do is provide capital for drug trials which are absurdly expensive, they are more alike investment companies than actual research institutes...
And while AlphaProof is clearly extremely impressive, it does give the computer an advantage that a human doesn't have in the IMO: nobody's going to be constructing Gröbner bases in their head, but `polyrith` is just eight characters away. I saw AlphaProof used `nlinarith`.
Does this formalization process include giving it the answer it should try to prove?
None of those things are reality, those are how we chose as a society to interface with it. Now that they've happened, they form a part of the fabric of reality, that is the history of the universe and humanity as a species. When I say "upend reality", I mean the idealist delusions that commies hold about the nature of entropy, the nature of humanity (acting like greed doesn't exist, forgetting the iron law of bureaucracy), and the nature of the world (eat or be eaten).
last time we were coming back from san diego my wife asked a lady near the front to move her bag so we could sit down. she was trying to take a whole row of seats to herself. When we asked her she looked at her partner across the aisle like we just farted in her face, she got up and they went to get a row in the back.
Financial news headlines have been like that forever. They feel like they have to attribute the drop to something so they just come up with whatever sounds plausible. It doesn't even matter that they're often contradictory, like in a week I wouldn't be surprised if I saw the headline "Nasdaq 100 makes huge gains on AI's booming future."