skysight-inc/HackerNews huggingface dataset:
> Last time I looked at ipv6 I couldn't even ping an ipv6 host by doing "ping 1234::5678", I had to run a separate tool (ping6)

IIRC, it's been over a decade since the "ping" command became able to understand both IPv4 and IPv6 addresses; it was only during the early adoption of IPv6 by userspace that we had separate commands for the new IPv6 stuff. Quoting https://www.man7.org/linux/man-pages/man8/ping.8.html "As of version s20150815, the ping6 binary doesn't exist anymore. It has been merged into ping. Creating a symlink named ping6 pointing to ping will result in the same functionality as before." So it seems it has been a long time since you last looked at IPv6.
Bytebase: CI/CD for Databases
I don't see how the demolition price has any relevance at all in determining the insanity of what's going on in this case, even if it was free, they're still without a building they purchased, and thus the situation is still insane.. Even if they were offered $2k on top of it being free, it's _STILL_ insane, because it's property they bought in good faith and any circumstance where they have paid for something and then being ordered to demolish it, is insane.

And frankly, putting the focus on the price they quote makes your comment read more like "Oh, it's not actually that insane, they can get out of it cheaper". No.. It's still insane.
Well, yes, just like I learned k8s but still know iproute2 and I still use tcpdump and curl despite knowing how to debug http requests using the web console

And I still manage ipsec tunnels and NAT and I still have to know things about OSPF, even tho I learned BGP more than 10 years ago

In the real world, you cannot simply replace things in the blink of a eye. This is not possible unless you are working in your own, fully-managed environment, never talking to other people (which is a good but scarse position)
Let's be a little more concrete: do you think FormalGeo [1] is a big deal? I think it's very cool but ultimately not useful in and of itself. It's only useful insofar as it shows AI capabilities advancing in general.

Let's suppose we had an AI that works roughly like [1] but for the kind of mathematics done in Lean's Mathlib, and that was on par or better than humans working on it. Would that AI by itself be commercially useful?

Again, of course having such an AI implies a major jump in capabilities and it would most likely mean useful AI can be trained with similar techniques. But that's not what I mean by the system itself being useful. If all you're saying is that such an AI demonstates we can now probably build AIs that do things which we usually say require "logic and reasoning abilities", I completely agree.

Maybe I'm splitting hairs too much here. However, it could well be that such an AI would be useful by itself. I just can't think of much besides a major advance in the formal software verification niche, which still almost nobody would use...

[1]: https://github.com/FormalGeo/FormalGeo
I checked what my feed reader does. It seems that it typically gets 304s (I send both If-None-Match and If-Modified-Since) but still about half of the requests get 429s.

So the request pattern basically looks like:

1. Get 304.

2. Wait 5min.

3. Get 429.

4. Error backoff evenly distributed between 30-60min

5. Go back to step 1.

So I guess 5min is "too fast" even for conditional requests. However the reason my reader picks 5min is:

1. There is no caching headers to suggest the author's preference.

2. Conditional requests are supported.

3. The feed is fast.

4. The feed is popular.

5. The feed is active (posts every week or so)

Sure, for her feed it could probably be lower but how is a robot supposed to know that? I would highly recommend setting a cache header. That gives an automatic signal of when the last fetch should be considered stale. I'll admit that many feed readers just use a fixed schedule, but many will still use a library that accidentally caches requests (maybe the browser extension readers that she was complaining about would?). For my feed reader we won't poll more often than your cache header (Cache-Control or Expires will both work) unless it is more than 24h in which case we will poll no more frequently than daily. If you just post blog posts about it it is never going to change, it is better to start pushing for broader support of an actual protocol that could be implemented.

Another great option is supporting WebSub. It is easy to get set up with a public hub and then readers that support it will poll very rarely. (Mine will poll weekly.)
That sounds like the wrist bands will auto-off their light when they stop receiving the IR signal. That's certainly possible and very simple which translates to high reliability.
Are there studies bearing this out? I and many of my friends have been part of them at various points and have had tens of thousands of dollars of care provided through them.

I've also had both experiences that correspond to and directly oppose your take on the church donation plate, so I'm curious if you're aware of data about this, or if we're just comparing personal experiences.
Welcome to the "new & improved" Scientific American.

I was a subscriber from ~1972 to ~2000, and kept my old issues. Folks have told me that even in '76, SciAm had been heading down for a long time.
What do people on HN use, and why? Box, underline, vertical bar? Flashing or not?
This is really cool! Would definitely purchase if it becomes commercial.

Does anyone on HN in/close to the materials space know what kind of timeframe it could take for this sort of thing to move from research development to industrial production?
What I find most interesting about this is that a lot of supposed "smart" algorithms of Big Tech are in fact a patchwork of "dumb" rules rules and human-picked winners. This would explain why the quality of search results is failing to keep up with developments in LLMs.

This also explains why it's impossible for incumbents to unseat the winners in many search categories -- because they've literally been picked as the winners by humans at Google.

Looking at my Twitter/X feed, I also see an oddly similar dynamic. Certain accounts appear to have been manually boosted, showing up all the time -- whereas others posting even the same exact content will never appear.

Silicon valley will loudly tell you all about how wonderful they are at "democratizing," however, if you look under the surface it appears they're just hand picking the winners.
A more dry Europe is concerning; Portugal seems to be wet as ever, but Spain's drought is not abating and would be not great if it worsens.

https://apnews.com/article/spain-drought-barcelona-climate-b...

https://www.npr.org/2024/02/18/1232301986/in-spain-a-years-l...

https://www.euronews.com/green/2024/04/03/spain-on-track-for...

https://fortune.com/europe/2024/04/19/spain-drought-barcelon...
Yes, Mozilla is very corporate. These days it's primary design considerations are about executing javascript to buy things or watch DRM media. It's use cases cannot allow for it being a web browser for human persons. It uses cases are all about commerce now. But there are fine Firefox forks that split off before it just became a chrome copy.
It's "mostly static". I just tell my CDN to cache HTML for 10min. This makes the origin server load trivial but still makes updates go live fairly quickly.
Vacancy rates should be lower where the total inventory increases and people’s ability to predict the market increases. That’s also going to be places people want to live.

Consider a city of 10 million people vs 1,000 small towns of 10k people. The variability for demand in those small towns is higher and vacancy rates can’t drop below zero. So some towns hit 0 while others might be 20%. But in a city if some apartment complex is full people just go to the apartment down the street.
> Researchers like Jaime Sevilla and Jess Riedel support this timeline, publishing a report in late 2020 that claimed a 90% confidence of RSA-2048 being factored before 2060.

I am skeptical. 36 years is a long time, but in the past 10 years there hasn't been much progress:

year 2001: factorization of 15 (IBM)
year 2012: factorization of 21 (University of Bristol)
year 2019: factorization of 35 attempt, failed (IBM)

https://en.wikipedia.org/wiki/Shor%27s_algorithm#Physical_im...
OpenAI's former superalignment leader blasts company
The poor have much less to lose and have probably accepted their fate. The rich are always thinking of how to get richer without loosing it all.
While that's an interesting argument I don't this applies to the Fe-60 isotope. I don't think we know of an energy production process (fission or fusion) that would result in Fe-60 as a byproduct which would cater to the Silurian hypothesis.
Especially in the quantities and locations discovered. Hence I think their assumptions - of looking for natural places where the isotope is forged - in this case are valid.
Yep :)

I saw a recent "podcast" on Portugal reality from a business side perspective about this, the calculations are simple (numbers inaccurate but up to scale)
- Around 2005, you could build "up-to-code" houses for around 1000€/m2
- Now, you build "up-to-code" houses for around 2500€/m2

The purchasing power has not increased 2.5X so housing now it's less affordable.

His overall comment is that now we have "Nordic" (richer) construction standards but we still earn Portuguese (poorer) standards.
The fact that you’re looking at this in terms of wealth and not even in terms of cultural heritage is revealing. Would you rather an Egyptian use the Rosetta Stone for building materials than a French scholar use it to decipher the hieroglyphs?

> Or why only ancient world, let's treat the Modern world like that as well. And then let's distribute the wealth.

This might be shocking to you, but not only am I opposed to blood-and-soil ethnonationalism, but also communism!
It's much worse, because even if you detect the malwar after a few hours it's still enough for it to steal all your past recording.

But to be honest nobody in the malware world cares about your screen unless you're a president or CEO. They will just steal your passwords, and either encrypt your disk or use you as a residential proxy.
Thanks! Seems like grassroots effort, nice to see people banding together for green :)
On top of that, some networks like Spectrum already report all the MAC addresses that are connected to it remotely to the Spectrum database, instead of just on your network panel locally (because there isn't a Spectrum network panel anymore, only the app). This means that a nation state (USA) can see real time minute by minute who is on that network, and recent devices on that network because Spectrum designed this in their firmware.

You can check yourself from the app:

Services > Devices on Network > Manage

And it will show all of the MAC addresses connected, and recently connected. Even remotely if you are not logged into your network.

You also can see the *plaintext* password to your router from this app.

Services > Your WiFi Network

Which means a nation state also can remotely login to your network without you knowing, and otherwise is bad for security if passwords for millions of homes are plaintext.

---

Moral of the story is that even if Apple eventually fixes this, the other side of the tracking that nation states could do could be done at the ISP firmware level. To solve this kind of attack, either allowing open firmware or new legislation is the only to stop this. (Which when has privacy legislation ever happened... is another question for another day).
There's something ironic about activists behaving like they somehow have the right to just be in people's way. As if the ends justify the means.
> Can we turn C into a new language? Can we do what Lisp and Forth let the over-eager programmer do, but in C?

Show me an example where you turn the syntax into prefix notation instead, so turning the hello world example into (or something similar):

(def main (displayln "Hello, World!"))

Then I'll believe you :) Otherwise it just looks like another flavor of C
So let's put "AI" on the same shelf with "self driving" at least for the time being.
"A few of these are probably faked, but the majority I could either replicate or were verified as real"

This is from someone who goes on to lament the enshittification of the internet.
You because you didn’t have to come out of pocket the high cost of a down payment, handle maintenance costs, deal with the risk of mortgage default if you lost your income, deal with the possibility (and thus hold insurance for) of liability if someone is injured and sues, or lose out on the opportunity cost of money spent on the house versus what else that money could have purchased. To say nothing of you don’t know what their interest rates are, how property taxes or cost of home owners insurance may have changed (in the U.S. your escrow payments change often if taxes and insurance change) or how liquid the house is (ie could they sell if they needed to and at what discount to the market value).

Oh, and don’t forget that they’re paying interest on the mortgage and that - when adjusted for inflation - the actual increase in value versus what they’ve paid in in mortgage interest over the years is probably far less than the non adjusted gains it looks like.

It’s pretty easy to demonize owner landlords when you’ve always been a renter because you think only about a monthly payment. I’m not going to tell you that’s it’s a relative luxury to be fixated on one simple payment each month, but it’s also not the case that owning a home as an individual is some kind of pot of gold.

An owner that values their tenant and keeps their rent flat isn’t a saint. But they’re also doing a good thing in a time when they could be - by account of this thread - exploiting people for as much as possible. We don’t need to order them a parade, but it might be worth broadening your understanding of what the cost of a home is before you blanket assume they’re worthy of scorn.
There are a large number of "C but better" options, where the direction of "better" varies. Examples would be Go, Zig, Rust, each a different "direction" of better, but generally better.

Anyone thinking of trying this I would advise against going to C directly. The footguns are dangerous enough as it is and are arguably even more dangerous if you're coming from a more modern language that if you came at C directly. You don't need to go this far back in time to have these things.

But I do strongly agree that anyone who has done nothing by dynamic scripting language development should pick up a modern static language and learn how to use it. I consider having at least one of each a basic tool in the well-rounded developer's toolkit. And if you're still running on 200x-era arguments about the advantages and disadvantages of static versus dynamic languages, as many people are, you're going to be pleasantly surprised by the modern static languages.

But you won't be pleasantly surprised by C. Most of the arguments developed for static vs. dynamic in that era were really about dynamic versus C. They all still apply; C qua C has not moved much since then.

(Maybe you could justify C as "closer to the metal" but in the modern era personally I'd recommend just going straight to assembly for orientation and a tour. You don't have to dive super deep into it to get the sense.)
It's also obvious and it's hacky. Frankly I'm stunned this hasn't been tried yet. The people thinking this is a stepping stone to More Intelligence are missing the forest for the trees.

Deep learning is always and only ever about representing data abstractly. The more abstractions you can make irrelevant (why would you have to learn how to do math when the base-10 perspective on ASCII-digits is already provided for you?) the more you've biased your architecture to readily learn and understand the problem space.

Intelligence doesn't exist where Divine Creator gave you access to this or that faculty. It's developing those faculties yourself by reasoning through the process of composing your own mental model about the problem.
The energy density of liquid fuel is pretty hard to beat. There are many efforts to manufacture a carbon neutral gasoline substitute
Show HN: I made a site that helps you plan your travel itineraries
Like the other comment said, a IPv4 /24 is the smallest that can be used. I would recommend an IPv6 allotment as /48 is the minimum size as a /44 allotment (largest you can go while staying at $250/yr) is the way to go. Graphic below.

https://www.ripe.net/media/original_images/IPv6Chart_2015.pn...

ARIN also has requirements. You can't get IPs without dual peering and you may need to justify your use case with them. They do have experimental options but are very friendly to help you through the process.
Not a website per se, but https://datasette.io is very rich in features. Hopefully not off-topic, but related.
For some programmers creating code is a write-only activity, and LLM is only building on this attitude.
Any better way to ask this so it is more popular? As AI emits more and more carbon, should there be also more posts on HN regarding sustainability? Balance is good?
It makes sense because both the starter homes and the larger homes appreciated. I'm not sure why you say "why would only homes on the low-end appreciate" when the example talks about two different classes of homes.
one can easily miss the linked examples, here are the links from the GTFL page:

http://www.martin-loetzsch.de/gtfl/application-example-1/

http://www.martin-loetzsch.de/gtfl/application-example-2/
Exactly! That post I think perfectly encapsulates the typical line of thinking here.
Exactly, unless she expects every reader to configure the polling interval for her blog this isn't a good solution.

I would highly recommend she sets `Cache-Control: max-age=3600` or something similar. That is at least a method that can automatically be applied. Sure, right now most readers just use fixed intervals, but further support for this is a standard that can be pushed slowly. Plus some readers probably use HTTP libraries that would automatically cache the response so some clients will accidentally have support.
This sounds like a coping strategy with a bit of “trust me bro” sprinkled in. I would hope Rubyists and shitposters don’t form a Venn diagram but here we are.
An LLM is just summarizing bad information.

You cannot make this claim without evidence that the LLM primarily used poor quality SO articles. You don’t include an assessment of all of the other sources. Other sources could include properly functioning open source code, for example.
It's not the vendor. They were incredibly stateful and opaque which caused numerous problems.
I have a long range Model 3, I can assure you that you cannot drive from Phoenix to LA, charging just once. According to the Tesla trip planner, it’s two stops. One in Quartzsite and the second in Indio. When I do the drive, it’s typically three stops, or I arrive at my destination completely empty.

Even with the Model S, the trip planner indicates 2 stops.

https://www.tesla.com/trips#/?v=MS_2020_LongRange&o=Phoenix,...
Is there a way to filter out articles that are pay-walled? I know this is unrelated to the article but I’m curious as I’m tired of clicking on links and being unable to read them.
IIRC none of those uses of shor's algorithm were real (well maybe the 2019 one was, but that failed).

There's a threshold you need to reach for quantum error correction to work and we are approaching it pretty steadily on a log scale.
I am quite confused by all the different benchmarks. If I want to add 1000 float64s accurately and as quickly as possible, which method should I use?
Cockroaches wouldn't exist without humans
Please define what you mean by "real death" in terms of objective clinical criteria. Are there any recorded cases of a brain dead patient who later recovered consciousness?

In the end we are all expendable, and whether we live another day doesn't really matter. I think some people forget that reality and get too wrapped up in their own survival. That's not to say we should just give up, but at some point it's time to move on.
I'm going to assert that a key component in being rude is being offensive. And I think that being offensive needs to be separated from someone being offended.

Here's what I mean. I've got some distant relatives who think I'm being rude because unlike them I don't get into an escalating argument with my wife over trivial things at family events that cumulates in a shouting match.

I'm absolutely breaking their social norms by having a positive relationship with my wife and they're definitely offended by it. However, to say that I'm being offensive or rude robs those words of their meaning.
LLMs are going to get a headache with that repo.
(Mostly) Deterministic Simulation Testing in Go
I suppose you've fundraised at some point in the past 13 years. If you have, the advice you probably received was to start with the tier 3 VCs, hone your pitch, and move on to the VCs you really wanted to work with once you had your pitch nailed.

The same principle applies here. The more interviews you do, the more comfortable you'll get, the better it'll go. And who knows, it might work out with one of the first companies you interview at!
Neither Phoenix or LA are cities where the average person would be happy without a car. Sure you could take a train and rent a car at your destination, but that’s adding many hundreds of dollars to a week at the beach.
>> At the end of the show, they sent a special command that switched it over into "color organ" mode so you could hold it up to your stereo at home and see a trippy light show!

That is one of the most awesome things I've read - a company making an attempt at increasing the usefulness of the product after it serves their intended purpose. Such a sharp contrast to the norm of bricking things that might be useful to people just because the company in no longer interested.
It's been a decade since I was last around SEO experts - but my impression is that "NEVER trust Google's public statements, ALWAYS experiment" was SOP even 20 years ago.
You can store the JWT in a central database and use it in the same way as a session token. And you can put a revocation URL into the claims. But JWT has still the null cipher problem.
The sort of thing your parent is talking about is being presented to the committee as an example of things that need to be considered, so it appears to be a serious enough issue to at least seriously discuss.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p32...
S.1669 – AM Radio for Every Vehicle Act of 2023
I love this idea and made a little MVP for it: https://github.com/alabhyajindal/local-webapps

There's a demo video on the Readme with setup instructions.
Yes, it is bad. The distribution of wealth determines the distribution of resources. The housing stock is limited. It ends up being mainly owned by those with a lot of money, in the process putting prices up beyond even what the middle class can afford. Building new houses won't fix this as the new houses will end up being owned by the rich as well.
> Since Mary is older than someone who is younger than Donya, we can conclude that
Mary is older than Donya.

Unfortunately, though, this reasoning is just wrong. If Mary is 30, Kristin is 20, and Donya is 40, then Mary is older than Kristin and Kristin is younger than Donya, but Mary is not older than Donya.