skysight-inc/HackerNews huggingface dataset:
It probably does. The issue is proxy. This is the downside to TLS and letsencrypt. Because man in the middle is a thing. Being a fediverse application the proper idea would be for the clients to P2P the data amongst themselves and lighten the load on the originator. However, in this case a link probably should not do that. So therefore it needs to go get the data itself. It is a DDoS were basically one link can magnify to thousands of other clients. Then until those clients are done they will stomp the site. Perhaps there could be a side channel ask from the client 'hey site are you cool with me showing the user a preview of this'? Or 'hey site is it ok if I share a preview of your page'? That would not totally stop the rush of requests. But would at least keep it from a render of the page for a preview. This method is half baked and something I just came up with and seems wrong though. But auto following links is not exactly in spec either.
Lemmy instances do the same. I believe it is over 1,000 separate GET requests in ~2 seconds once you hit publish.
I miss water fountains that you can drink directly from, as opposed to those that can only fill up a bottle. There's one outside Blackhorse Road tube that only does the latter, you have to contort yourself to drink directly from it and people will look at you like you're mad.
Right now, machines proving stuff which is interesting to lots of human mathematicians but unprovable by them is science fiction. People seem to have very different opinions on the following two questions:

1) Whether it will still be science fiction by 2030;

2) Whether ITPs like Lean will be useful when working on this goal, or whether it will just be LLMs all the way.

But rather than asking questions like "will some system belch out a million line incomprehensible proof of the Riemann Hypothesis" one could ask the following much easier question. Computers are very helpful to mathematicians who do calculations right now, but are way way less helpful to mathematicians who prove theorems (there are many pure mathematicians in my department who have absolutely no use for computers in their research other than the obvious email/search/etc applications). Can we make tools which will help these mathematicians (who might be trying to prove theorems about uncountable and noncomputable objects) to do their day job? Again one can ask two questions:

1) Will this still be science fiction in 2030;

2) Will ITPs be involved?

And again I don't know the answers, but this work is an attempt by the Lean community to help ITPs understand precise statements of what's going on in modern number theory, in case that helps with (1).
Is it possible to record IMEI codes of phones around your location?

Say... to help identify if a specific phone comes around, or what phone/s were around when a break in occurred?
Killer Asteroid Hunters Spot 27,500 Overlooked Space Rocks
>Nor do the majority of "AI" experts...

I mean yes, this is what a rapidly expanding field looks like that's probing the boundaries of its problem space. Kind of like following physics in the early to mid 1900s. Different classes of problems have barely been tested against each other, much less fully explored themselves.

In some ways it reminds me of the earlier days of the internet when progress was still very rapid.
Ironic that their "please don't share our links" post shared on HN also caused their website to crash. It's a 100% static blog post. Use a damn cache, or CDN, or a hundred other ways of handling ~unlimited traffic for free. We are talking about a few thousand hits and tens of megabytes of total data transfer. It isn't 1998. This scale should not be a problem for anyone.
Pulling clean hydrogen fuel from seawater
Do you mean the barefoots cost 3k and you'd like to beat it by spending around 2k? You could see if there's any design you like from Troel's page, though you could also make an account & post the question on diyaudio.com. Unfortunately I'm not very familiar with DIY studio monitors, I know speakers like the Hitmakers (by Paul Carmody) exist but I'm more aware of domestic speakers.
How to Host Private Cloud Storage – Nextcloud on AWS
> Something's wrong with their setup. Hard to tell as now HN has brought them to their knees

Agreed, and hardly surprising is it that if the site can't cope with link preview traffic that non-trivial page views would be trouble too!
>When in a war, you are buying ammunition and weaponry with USD, not PPP.

Not if you're buying it locally.

>When there's a energy shock, you are importing oil and gas with USD, not PPP. When you are in a AI race, you are buying GPUs with USD, not PPP.

Pretty much. PPP is useful for the stuff you can source locally like groceries, rents, local cars and groceries, etc. but a lot of stuff needs to be imported so then the EU's financially weaker position shows, especially when bidding internationally for scarce items.
How would they know? Read patio11's article on salary negotiation
Google blocked 2.28M apps from being published
What do you think of the notion that hard power is measured in manufacturing capacity rather than in financial terms?
US opens probe into 130k Ford vehicles over hands-free tech
Cloudflare being unable to handle 100MB of traffic over 5 minutes sounds like itsfoss failed to set something up properly. The link preview is a fraction of the total page that would have to be loaded for each individual user no matter where they came from.

ActivityPub itself could more intelligently cache or display the content but something doesn’t add up if Cloudflare can’t handle that kind of traffic let alone Hacker News traffic.
Sexual harassment cases are much more black and white and actionable than genocide cases.
With of course Germany being dead last
> When in a war, you are buying ammunition and weaponry with USD, not PPP.

That depends on if you import the weapons or make them yourself, right?

In the Ukraine war, a common heard argument is that Russia can manufacture more weapons than its GDP suggests, because of PPP.
How could I have better expressed myself? My impression of his post was that he was presenting himself as a naif in the woods, discovering through pure industriousness unknown truths about plastics. Whereas if you take him at his word expressed elsewhere, he appears to be one of the foremost plastics experts in the world.

It strikes me as extremely disingenuous to downplay that expertise for messages intended for consumption by the general public.
GPL Does not help in the Cloud Era

MySQL is GPL and this does not prevent Amazon having commercial Modified MySQL called Aurora and does not share it as they do not distribute software.

In my opinion you should Open Source something if you're OK with unrestricted use of it... including your competition. If you want to control who is using it and on what conditions, there is already solution for that called proprietary license.
There are confirmed accounts from inside the Israeli army that they select their targets algorithmically without confirmation, wait for their target to enter a residential building, and then bomb the building, accepting up to tens of civilian collateral damage to kill one "suspected Hamas operative".

Remember that Hamas operates most government functions within Gaza, so anyone seen doing organizing work to help Palestinians survive could be categorized as a "Hamas operative" by the IDF.
No? Of all the esoteric escape sequences that terminals handle the ones that change colors are well trodden.
National strength only matters if you're the government, for the population of the countries living standards are probably what you want to be higher
It does make a little more sense when considered alongside its sibling entries in the long-running series ‘Button of the Month’
No, the President exerts significant control over executive agency policy, and is elected by many more people than that.
I definitely agree with this. If you merge to this extent then you've basically given up on having an understandable history. Rebase is much better where possible.

I think a lot of the disagreement about this is really people talking about different things. Some people say "always squash; nobody cares about the trivial typo fix commits and whatnot" and other people say "never squash; you lose important history" and really they're both right... you should squash when it's not important to preserve the history. Obviously people are going to disagree about when that is but in my experience if a PR is big enough that you think it should be more than one commit then it's too big, unless it's a big feature branch that has been worked on by multiple authors.

Similarly with rebase vs merge, if it's a small single author PR then definitely rebase. For big feature branches you may want to use merges though I would still suggest rebase is better. You just need to make sure everyone is using the safety flags when they force push.
Language models factor the joint probability p(y, x) as p(y, x) = p(y|x) p(x) which is exact. I.e. if you train a language model on your distribution and sample with temperature 1, you will get the exact same distribution out. If you sample at lower temperature or even greedily, evidently, you will get other distributions.
Did Vesuvius bury the home of Octavian, the first Roman emperor?
It detects if a message contains the ”Final Answer” substring preceded by a specific emoji. The emoji is there to make the substring relatively unique.
Bizarre to me that "not having tech giants" is seen as a weakness, where I would think that "allowing giant (tech) monopolies" is the bad thing.
It does in something like DataGrip. Honestly, I can't imagine using Postgres without it these days.
Doesn’t AGPL solve the cloud problem?
Shopify Price Formatter.ts
It's better because you do not need to remember to check for nil, the compiler will remind you every time by erroring out until you handle the second return value of `option.Get()`.

> Of course, this is often left out, but you can just as easily do:

Unfortunately it gets brought up pretty much every time in these discussions.

Deliberate attempts to circumvent safety are not part of the threat model. The goal is prevention of accidental mistakes. Nothing can ultimately stop you from disabling all safeties, pointing the shotgun at your foot and pulling the trigger.
Rome had plenty last time I went there.
Whats the AI bit? Seems like a straight up course.
And Cyprus.

And Malta.

Luckily UK is already out of the EU, or that would be another can of money-laundering worms!
> So I don't really understand the point made in this post.

I think you understand the point perfectly well. You just don't believe that there can be a logical system better suited to a foundation of mathematics than first-order logic (set theory), simple type theory, or dependent type theory. You believe you will need to compromise, no matter which foundation you choose, so better just to pick your poison and get on with it. And I think pretty much everyone in the theorem proving space has that same opinion, so it is certainly a most reasonable opinion.

But I don't believe that the right logical foundation will make it harder to do mathematics on a computer than on paper, I think it will make it easier. In fact, I am pretty sure I have found that right logical foundation, Abstraction Logic [1]. I believe that it is indeed the best logical foundation, because it is simple and elegant (more so than any other foundation I am aware of), and it seems obvious that first-order logic, simple types, and dependent types are just special cases of it.

But a logic is not a working and proven system such as Lean + mathlib, so a lot of work needs to be done before my belief can be stated as a fact.

[1] http://abstractionlogic.com
You're mixing training loss (cross-entropy/surprisal of next token) and post-training prediction decoding (done e.g. with beam search)
I noticed this last year when an article I wrote was reposted by the creator of Mastodon. Visits from individual instance crawlers vastly outnumbered visits from people reading the content.

I had prepared the content for potential virality (hand-written HTML & well-optimised images) but it was still an unwelcome surprise when I checked the server logs and saw all that noise.
Running Windows 95 on a disposable vape
In my case, I live near the border and such use 'just roaming lmao' would become perfect cover for drug traffickers, gangs, sex trafficking and all kind of bad stuff I don't want to be liable for when people coming stomping on my property. In US your property can even be seized if such persons are using it.

It would also be very expensive for me if someone hurt themselves and then sued me since they are on my property.
I thought this was going to be an example of win if we win, win If we lose policymaking. A moonshot where you either make it to the moon and learn a lot in the process, or you don’t make it to the moon and learn a lot in the process…

After reading the breathless article, it looks more like a simple gamble on an unproven technology with the hope of economic gain and maybe some local expertise.

I hope it works out.
I second the "have a recovery distro installed permanently on your computer" thing, it has saved me countless times. My choice is Puppy Linux, since it's impressively tiny and has a good selection of recovery tools preinstalled, but is also totally usable as a desktop OS in case I really need to get some things done before I have time to recover my system.
Acting on them also has less of an impact on the bottom line, and doesn't sour the company's connections to Israeli or US military and defense industries.

Corporations tend to act morally only when doing so aligns with their profit motives.
Magnesium supplements work very well for many things, too, but are there American insurance plans that pay for it?
When you're in public what taps are you drinking from?
Show HN: I made an API to easily send custom notifications to your phone
Hey HN!

I’m a solopreneur, and in the last few years, I've built several projects. However, each time these projects took too long, so I decided to try shorter projects and avoid spending months on projects that won’t attract anyone.

When you have one project, it’s pretty easy to manage; you have your dashboard, you check your mail… But when you start having multiple projects, it becomes more complicated.

For example, I wanted to know when I received a payment from LemonSqueezy, and since they don’t have a mobile app, the only way was to constantly check my emails to see if something happened.

That’s why I created this project. Now, in my projects, I send notifications to my phone whenever a user signs up for my app or when I receive a payment on my webhook from LemonSqueezy.

There are, of course, alternatives to this project; I didn't invent anything. But I focused on allowing people to set up their notifications very quickly and keeping things simple. We don’t provide 100 integrations, we don’t have a history… But we do one simple thing, and that’s well enough for a majority of use cases.

Sidenote: PushBeacon uses PushBeacon to warn me when something happens, and I find it very satisfying.

Would love your feedback on this !

Téva.
that is very true but looking at PPP and demographics at least identifies the correct problem which is as you point out the problem of autonomy and capacity in key industries and strategic goods where the EU is dependent on foreign sources.

Given that I have, in the last week alone, read about a dozen articles about whether German workers have lost their will to work, taxes and regulations and whether Europe is impoverished this article is pretty important. The same has been true for discourse about Japan. Where the common narrative was that the country somehow has not grown in 30 years, but in terms of real output and adjusted for working age the gap even to the US is much smaller.
Yes, but with fresh unground beans.
> end up with git commit history which looks like London tube map

I've saved you a click. TFA has nothing to do with TFL beyond this line.
Given that LLMs appear to, in large part, "think" by virtue of feeding its own input into itself, people have consistently noticed that insisting that the model "think out loud" results in higher quality reasoning. i.e. "chain of thought" reasoning will contrast simply having the model answer a question directly with first having it write out things like:

- restating what it thinks is being asked of it

- expressing a high level strategy over what sort of information it might need in order to answer that question

- stating the information it knows

- describing how that information might inform its initial reasoning

etc...

I'd be concerned that going about this by having the model predict the next multiple tokens at any given time would essentially have the opposite effect.

Chain of thought prompting appears to indicate that a model is "smarter" when it has n + m tokens than when it just has n tokens as input. As such, getting the next 5 tokens for a given n might net worse results than getting the next 1 token at n, then the next 1 token at n + 1, and so on.
Even old image data is pretty useful. If they could make a 3d view that seamlessly integrated satellite, plane, and street level imagery into one product, it would be a much better UX than having to manually switch to street view mode.
Weed induced soda in vending machines sounds like a win to me.
They can enable a setting that forces users to complete a captcha before accessing the website. That should prevent all the mastodon requests from getting through.
> In the Ukraine war, a common heard argument is that Russia can manufacture more weapons than its GDP suggests, because of PPP.

You are still dependent on foreign inputs that are dependent on the Dollar or Yuan payments, and even domestic commodities and goods are impacted by global prices.

PPP in isolation is useless, and I'm honestly surprised Bruegel even published this article.
Is removing the GPL license from source code allowed by the license? The FSF owns the copyright to the license, not the source code authors. The license even states that they copyright the source code to protect your rights, does that mean by adding the license you're giving copyright to the FSF?
How much MitM is even an issue with link previews, rather than actual links ?
SBCL: New in Version 2.4.4
Fastfetch is a nice alternative
but thats desktop not mobile.

And when you zoom right into streets, storefronts and stuff are barely visible because they haven't properly integrated street level imagery.
In the UK they were initially created by the temperance movement, I ended up starting this wiki article years ago. Sadly many are no longer functioning https://en.wikipedia.org/wiki/Metropolitan_Drinking_Fountain...
> but all the information you need to perform such analysis is there.

No, it isn't, unlike C, in which it is. The C compiler can actually differentiate between an enum with one name and an enum with a different name.

There's no real reason the compiler vendor can't add in warnings when you pass in `myenum_one_t` instead of `myenum_two_t`. They may not be detecting it now, but it's possible to do so because nothing in the C standard says that any enum must be swappable for a different enum.

IOW, the compiler can distinguish between `myenum_one_t` and `myenum_two_t` because there is a type name for those.

Go is different: an integer is an integer, no matter what symbol it is assigned to. The compiler, now and in the future, can not distinguish between the value `10` and `MyConstValue`.

> Just like it isn't in C. You will notice this compiles just fine:

Actually, it doesn't compile "just fine". It warns you: https://www.godbolt.org/z/bn5ffbWKs

That's about as far as you can get from "compiling just fine" without getting to "doesn't compile at all".

And the reason it is able to warn you is because the compiler can detect that you're mixing one `0` value with a different `0` value. And it can detect that, while both are `0`, they're not what the programmer intended, because an enum in C carries with it type information. It's not simply an integer.

It warns you when you pass incorrect enums, even if the two enums you are mixing have identical values. See https://www.godbolt.org/z/eT861ThhE ?
GDP per capita per hours worked is an interesting metric, and highlights a significant cultural difference between the US and the EU.

But for me it's a little disingenuous to start taking cherry picked slices of the EU and comparing them against the whole US. If you ignore Mississippi, Alabama, Louisiana, etc, or just focus on the Northeast corridor or West Coast...no region in the EU comes close in GDP terms.
I believe cloudflare is just letting their requests go through and their webserver can't handle it?
But even then, system service developers don't try to 'own the whole world' so to speak and so they do need to play nicely with others. Mr. Poopering philosophy is the minute a dependencies maintainer becomes a thorn in his side - he absorbs that project into systemd. The distribution packagers follow like starving dogs on a hunt
Pats-Wheel: Passive-Transformable Single-Part Wheel for Robot Navigation [video]
From an ethical perspective, tech monopolies aren't a very good idea. However, from a purely economics standpoint, tech giants make up a not insignificant part of the US's GDP.
CDK looks like it definitely does do that!
I couldn’t understand the scale of this “fediverse effect”.

There is this quote:

> ” making for a traffic amplification of 36704:1”

Does it mean that posting a link on Mastodon generates 36704 requests to that URL?
Manufacturing is not a magical lamp that craps out guns.

It is merely a part of a value chain. Namely, minerals and petrochemicals have to be produced upstream. Financial GDP captures the ability to produce or purchase the upstream resources, manufacturing alone does not.

Now manufacturing capacity is illiquid, and it takes time to convert financial power to manufacturing capacity, see the Ukraine ammunition crisis. While manufacturing capacity is more war-ready.

However, China hasn't invaded Ukraine yet, because US choking off the sea lanes will be catastrophic for China's economy and offensive war capacity. Without trade, the factories have no resource inputs, and no markets to export to.

So in the end, financial power does slightly underestimate the hard-power benefits of manufacturing, but GDP (USD) should still be used as the primary determinant of hard power, not amount of factories built.
I generally agree except for the war. Personnel costs, energy, manufacturing costs, costs of specific weaponry used vary vastly across countries. Russia or China can deliver much more firepower per USD than US.
> Google uses texture mapped polygons instead of 3D Gaussians,

Time to switch I'd say...

Polygons are a poor fit, especially for trees and windows and stuff that needs to be semitransparent/fluffy.

I suspect the gaussians will compress better, and give better visual quality for a given amount of data downloaded and GPU VRAM. (the current polygon model uses absolutely loads of both, leading to a poor experience for those without the highest end computers and fast internet connections).
Close, AutoHotKey
>"PPP's primary purpose is living standard comparisons"

Which is the only thing that matters to people.

>"When in a war, you are buying ammunition and weaponry with USD, not PPP. When there's a energy shock, you are importing oil and gas with USD, not PPP. When you are in a AI race, you are buying GPUs with USD, not PPP."

Thank you for confirming the purpose of USD - make every other country into a servant.

Practically speaking nobody has attacked the EU country. Rather quite the opposite. EU also happens to have their own weaponry. And in a worst case they can just produce whole bunch of nukes and declare simple policy: do not attack us or else you will be nuked.
> Each sync in Polytomic is one-way

> But customers of ours doing two-way syncs

Could you clarify where two way sync fits in to the picture?