skysight-inc/HackerNews huggingface dataset:
Why is this entire thread pretending that nuclear power is cost effective, even in China? Um, it's not.

Great, China builds 150 nuke plants and all need subsidization to the wazoo. Go ahead.

The future of energy competitiveness is solar and wind buildout, because cheap power wins nation state economics.

I really hope China cranks out a somewhat-competitive nuke plant on LCOE cost, but I really doubt it. But they are doing a LFTR, pebble beds, modular, etc. Meanwhile solar and wind will continue to drop every year, this year's Lazard LCOE report be damned. Perovskites are coming, and sodium ion batteries are coming, and windmills keep getting bigger and better.

The real contribution of China is dropping the cost of solar and batteries to ludicrously low levels. Nukes? Whatever, have fun. If they iron out how to make a competitive hopefully-scalable hopefully-breeding nuke plant? I'll happily eat my words.
Sorry about the typo :-/
t-online told me I needed an imprint on the website that's reachable under my domain. Seems to be some misunderstanding of German law (German commercial websites need an imprint, legally, but t-online also apply this requirement to private domains).
The reason it works fine in a native app and not on a browser is that the browser streams documents over the network. It's pretty much the worst place to download large payloads on demand.

Native apps do not suffer from this problem, your binary can add an extra 20mb without much downsides
Exactly what I do regarding the structured approach. A 4TB hard drive is $100 on Amazon and fits a lot.
As proof that they are right, I'm not even going to open the article
Your front page still says “IE11 compatible”.
Maybe if we made LLMs out of steak people would stop thinking they were conscious.
Hello,

I worked on this little baby in the past months and I'm happy to share it with the internet :)

Currently, the features are pretty basic for now but I will add tons of nice stuff:

- Analytics for Redis/Postgres/Mongo/...
- Custom dashboards and graphs
- Custom metrics monitoring
- Security scan (CVEs reporting)
- Logs live streaming
- Remote process management
- ...

If you have a bit of time, please test it, break it, hack it, contribute, I really like to have any kind of (constructive) feedback on this project!
It would be nice, but how do we get this information required for the conversion?
There is a different answer here which is more satisfactory… which is to use notions of equality other than set theoretic equality. Which is what the article is talking about.
Ah, thank you. It does actually make some sense, having looked into it some more now (:

It looks like the approach of defining ℤ in terms of ℕ is much more tedious to deal with overall, so can see the advantages.
> There is an infinite chain of supersets of the rational numbers, real numbers, etc.

No you only do it for all the sets (of numbers) that you are currently working with.
> as it can apparently only be used for capitalism.

Care to show your working?

Many people, if asked to identify ways in which a hammer is used to build a cupboard, wouldn't conclude hammers can only be used for cupboards.
You're entitled to your opinion, but I think those were basic public health measures, fully justified. They ended when no longer needed.
>I have certainly crossed a threshold where hardware seems good enough. I do not need the 99th percentile performance if it comes with a non-linear increase in power consumption.

But this is how AMD, Intel and Nvidia have been pushing performance improvements to consumers every generation. To quote Darth Sidious: "UNLIMITED POWER!"
Nice catch. Now you also found buggy documentation / specification!
The Missing Web API
> It's annoying.

This seems very much like a problem you have created for yourself.
The Wikimedia Foundation has not decided this, the community of editors has, through years of debate and eventual consensus.
Maybe you'd find

Modern Operating Systems by Tanenbaum

interesting. It's not about Software Engineering in general, but will bring you many insights how everything works together and not necessarily is a book where you need to practise things a lot.
You want to start with simple, because simple will become complex overtime. Starting with complicated means it'd only become more complicated.

Simple is also relative though. No point preparing for Google scale, when there's less than 10 users a month. But, if the objective is something like discord, real time comms, then it'd be simpler to start with the correct language and framework for that use case.
> Whatever it is that allowed humans to accomplish things like that is a worthy basis of a distinction.

Probably due to walking upright and eating meat
Real simple stuff. Luring a cow over near a bank and then pushing her down it. Pretending there's some lush grass in the gap between trees. Nudging each other into the electric fence, or into the gatepost when going through a gate.
I'm really sorry, we had to temporarily disable it yesterday because we had some abuse from new users creating accounts in bulk. Please feel free to give me the email address associated with your account so I can directly upgrade you to a paid plan for free so that you can properly test the tool.
I can't read the article, but consider this:

He more or less solicited the creation of the Proximal Origins paper at the start of February 2020, while at the same time around Feb. 18th he was going around on Television making statements that "The virus wasn't going to be a problem here." He spent the Golden Hour making sure he wasn't going to be blamed for the emergence of the virus than he did making sure the virus wasn't going to be a problem.

NONE OF THIS WAS STUFF HE WAS MADE TO DO BY MARJORIE TAYLOR GREENE.

Here, see the video: [0]

I have the video from the month after that, where he says "Remdesivir is going to be the standard of care, I'm sure of it!" You know, the stuff he _didn't_ take when _he_ got the virus. But that he made sure was the only alternative for everyone else the first year. You can see them all by typing in "Fauci Remdesivir" in youtube.

[0]: https://youtu.be/Lhy2FgkP0Yw
There’s also a second reporting, from years later, on what some of the survivors have become.

It tells about the lifelong vaguely defined health impacts those exposed to the bomb had to live with, and how they tried to rebuild their lives after having truly lost everything and, for some of them, everyone.
I always thought that lack of "magic" in a programming language means that when (as a human) you read through source code you are able to reach the end of the program. Opposite to that, in a language that has "magic" you reach a point where you don't know where execution will go next without the help of the compiler (or a heavy duty IDE that translates for you).
I assume you mistyped, and meant "wiring". I don't think so: usually, the buttons will be on assemblies with many buttons together (such as the A/C control panel on my 2015 car), with a PCB inside and probably a small microcontroller to talk on the CAN bus, so in the factory, the worker only needs to plug in one electrical connector. That's really no different than a touchscreen system, which also would presumably have a single connector for the whole assembly.
Indeed, and you correctly used a plural thus reinforcing the notion that methods with an undue focus on singular right answers a particular teacher is thinking of aren't all that great.
Sadly, it's not just Go. Everywhere you look, some people argue that there shouldn't be a learning cost for anything. The problem with this kind of reasoning is that while it sounds nice in theory, it obviously isn't practical. It's the perfect pretext. The distinction between what's advanced knowledge vs. what's a given is totally arbitrary and is often a proxy for personal preference.

Passing around functions or using them as return values is a common pattern in programming. It's also not the kind of knowledge that needs relearning either. You learn about it once and move on. If this can't be considered required knowledge for software professionals, I don't know what can.
And a double 1.0 isn't the same as a rational 1/1. But I also didn't claim either of these things.
I'm reminded of:

1. a novice follows the rules because he's supposed to

2. a master follows the rules because he understands the rules

3. a guru transcends the rules because he knows the rules don't apply

There's no way to skip steps 1 and 2. That reference tries to skip straight to 3. It'll never work.
SAP has been doing this of late with wild pricing and customers are being pushed into a corner with forced upgrades.
> All this is to get back to the point that people want to audit the LLM before running the function because of the unreliability, there is hesitance with good reason.

some people - I think it's quite clear from this thread that not everyone feels the need to.

I'm now thinking requesting the LLM also output its whole prompt to something like a Datadog trace function would be quite useful for review / traceability.
What do you disagree with?

Traditionally, you define ℚ as equivalence classes of pairs of integers. The integer 0 is an integer, it’s not an “equivalence class of pairs of integers” and therefore it’s not a rational, in the set-theoretic sense.

Real numbers have lots more constructions.

https://en.m.wikipedia.org/wiki/Construction_of_the_real_num...
Again, without definition then anything measured against an invisible yardstick are just words on a page. Then again, the few months I spent living in Bakersfield CA, led me to question whether some or indeed most of the folks there were just low fidelity NPC's.
Well, Timmy, the gum goes on a magical journey of adventure and discovery, earning its MBA to become a middle manager in the marketing department.
I once watched a spider in a web have to rapidly run around it's web and scoop up it's little baby spiders to escape a flame that was coming close to it. The reaction did not appear to be some kind of mechanical automated reaction - it very clearly had awareness of the danger, and an awareness of it's offspring, and made a coordinated effort to rescue them and move them away to safety.

To me - as someone who is not a biologist or a professional in this field - this appears to be consciousness. I couldn't imagine anyone trying to argue against that.
Also bear in mind that I literally say that I feel bad to even contemplate that possibility. It just feels wrong to doubt a person who tells you such tragedy.

But perhaps that's how everybody felt and might be the reason why one could actually pull off such a fake story
Okay, so "app", not "device". I was wondering which other app or part of the OS would do that, since obviously Signal won't implement it.
It is simple concept - just because part of your business plan is to give out some stuff for free and then lock the users, it does not make you uncriticizable.

There is no reason to be thankful to Fandom in particular.
Cows are just big dogs
Guilty until proven innocent, an excellent initial position.

I’ve had to relax my SPF record to include the entire mail pool of my ISP to be able to send to anything hosted by Microsoft. I tried to liaise with them directly, and through Linode, but they refused to exclude the IP from their opaque blocklist. Their proposed solution was to change the IP of the VPS, but that’s just agreeing to play whack-a-mole with a bad faith actor.

There should be a path to greater transparency and accountability from the SMTP cartels, but I’m at a loss as to how that can manifest.
I think you're probably smart enough to answer that one.
Yes it was obvious bait mr 5d chess. Nobody looking at this thinks it is mysterious either.
Can quick commerce leapfrog e-commerce in India?
Rather than going after individual companies, seems like a nice solution would be federal legislation that says "All subscription services must provide: mailing address, email and phone number. Subscriptions can be cancelled by contacting the company through any method by including: a) request to cancel, b) name, email. Cancellation is effective immediately."

Companies seem to respond very quickly when you forward legal code to them that they need to follow.
Any tales from the trenches to share?
Yup.

This is why I'm despairing so much over Go's popularity after using C#/F# and Rust which have rich and idiomatic iterator APIs. Go implementation is plain ugly, flawed and, most of all, is going to be slow unless you write it in the most verbose way due to Go's compiler weakness.

There are languages that move us forward, Go sets us back by 20 years.
Okay, so not the device but the Signal app, as I already understood.
Blue Oak Council
You can work with infinitely many such sets at a time.
> Mario saves Pauline in Donkey Kong

Jumpman saves Pauline in Donkey Kong.
Scientific misconduct is already criminal. PROSECUTION of scientific fraud and embezzlement is easy.

Many if not most academic scientists are pressured into being criminals who don't respect wire fraud and other law.
Getting the right answer is important in many situations, such as that; however, understanding concepts and reasoning is important so that you can know how to get the right answer (and so that you can understand math, in general). However, there may be more than one valid way to do so (and the answer will be the same). For example, there is many way to prove Pythagorean theorem, factorial duplication formula, and other stuff; and shortcuts for making some kinds of calculations, etc.

(However, this does not seem to have to do with white supremacy; it is something else.)
> understanding concepts and reasoning.

Steelmanning "There is a greater focus on getting the "right" answer than understanding concepts and reasoning."

Correct understanding and reasoning leads to correct answers. I want my airplane engineers to understand the concepts and reason through them and not have a shallow understanding of memorized solutions.
so yes, to answer one of my own questions. I was only really saying that I don't really know any of those constructions; but know all the "preceding" ones.

I gotta figure out dedekind cuts or at least learn tarski's fixed point theorem which I'm sure that would allow me to much better understand tarski's construction

all in the slow lifelong process of understanding and learning to draw post's lattice

finally, to answer your question, I disagree with saying that there's funky business between ℤ ⊂ ℚ because of my alleged claim that there is at least one construction which avoids the problem you describe, but as I was trying to say, these would have a non-unique way to construct number zero which nobody likes
It literally is a statement of fact, because it's directly causal logic. You don't pick up animals which are literally capable of killing/maiming you, unless you think you know better and are fully capable of, in your words, you "knowing in advance" or "being aware of" when they're going to attack. The only assumption I am making is that people don't want to be maimed or killed, which I think is reasonable.

The whole risk and point of undomesticated animals is that you literally cannot know when they will strike. There are countless examples of people having raised all sorts of wild animals for many years with no incident, and then one day the animal simply kills them, or somebody else, for no reason.
Hackers Detail How They Allegedly Stole Ticketmaster Data from Snowflake
> In other words, if you want to work backwards and say that smaller sets (like the natural numbers) are a subset of the bigger sets (like complex numbers), then you have to pick a “biggest set” containing all numbers, which is unsatisfactory. Somebody always wants a bigger set.

Exactly what we did in the Analysis I course I attended during my bachelor: defined the reals axiomatically, and the N as smallest inductive(?) subset containing 0.

Satisfactory or not, it worked well for the purpose. And I actually liked this definition, if anything because it was original. Mathematical definitions don't need to have some absolute philosophical value, as long as you prove that yours is equivalent to everyone else's it's fine.
I am a guy who works with complex DSP algorithms all the time. I know how to get to things thinking in arrays with actual numbers. I can't say how often I decyphered some obscure mathematical hyroglyphs only to then be: "Oh that is what that means? I have been doing this for a while now, they could have described that with a sentence or two."

I get why mathematical notion looks like it does, but it sucks at doing a lot of things. That would be as if I tried to teach people a non-trivial piece of code by showing them the zeros and ones that make up the code and naming all important variables with ancient banylonian letters. Now sure, after a while the tiny fraction of them who wouldn't get scared away by this might also get fluid in a mad system like that — but if my goal is to make people understand the code why not reduce the tripping stones instead of putting some there for once?

I think mathematicians — similar to the people who didn't let themselves be scared away by zeroes, ones and babylonian letters — have become fluid at a system that they now defend, because they are the initiated magicians who understand it.

As a programmer I am aware that there is a difference between what a piece of code expresses and the syntax/representation it uses. To me mathematicians are like programmers who learned only brainfuck and refuse to consider trying out more appropriate notations for teaching purposes, because that's what they had to learn historically.
Also, I expect "green light" in this context means that it will make it on the EU Parliament's agenda, nothing more. That's still perilously close, but it's not done and dusted yet.
What is snowflake? I keep hearing about this randomly
wow, this is really useful!! Just the price list alone has given me a lot of inspiration, thank you
The Go designers were never against generics. They just didn’t want to rush a design in without careful consideration.

The real complaint should probably be “they took too long to decide”.
No funny notion of ⊂ at all, it is about how you construct ℚ, for example. You construct Q(ℤ), show that ℤ is embedded in Q(ℤ) via a monomorphism I, and then define ℚ as (Q(ℤ) \ I(ℤ)) ∪ ℤ. For example. You are right that nobody cares about how this works in detail. It does assume though some notion of ℚ and ℤ as collections, but not necessarily sets from ZFC.
It would be great to have a sorting feature by date, popularity, # comments, etc.
I can't speak for Buddhism but you got Hinduism wrong. Hinduism explicitly allows all Jivas to attain Moksha. There is an entire song on this called "Gajendra Moksha" where Gajendra (the Elephant) is caught by Makara (crocodile) and is rescued by Lord Vishnu, who grants Gajendra Moksha from Samsara. Another example would be that of Jatayu where Lord Rama gives him the status of his father (King Dasharatha) and performs his final rites, and then granting him Moksha. There are innumerable tales of animals getting Moksha in Hindu scriptures. Just provided 2 such instances.
I wonder whether we (as human) are merely the first species that managed to overcome initial barriers to developing culture and tech and thereby preventing any other species to do the same (for now).

It feels like bipedalism, opposable thumbs and strong social behaviour and other factores were the perfect storm at the perfect time.
https://news.ycombinator.com/item?id=29528665
What about letting people to learn about privacy in digital world in first place? Regulations take individual responsibility and create feeling of something is solved by government. But no one knows what exactly, how is it done and most important... Why.
I get so confused how these petroleum derived plethers are okay to be branded as vegan.

Its boiling the planet and directly killing animals through microplastics in the food and water.

In my opinion there is no generally available leather or leather alternative for shoes that are vegan.
Let me bore you with some stories:

Woman whom I met while being at uni one day calls me and asks for help with installing Photoshop - I ask her why she's doing that. She never was into graphics software and in fact, constantly needed my help with the true computer basics. She said she went to this photography course and the instructor guy ordered everyone to get Photoshop to fine-tune their work. I told her she should be careful because it's likely she'll be maneuvered into a subscription for a piece of software she doesn't need. I also mention Gimp but she refused as they were working with Adobe software only. Fast-forward to a year later: she unsurprisingly cancelled Photoshop sub. Prob with a help of her daughter boyfriend who become the personal tech support guy for the whole family.

There was also a case of finding her a replacement for trial Office she got with her machine with - she was familiar with Word for years. So I suggested OpenOffice and it worked pretty well up until some document formatting issues happen, which were resolved already in LibreOffice. I installed LO but she found its UI hard to use somehow, and in few weeks she opted to redo her papers with some cracked version of Office.

On a side note, I wouldn't be surprised if that photography course would be all about getting people trapped within Adobe software and the instructor would be paid for each head he managed to catch.

Then there's my closest friend: for years she was working with pirated Photoshop 7 up until it refused to work on her Win11 machine recently and she had to swap to a yet another pirated CS version. Same goes for managing photos and her drawings pieces - it's always ACDSee 2.xx with the commonly-known-serial-number. I suggested her Affinity giving the example of the woman from my original comment, but she said Photoshop was and is always enough for her and she wouldn't want to learn everything all over again in another UI. Tho, she's enjoying darktable and rawtherapee along with Stellarium for her sky-watching which I suggested her.

---

While two examples may be that much, I do believe being committed to familiarizing itself with software in early stages makes the switch harder later.

I do wonder if there are such study cases of how people get used to a new UI/UX or completely different environments... That'd be really interesting stuff to read.
Considering that Rust is the most hyped language (and e.g. topping SO surveys) out there, and I definitely would not call many things in Rust simple, I wouldn't be worried about simplicity being overly dominant
https://www.jwz.org/xscreensaver/google.html
In 2006, I had my first laptop right before the release of Windows Vista. Unfortunately, running Windows Vista makes my laptop hot and the fan kicked in to make a lot noise. I cannot remember the software's name which can reduce the core voltage of my single core Centrino processor. I was successful to undervolt the CPU to the lowest possible voltage. That cools down the CPU by a large margin, the laptop became quiet again (also stable). I was happy. The functionality disappears with the newer generation intel CPU releases, I had not been able to do similar thing ever since.

Back then, Intel had the best semiconductor process, and they had a wide margin on undervolting the CPU.
How would PetroDollar deal affect us? [video]
Consciousness must be mipmapped. It only starts to present at a reasonably close distance.