skysight-inc/HackerNews huggingface dataset:
There is a potential gotcha: proliferation potential. The naval reactors use highly enriched uranium; if it falls in the wrong hands, you can end up with someone being able to build a bomb. That's why I said such a program needs to be run by the Department of Energy, the same department that has to maintain the nukes. I don't have a personal objection to this, but a lot of people would be unhappy with an essentially military program to be established for a problem that is not military in nature.
> Still, start up opportunities will not be hyper critically different in the future than they are now. In the future you may not be able to have children.

This is not accurate for people with kids. A startup is an all encompassing job that pays very little in the short term and has a small chance at ever paying out a large amount. The opportunity cost of a real job is enormous.
waves and gets back to work
This is false. Safari and Firefox both have strong third party cookie protections that prevent linking identities across different sites.

At this point, the only way an ad network can tell that the same user is on Website A and Website B is if both site owners tell the ad network the current user's email address or other common identifier.

If both sites are opting into this, CNAME protections won't do anything.
Well sure. But while extremely rare is fine for aeroplanes, it's less clear that it's fine for nuclear reactors. So far we've been lucky that none of the big incidents have affected a major metropolitan area.

I'm not completely anti-nuclear. But it seems clear to me that it should be seen as a stepping-stone technology on the way to a renewables + storage future rather than a long-term solution.
Did a control-F for "kurzgesagt" and saw that it had not been mentioned yet.

I really recommend watching this short video which gives a really excellent overview of the dangers of nuclear power in the context of the alternatives.

The TLDW is even if a very pessimistic estimate of the dangers of nuclear power is still much better than a very optimistic take on the dangers of fossil fuels once you combine the effects of air pollution and climate change. That includes both Chernobyl and Fukushima.

https://www.youtube.com/watch?v=Jzfpyo-q-RM
> in JavaScript you have footguns like the with statement

I've been coding in JS on a daily basis for more than 10 years and today I learned there is a `with` statement in JS.

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...

Edit: well, seems like it's been deprecated/forbidden since ES5 (2009), so it makes sense I've never seen it.
> That's not the case at all, nuclear should be how we replace coal.

I'm going to nit pick

> nuclear should be part of how we replace coal.

There's no energy source that is a "one size fits all." Renewables and storage will better replace coal in some areas and nuclear will better in others. The point is that nuclear is not off the table and that experts can use said tool. It is about not tying peoples' hands behind their backs.
The decision to make C strings null terminated with implied length instead of length + blob continues to trip us up, 30+ years later. There's a good reason the "safe" versions of those functions all take length parameters. But way back when this approach was chosen, I don't think the state of the art could fully predict this outcome.

But also, "strings" and "time" are actually very complex concepts, and these functions operate on often outdated assumptions about those underlying abstractions.
> Feel free to name some of these experts.

Harvey Friedman and Steve Simpson have been quite vocal about it on the Foundations of Mathematics mailing list, for example. There are many others.

> What? Either whoever said that has no clue what they're talking about or you are misremembering their argument.

People definitely say this. See, for instance: https://mathoverflow.net/questions/90820/set-theories-withou.... And note that not just the questioner but also many commenters assent to that claim. See also the paper Set Theory and Structures by Barton and Friedman, starting p. 15: http://philsci-archive.pitt.edu/14633/1/2017_04_set_theory_u....

I will leave it up to you to decide whether they know what they're talking about.

> No, set theory doesn't allow you to prove that pi is an element of 4 - but it allows you to state it. And this is actually an issue in so far as that when you want to state actually meaningful theorems, you constantly have to make assertions about what an object is actually supposed to be. If you do this in a formalized, machine amenable way you just end up with a form of type theory.

I am not totally sure about the distinction you are trying to draw here. But I reject the claim that, properly understood, ZFC allows you to prove or state such a thing.

What ZFC does is allow one to reformulate all mathematical questions as questions about sets. So if I want to ask some question, like is pi^2 rational, then I can define Dedekind cuts, define squaring, and I know its truth value is the same as a certain question about sets of rational numbers.

Now, of course pi is not, philosophically speaking, the same as the set used to encode it. (And in fact there are many ways to do this encoding.) So one cannot even state questions like "Is 3 a member of pi?" in set theory, because 3 and pi are not sets. On the other hand, it is perfectly legitimate to ask questions like, "Is (the pair of natural numbers representing the number) 3 a member of the Dedekind cut associated with pi?"

> The main argument (from the point of general proof engineering) for HoTT is computable univalence i.e. being able to transfer properties along isomorphisms without the computation getting stuck which is a huge deal.

If my concern is studying the foundations of mathematics, I have not seen a reason why I ought to prefer HoTT over ZFC. But there are various reason to prefer the second, for instance the fact that at some point sets need to get into the picture anyway to give a satisfactory account (e.g. to define large cardinals to study the relative consistency strength of various theories).

If my concern is formalizing mathematics, Lean seems to be doing a much better job (see https://xenaproject.wordpress.com/2020/02/09/where-is-the-fa...). And HoTT gets something like 10x more attention than Lean does on HN. So I think "meme" is an apt description.
> however: the world we are living in is massively deflationary and even dramatic and innovative attempts to maintain (low) inflation are barely keeping us above water

That reflection isn't looking down at the surface of the water, but rather up at the air that we need to head towards to stop drowning. Monetary inflation is a large part of what's killing the middle class. All that offshoring was supposed to cause lower prices to compensate for decreased need for domestic labor. Instead a whole bunch of monetary inflation was induced to force everyone to keep working the same amount, at jobs that no longer exist. As long as the Fed continues with its maladaptive policy that is directly opposed to technological progress, most all productivity gains will continue accruing to the upper class.
Totally agree, which is why nobody is suggesting adding the background and reasoning behind the change to the source file as a comment.

They are suggesting adding a more informative error, which may include a subset of that background and reasoning. An error message that points you to the functions you should use instead is infinitely more informative than one that says “this is banned. Bye.”
>we waited 2k miles too long to change the timing belt, the whole engine was totaled.

Uh, if anything that is perfect engineering.
The US stockpile of HEU would be depleted a lot faster this way, but enrichment could start again. I don't see major downsides to this proposal. Thanks for providing a specific and plausible idea!
Most of the C I wrote was while in college. I think understanding the question, "why are strings in C hard?" is a good gateway to understanding how programming languages and memory work generally. I agree with you though that teaching C as introductory is probably not the best — our "Programming in C" course was taken in sophomore year.

I wouldn't want to use it my day job, but I'm glad that it was taught in university just to give the impression that string manipulation is not quite as straightforward as it's made to appear in other languages.

The early days of Swift also reminded me of this problem – strings get even more challenging when you begin to deal with unicode characters, etc.
How to get ready for a live stream (non -tech edition)
using a CNAME to allow third party trackers seems like a horrible idea... You risking exposing cookies and other sensitives data to some third party... I guess these sites don't care.
I agree in principle but think these security-focused C developers are focusing on the trees for the forest. Every developer having the responsibility of cultivating their own pet list of banned functions is, frankly, NOT the way to achieve security. Those things need to be enforced at the widest level possible (OS, or language) to have the needed effect.
True. I've been considering signing up for Ars Pro because I like their content, but haven't yet been able to pull the trigger yet
Does anybody have a way do something like this from Google photos to a different host? I really want a second copy of stuff on Google photos, and takeout is completely unusable for me.
I don’t think $6k/year gets you to working for free.

At least, it certainly doesn’t for me.
Simpl, browser extension to make Gmail UX again usable
Had you ever heard of these six books before today? Have you ever read them? How many were sold?

We've been sanitising kids books for decades now.

What version of Charlie and the Chocolate Factory do you own? The original with actual African slaves and the colonialist rescue narrative, or the later version with Oompa Loompas and the colonialist rescue narrative? What version of Edward's Sneeze from the Thomas the Tank Engine series do you own? The one that uses the N word and has a black face joke, or the one that replaced the N word but kept the black face gag?

There are like a million kids books published each year. We're not going to miss the few that have lazy, racist, stereotypes.
I found dead cells and hades to be entirely different games, at least in the sense that hades did not grab onto me and dead cells did.

Also, they don't actually make dead cells, motion twin does
This is essentially ecofascism and is not compatible with a modern free society.

I actually like humanity, and I want it to persist. Many of my best friends are humans.

(I'm not trying to throw around "fascist" as a cheap insult: this is an actual ideology, and "humans are basically a plague" is a core tenent.)
The other thing about radiation is it's highly visible / detectable, tiny tiny traces of specific isotopes stand out clearly in a gamma spectrum from natural background. It's a lot more detectable than normal air pollution because the background is so low.
Blast from the past. I loved turntable.fm and glad it's making a come back.
Well, you can't.
The neglect was largely associated with the fall of the USSR and their economy. While this should be a scenario we should be concerned about, I don't think it is particularly relevant to the conversation and certainly not a coup d'etat
Just checking, even though you likely know. The numpy arrays really only pay off when you vectorise your calculations. Don't expect any speed up if you're still using list comprehensions.

A vector operation is just where instead of having two lists, U and V which add to make W = [x+y for x,y in zip(U,V)] you directly operate on the arrays, W = U + V.

This allows the inner loop to be completely in native code. Sometimes some curious things happen where it's easier to do more vector operations resulting in more looping just because each of those operations is a vector operation and so is faster than the loop. For example, increment a number every time you see a particular element (time series breaking out subsequences) might look like np.cumsum(U == value) which is two loops in practice, but much faster than the iterative approach.
Besides maybe above the 98th percentile, data peering costs are very low that the physical infrastructure dominates the cost of service for residential users.

Since residential connects are over subscribed anyway, it is trivial to make users throttle during peak demand based on their current/historical usage.

If you use Cloudflare's costs and peering:transit ration from 2014 (which is almost certainly cheaper now); 1Mbps/month costs $8. [1]

1 Mbps/month is ~329GBytes. A 1TB data cap would be just ~3.1 Mbps/month costing $24.8.

I'd estimate that a last mile ISP could probably get an effective rate of half or less since connecting to end users/consumers is an advantage. And in a lot of cases, the same ISP offering residential service is also selling transit to other networks so in a way the data is already paid for by the time it reaches your local ISP.

[1] https://blog.cloudflare.com/the-relative-cost-of-bandwidth-a...
Just because they don't make it explicit doesn't mean its not changing. I could be wrong though.
None of the white people are presented in exaggerated, outdated costumes. It exaggerates the slanted eyes, the queue, and (in some editions) the bright yellow color.

Compare it to some of the deliberately-racist cartoons that Giesel drew during World War II:

https://reimaginingmigration.org/dr-seuss-political-cartoons...

This wasn't intended to offend, and I don't know how many people were offended by it. But if I were the publisher the similarities would distress me.
>> Essentially, as we gained more experience and learned more about the domain and customers' needs, we found more value in "the basics" rather than fancy ML models

Absolutely agree. Our current model evolved from some supermessy JavaScript scripts that from the outside looked like fancy ML/AI stuff.

I am talking about Financial Services.
For the same reasons it needs to be written about.
https://archive.fo/SLoqm
The article doesn't say how they know it's medieval.
Will do, and yes, you are correct. Shouldn't have gone into that territory.
> The OO model of just subclassing a common class is quite poor by itself. Scala and Kotlin have a 'sealed' modifier to at least recover the exhaustiveness check.

The natural OOP way to model an operation that must exhaustively be supported by a set of types is by making it an abstract method on a shared superclass. For problems where it's natural to keep the operations textually near each type, that works great.

Otherwise, yes, you'd ideally have some notion of a sealed family of types so that you can do case analysis with exhaustiveness checking. That lets you ensure all operations are covered when you program either in OOP or FP style.

Something I find odd is that FP folks often criticize OOP languages for not supporting exhaustiveness checking, but I rarely hear them admit that most FP languages don't have support for the other style that OOP does well, which is abstract methods.
Not doing what you'd personally prefer isn't a bias. Tackling a problem at several levels is perfectly legitimate; it's just that a paper about clean power generation would be a totally different paper.

It's a single paper. One piece of information that's small enough to be digested and connected with other work. And frankly, if the result had been that each $1 created 1¢ of costs, you'd be celebrating it. Your only real criticism here is that you don't like the result.

If you're so concerned about the root cause of power generation, go focus on solving that problem.
What does "I know I am experiencing" actually mean? Can you define it in concrete terms? How would it differ from "I believe I am experiencing," or "I see myself as experiencing?" I think subjectivity is fundamentally unexplainable and does not require an explanation. I also think a belief in subjectivity is indistinguishable from the actuality of subjectivity. You believe you have subjective experience specific to you. Despite the fact that subjective, experience, and you is undefined apart from the functioning of your mind, i.e. the program running on your brain. Therefore if consciousness == mind why not just call it that? Mind can be broken down into various functional components. Why do you believe you have conscious experience? Because that is the way your mind is wired and that is what that word means to you at this point in space time. Is this indistinguishable, objectively from an illusion? I say no. If you say yes by what criteria would it be distinguished? If we define "illusion" as perceiving something as different from what it actually is, does the existence of an illusion require a "conscious" observer? I would say no. Now, as an aside, an astute reader will see in another comment I said the existence of this particular universe as a collapse of a superposition of universes may depend on consciousness, by that I simply meant a certain degree of information structure resulting in structure perceiving itself, not necessarily subjectivity.
https://news.ycombinator.com/item?id=26300139
This was the thing I misread first time around.

If you look at Table 1, you see that the models manage to train almost 100% correctly on the randomized labels, but crucially the control test score is down in the 10% region. This is in stark comparison to roughly 80-90% test score for the properly labeled data.

So it seems to me that when faced with structured data they manage to generalize the structure somehow, while when faced with random training data they're powerful enough to simply memorize the training data.

edit: so just point point out, obviously it's to be expected the test to be bad for random input, after all how can you properly test classification of random data?

So the point, as I understand it, isn't that the randomized input leads to poor test results, but rather that the non-randomized ones manages to generalize despite it being capable of simply memorizing the input.
> I know that jokes aren't really welcome on HN

IMO, while I really don't come to HN to find dial-a-joke, or joke-of-the-day, I think some humor is essential in modern life.

Since we're talking about Matt Keeter, you will find he has a great sense of humor if you read his website or interact with him. Some of his jokes are ROTFL funny, but subtle.
Given it's confirmed Signal production servers run features not seen in this repository, we can safely label Signal as a closed source application that happens to have an abandonware repository of old code.
Can you give few examples "baker" products which have scaled to really large scale? I always see it as everybody starts as a baker but over time it becomes a sliding scale.
Let Me Share My Screen Okay You’re Looking at My Savings Account That's Not Good
30+ years -> 50+ years

Funny mind thing to forget to increment counters each year.
Tintern is a beautiful place, and Tintern Abbey is particularly so - plus it has an amazingly rich history.

See: https://en.wikipedia.org/wiki/Tintern_Abbey

Edited to add - Nice set of photos at the bottom of this page:

https://medievalheritage.eu/en/main-page/heritage/wales/tint...
100Million-Year-Old Seafloor Sediment Bacteria Have Been Resuscitated
I find it a bit odd that an unlimited plan gives you peace of mind. An unlimited plan is never truly unlimited, and unlike a quota'd plan there is always a very real risk that you'll end up having the rug pulled out from under you.

I pay £2.49/month for 200GB which would cover your usage for cheaper. Or you can 2TB for £7.99 which would mean you'd never have to think about storage.
If anyone's trying to make that a reality, I just want to say I'd much rather download pizza.
Marketplaces are great, but the lending product would be to the businesses on the marketplace. Not the consumer side.
This is a very cool feature, but I’d love to see it extended to where the email you send was also made public at a permanent URL when you CC or otherwise include the world alias (open letter functionality).
One important tip that I’ve found useful with CSS: read the whole MDN page when you’re looking up how to do something. I feel like my knowledge has increased dramatically just by doing that and it’s only a minor diversion.
Hey, it looks nice! But, are you required to be running JACK? I mean, isn't this routing capability part of the PipeWire's core?
But I don't think that's fully correct -- my understanding was that the Antarctic runways do not have instrument precision approaches. GPS etc. gets you to the airfield approx. location, but the landing is done visually.

Or am I recalling incorrectly? I seem to remember this from an Air & Space article or National Geographic or something similar.
Similar like 5.37 seconds and 5.53 seconds ?

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...

:and:

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
AFAIK those players are all consumer lending services. Ie, I want to buy a Peloton, and spread it out over 36 monthly payments.

This sounds more like business short term lending. Ie, I have 100k in orders, but need 20k to buy materials up-front. Or I have 100k in outstanding payments due in 30 days, but I'd rather get 95k right now.
Arguably naming it with “str” is itself a security vulnerability.
Exactly. I had a bunch of servers on that ship sent from Norway by truck.

OpenStack and Kubernetes coming to Troll this season!
Great. For the moment you can only redirect them to a url, but replying back with a pre-written emails sounds like a very useful option. We'll definitely look into that. Thanks a lot for the feedback, I really appreciate it!
Still missing Google Photos as offloading service. Which seems blatantly illegal.

p.s. I'd love to use iCloud if it wasn't so slow and buggy (watching old videos on Mac is basically a chore).
Thanks for the reply.

It's true that Facebook the company is an emergent entity, and that the companies behavior and "wants" don't necessarily match those of its employees.

I disagree with the claim that "any technique you might use will obscure what's really happening in one way or another."

RCTs that measure self-reported wellbeing and other engagement-independent measures of mental health do not obscure what's really happening. Techniques like this could be used to actively improve user health, even at a cost to engagement.
I can't find the article for the life of me. From what I can remember, it was soon after the disaster, something came out about another plant that was "hit" by high waters as well. The difference was, their seawall was stupid high. One of the civic engineers during development fought tooth and nail to build the excessively high wall compared to what the gov building code was. If I remember correctly, it ended up being only a two or so meters taller than the tsunami that hit them. The engineer had a really baller statement in the article about how bureaucrats are useless and shouldn't have an opinion when it comes to life safety. I wish I could find it.
Having both Python (https://github.com/tprest/falcon.py) and C (https://falcon-sign.info/impl/README.txt.html) seems good enough for a PoC. Usually you only get one implementation :)
Livestream from Iceland
Ok, memcpy(dst, src, strlen(src)) it is then!
I don't think this works in any savety relevant industry
or there are not many proper organizations.
Most regulations are a response to accidents.
While those USSR generators are indeed nuclear-powered, they use a completely different method from nuclear plants. They simply convert the decay heat of a radioactive material into energy, and as such aren't subject to any drastic reactions such as meltdowns.

More info: https://en.wikipedia.org/wiki/Radioisotope_thermoelectric_ge...
Couldn't' 'seeming more fragile these days' be a part of copycatting, in that if person X got offended by something, then these addicted-to-social media-types copy the behaviour...and then some?