skysight-inc/HackerNews huggingface dataset:
> The "light source" today is the size of a 3-story house to get 250W on target. One of the main reasons wafer fabs now cost so much.

Yes, EUV machines are said to increase fab electricity consumption few times over, over regular UV steppers.

> There must be a better way.

The better way may well be worse. The alternative proposal is to build the whole fab around a synchrotron.
Curious how do you get away with it without anyone noticing. Doesn’t this imply rewriting the master branch? Wouldn’t that cause noticeable issues for everyone else? Or maybe you’re the only active contributor on that codebase (but then who else can you blame?)
I was reading the math on semi-trucks and charging times line up so well with union mandated breaks (at least one stop every so many hours of at least 30 minutes), I've got a feeling pure electric is going to work out well with semi-trucks (and maybe even something the unions will think a great overall win because it adds vehicular enforcement of union rules).

I still think hydrogen makes way more sense for ships at sea, maybe for planes (maybe not for dirigibles, though, hah), and probably as one of many "grid shifting" tools in the tool bag (converting excess wind/solar to hydrogen when it is cheap, and then reusing it at times of scarcity/grid outages/off-grid-festivals).

Though something was pointed out to me that while far down on the list of immediate greenhouse gas concerns, vastly expanding our production of Hydrogen and the amount that leaks into the atmosphere (and Hydrogen is so small we have no real good way to make a truly leak-proof container; long term storage of "hydrogen fuel" is a problem), it will have a lot of indirect impacts on greenhouse gases (including interrupting the chain process that converts most atmospheric methane to less harsh chemicals) and it's easy to forget that there are other greenhouse gas problems to worry about with respect to climate change beyond just "carbon footprint" and I know some scientists are increasingly of the angry opinion that Hydrogen was always a dangerous red herring distraction especially because while it reduces overall carbon output has enough secondary effects to worry about if it was a more common "fuel".
Yes, false media can be generated, much like 100 years ago when you could sign a fake signature or misquote someone in a newspaper. No idea is new, just new applications of the idea.

Luckily, we all have brains, and can use them to understand things from first principles. Listening to other people thoughts about what you should be doing is generally stupid. They aren't you, and they have themselves to look after.

Also, no freaking idea why you tangented from vaccines, to taxes, to fake media generation, but unless you pick a topic we are done here.
One reason that roughly nobody tries to redeem, other than the operational issues, opportunity cost of waiting for bank wires, need for a non-US entity, etc. is that Tether is usually trading at a premium to $1. So when there's profit to be had, it's usually by creating Tethers, not redeeming them.
Nope. We are friends from high school. He found PGs essays in 2009 and we started our first company together in 2010.
It's shape is really not all that different from the Soyuz descent and reentry capsule [1]. The distinctive appearance comes from it having a slightly larger diameter than the suborbital booster and the lack of a fairing and LES. On Soyuz, the latter hides the shape of the spacecraft itself [2]

1 https://www.nasa.gov/mission_pages/station/structure/element...

2 http://www.astronautix.com/s/soyuz7kt-ok.html
Both of them are much bigger than the existing ones (Fremont and Shanghai). They're also converting Tillburg (Netherlands assembly plant) to an energy manufacturing plant. And they're planning on building a plant in India.
This[0] may be a good place to start, but I'm not sure if it contains proper examples of what you say (of serious collapse). E.g., I expect a lot of people probably relied on the false result mentioned by Matheus, but most of them could probably be repaired with the corrected statement. So it seems like this probably hasn't happened?

OTOH, there was the Italian school of algebraic geometry, but that was more than one single flaw...

[0] https://mathoverflow.net/questions/35468/widely-accepted-mat...
The Insecurity Industry
Yes, Python and Ruby both have JIT compilers, but they do not operate in the same way that Julia's JIT operates.

Numba is a tracing JIT -- Julia does not do that. It precompiles a static CFG (as much of the CFG as inference can concretize) before runtime.

For the parts of the CFG where inference cannot explore call edges, special calls are inserted which allows the runtime to return back to inference when the types are known.

Julia does not have a fallback "tracing interpreter" at all, it's all compilation. When compilation occurs and how it occurs for any specific user program depends greatly on how abstract interpretation learns about the CFG.

As to your latter comments, they are all false as well. Julia does not recompile Plots.jl every time you make a change to your script -- Plots.jl precompiles once, and only recompiles if a method definition invalidates something which has already been precompiled. The specific mechanism/relationship which Julia uses to detect an invalidation is called a call backedge -- you can think of it as a relationship between callers and callees, but designed to handle multiple dispatch and the specialization that that entails.

The first time precompilation is slow -- because Julia is literally running type inference and then caching all parts of the CFG which could be inferred. But unless you doing things which would (in general) not be performant (like invalidating a ton of cached method instances) -- the full precompilation stage should never occur again.

But you asked for formal proof. I suppose I can't furnish this -- but can only give the operational semantics defined by https://github.com/JuliaLang/julia/tree/master/base/compiler. Good luck!
Well, at least Finder used to be good... before OS X.
I sincerely hope this doesn't turn out the way the announcements for Intel's 10nm and 7nm process nodes turned out. We were promised a lot of fantastic technology and got a lot of disappointment.

Even if Intel manages to adhere to this aggressive technological roadmap, it's still unclear to me what the market for x86-based machines is going to look like 3-5 years down the road. COVID-19-related PC sales are more of an anomaly than an actual trend; the knock-on effect though of that development promoting an embrace of remote work could possibly turn things around for x86, but I'm still left wondering why most people would want / need x86 when Apple's M1 chips clearly demonstrate that ARM-based solutions are not just sufficient, but potentially superior.
I use Evernote for this.

You can set it ot save a link, a screenshot, or content of the page. You can add tags if you want, and it is also easy to annotate it so you can remember the context better.
You can also add links to other post inside Evernote.

Pocket is also a great tool I used for many years.
Quite similar and different.

Both have browser extensions, so it is easy to clip.

With Evernote I even have shortcuts defined so I dont have to click for the webpage to be clipped.
Okay, so looking at your other posts, seems like you really love conspiracy theories and tying together any random coincidence you can without evidence. Not going to engage you in conversation again.
My last Linux kill was mixing up command that adds group to a user with one replacing whole user groups list.
This is where Tesla Coils come in. Just play Red Alert 2.
Clearly the solution is to mine Bitcoin with the excess.
We don't have absolute freedom in many areas because the law recognizes that the general public either is not capable of making informed decisions when that requires high-levels of skill or when there is a high likelihood of bad outcomes due to malicious actors.

For example, if you buy a car there are safety features you cannot turn off without major modifications. Dangerous tools often have safety guards built-in to the design — for example, my blender doesn't say it's my choice whether to keep the spinning blade covered. My bank doesn't say it's my choice whether or not to identify myself when making a withdrawal.

For most people, iOS limiting the damage when they get compromised is a huge plus. Removing that entirely in the absolute position is bringing people back a couple of decades ago only now the malware will have access to their most private moments and data 24x7 rather than just their Geocities browsing history.

Now, consider what that means for something like unlocking the bootloader. Allowing that means undetectable malware, potentially irrecoverable. There's not really a good way around that and even if you try to inform people at the time they enable it that doesn't help if it's done when the device is out of their control (abusive partner, boss, police, etc.), and every on-screen indicator can be faked by the malware vendor. That leaves options like a physical switch in a prominent location which most people aren't going to want to pay for or see, and are more likely to be used by accident than intentionally.
Most (maybe all?) of metrolink in southern california is not yet electrified or even entirely double tracked. 12m boardings a year before the pandemic so it still gets used.
Tesla (TSLA) releases Q2 2021 results
"if youre homeless, just buy a house"
Shut the fuck up, dumb nigger.
Sure, as soon as your Lexus does that with just an OTA update: https://www.youtube.com/watch?v=wD_mF0OLJPs
Yes, Microsoft which has been hating on Linux for almost 20 years since Ballmer days (despite moving .NET to Linux and releasing VS Code and building their own Linux distribution and becoming one of the biggest Linux server hosts in the world in Azure and building WSL and hosting Linux distributions for use on it) has just this week moved against the torrent protocol from 2001 which is famous for spreading Hollywood films.

What's curious is that Linux is used by reasonable people for sensible reasons, but mostly represented online by total conspiracy theorists. At least make your conspiracy believable that the MPAA lent on Bill Gates who used his contacts inside Microsoft to get a rule added to Windows Defender?
Do intermittent fasting diets work, and what are the challenges?
I think the charging situation is incredibly overrated. This really only matters for long trips. If you are someone driving 200-300 miles daily, it might be an issue, but at at the same time I can't imagine driving that long to stop for 30 minutes.

If you commute like most Americans (26 minutes), then you just charge at home and never think about it. I don't think people realize that most Telsa owners don't use public chargers.
Experts are not infallible, as you'd like them to be. Are you infallible?

Before Covid the prevalent opinion among experts is that masks require training to handle properly, otherwise they wouldn't "work". Mind you, they are then thinking about high contagion zones, like in hospital wardens filled with sick people. In such cases, even better equipment and proper handling is paramount.

It was unknown then that regular masks could help, but the consensus shifted during the pandemic as people needed better protection. So even cloth masks were deemed helpful, if just to somewhat prevent making others sick. Later studies found masks helpful, though distancing even more so.

Someone lied to you about this being lies, and not just shifts in consensus and measures during the pandemic. "Nobody" expected a pandemic, for example US pandemic response taskforce and planning were disbanded and defunded.
This reminds me of "The Tale of the Slave" from "Anarchy, State, and Utopia"
https://fee.org/articles/the-tale-of-the-slave/
> Time to add tariffs on goods produced by states who made the decision of going all-in on polluting power generation

This is why I think a carbon tax with border adjustment would be pretty awesome. The border adjustment is the bit that levels the economic playing field between polluting and clean countries.
> Anyway, despite the fact that error-correction is really hard, publishing actually false results was quite rare because "people's intuition about what's true is mysteriously really good."

I don't find that mysterious. One aspect of number theory is that results have arbitrarily deep implications and relations. If you are wrong about something you can often substitute it in somewhere else and produce a wrong answer or a contradiction.

Doing something wrong which still looks right after being tested from a few different perspectives is extremely tricky.

Like finding a pseudoprime for some probabilistic primaility test-- it's not likely to also be a pseudoprime for an unrelated test. So pretty much the only way to pass a collection of independent probabilistic tests is to actually be prime. (Note the 'pretty much'-- a bunch of approximate proofs isn't a necessarily proof, but it at least explains why false things are seldom believed even when their headline proofs aren't solid)

I don't just mean through different reviewers -- when you publish a proof of something you've probably satisfied yourself that it was true through multiple avenues. The proof you published was just the one you thought was the most convincing. Unfortunately, making an error in it can be something that makes a proof more convincing (until the error is found), but fortunately having an incorrect proof of something doesn't make the underlying fact untrue.
Looking at web browsers it doesn't matter how much reviewing and hardening you do, some of this just can't be 100% secured.
Inertia is always pictured as a "good thing", my (very limited and probably wrong) understanding is that when production drops abruptly because of a failure inertia of rotation based generators serves as a temporary battery to cover for the imbalance.

But what happens when demand drops abruptly in an inertia heavy grid?

Eg if some evil AI turn off plenty of IoT controlled electrical appliance countrywide at exactly the same time.

https://www.nrel.gov/news/program/2020/inertia-and-the-power...
I was in college and it seemed that the first IPOD was overpriced and just a "cool" thing to buy. There were other MP3 players that were cheaper coming on the market. But I quickly realized the risk is too high if AAPL continues to be popular even if their hardware is overpriced.
Yes, but it was more than that in the difference. It's that for many (maybe most) tasks, a simple pipeline-style parallelization makes much more sense than going through all the pain of map-reduce. If you've got five steps and five threads and a big pile of data, it can make a lot more sense to try to have each step running in its own thread and passing a processed chunk of data to the next step rather than having five threads trying to each take some chunk of data and process it through the five steps itself. Factories have done this since the 19th century, but most programming languages make it hard.
your "BTW" is still a huge area of argument in protein folding, the claim you are making is just one perspective and is not well-established.
If you never connect your phone to the internet, you probably don't need to worry about security updates.
It sounds likes you are describing synchronous condensers:
https://en.wikipedia.org/wiki/Synchronous_condenser
Well for one thing, the unscrupulous employee would need to have force push permissions to the origin repo.

Even if they they did, once they change the history change, other developers working with the repo would be alerted of the remote branch changing out from under them next time they try to pull. And even if the change doesn't result in a conflict, and each of those other devs blindly accept the resulting merge, the original authors' commits will still be in the history resulting from the merge. So if those developers ever pushed anything, the original commits would be re-introduced.

Now, it could be abused if a single developer inherits a project that nobody else has checked out. But it's still a high risk strategy for the unscrupulous dev.
Occupy Wall Street was a unified voice. Nothing was achieved because there was no clear goal.
Stupid horseshit from a dumb cunt. Go fuck yourself with your "white nationalism" fear-mongering and your Taylor Lorenz (another dumb cunt) links.
That is the fastest they can go, while EV vehicle demand growth exceeds that CAGR. When the 3 industry titans can only together drive ~15-20% annual growth, it is most definitely a struggle.
There is real need, and there are solutions.

NodeJS has a built-in DNS resolution API which is fully async / libuv-cooperative: https://nodejs.org/api/dns.html#dns_dns_resolve_hostname_rrt...

Other async runtimes bundle libs like c-ares to implement non-threadpool-based async DNS.

quoting the nodejs docs: "These functions are implemented quite differently than dns.lookup(). They do not use getaddrinfo(3) and they always perform a DNS query on the network. This network communication is always done asynchronously, and does not use libuv's threadpool."
For something more recent, Archegos was a $10bn fund and something close to $200bn in asset devaluation was associated with its collapse.
Intel to build Qualcomm chips, aims to catch foundry rivals by 2025
The Japanese also have a phonetic writing system, kana, which is at least as old as Hangul. But so much useful context is lost when writing in pure kana rather than the standard writing system (a mix of kana, Chinese characters and, occasionally, Latin text) that it's not really used exclusively unless context requires it (children's books, old video games, etc).
It does. There is less incentive to work on a Signal client fork if it can't be used to interoperate with the Signal service.
Thanks to WFH, i have been able to spend my child's 4th and 5th years in extremely close proximity to them.

I cannot put a dollar value on that, but if i could, it'd be really fuckin' high.
I think the only difference is whether something is officially supported or not. When it is officially supported, it tends to not break and has to run through a bunch of tests that ensure that std lib doesn't break with every programming language release. It tightly couples them. With off the shelf libraries, there is always a delay.

I also have an ideological take - I think of programming languages as a tool box and like a car mechanic, you want to have dependable tools that are robust, don't break and has good support. Basic algorithms and datastructures should always be included in the programming language - this is subjective but I firmly believe in it.
FreeBSD also has an excellent handbook (though it's not kept up to date as much as it should be). I use it as my daily driver OS since Apple locked things down too much for me and am very happy with it. The thing I like the most is that it's one OS that does things one way, not like the fragmentation of Linux where every distro is different.

But I use every OS pretty much every day :) I like it that way.

But I wasn't aware of Absolute FreeBSD very much (I probably have heard of it before as the cover looks familiar). Will definitely get it, thanks for the tip!
This is a very specific topic. There are plenty of topics where disagreeing with me doesn't mean anything.
Just like POGs. haha
Does this 'MIT licensed language and compiler implementation' face competition? Does it receive and act upon customer feedback?

Try replacing the word 'customer' with either 'user' or 'developer.'

A programming language is a product that is packaged, promoted, and distributed by means of open source to a target market of users for a price of $0. All the same rules apply whether we like it or not.
OpenBSD: Gnome3
How to install, set and use Gnome3 on OpenBSD!
Find me a saint who propelled car electrification forward 30 years in the space of 10 and we'll talk.
Negative Cash
> Were stimulus payments instituted to indirectly pay the companies that own hospitals?

No. But someone noticed stimulus payments were coming, looked up the debtors who owed amounts close to the stimulus amount and sent off aides to harass those people into turning over the money.
as someone not very familiar with ieee-754 I played with the linked interactive tool, and 0000000000000000 evaluates to 0.000030517578125 (2^-15), as biased exponent is -15 and mantissa is 0. So how do you represent 0 then?
It’s a behavior that makes staying there…difficult, and is one of the bigger reasons I’ve considered leaving.

To be fair, some of the mandates make sense. As a product grows and expands into new markets, and let’s just say that new market is a heavily regulated industry, and let’s say those regulations have major implications to the product, it takes a C-level mandate to get all groups on the same page.

While I understand it, it also puts product managers like myself in a difficult position. For now, I use it to structure my work between releases. But eventually it’s gonna raise my frustration at not meeting my existing customer’s needs to a level that I’ll need to work elsewhere.
"It seems like the author thoroughly misses the point of the unix philosophy."

Almost as if "unix philosophy" might mean different things to different people.

"The first thing you might notice ..."

First thing I notice is this project is 100% tied to Google, what with Chrome and Go (even for SNOBOL pattern matching, sheesh).

"... this design makes me feel like I'm searching through something that is authentically my own."

Except it isn't. It shuns the use of freely available, open-source UNIX-like projects in favor of software belonging to a company that Hoovers up personal data and sells online ad services. Enjoy the illusion. :)

Life can be very comfortable inside the gilded cage.1 The Talosians will take good care of you.2

1. https://en.wikipedia.org/wiki/Gilded_cage

2. https://en.wikipedia.org/wiki/Talosians
Website seems to be down, here's a mirror: https://web.archive.org/web/20210116152552/https://parallaxp...

https://archive.is/i8xhn
They're doing both.
> Or maybe it'd be better that China stops producing renewable technologies for the rest of the world?

I don't understand the dichotomy here. Is the argument that China's production of solar panels is a primary driver of China's pollution and thus cutting pollution in China would significantly hamper their ability to produce PV for the world? That seems dubious to me if I understand it correctly?
The most basic form of respect is to get someone's name right. Or at least make the effort.
Their market share in China keeps increasing. Europe market shares are stagnating because they don't have local production capacity (Berlin plant is coming online later this year). They had to export MIC cars to Europe only to maintain some sales. US demand is off the charts and it makes no sense to sell US cars in Europe if the US market wants them now (especially as the US market is extremely tight).

You can use sales as an indicator of success if they are still production constrained. Read the report, it's well explained.
You hit the nail.

Potential fab clients look now at Intel, and keep guessing what's been going on with both their 10nm process, and their fab offering for the last 5 years.

Now people keep seeing Intel setting ambitious new targets, and keeping missing them.

Would they bet their tapeout on a fab like this now? No.

The least worst thing Intel can do for itself now is to disclose what in the world was actually happening which led to the current situation.

They long missed the window when their leading edge offer can capture first few clients ready to pay any premium for it.
> this is intended to sound exonerating, until you realize that there is no such thing as a "federal poverty level".

https://aspe.hhs.gov/topics/poverty-economic-mobility/povert...