skysight-inc/HackerNews huggingface dataset:
No, you learn history.

Where is solar? A factor of 200 cheaper than it was then.

Nuclear has NEVER shown that kind of cost improvement. Its costs have stubbornly refused to fall. That alone marks it as a doomed technology. The only question was when the improving technologies would pass it. They have now done so.

You should pay attention to what the people with the money are doing with their money. They are, by and large, not building nukes, they are funding renewables. This is not because they are fools or cranks or green fanatics; it's because investment in nuclear just doesn't pencil out. It's been judged in the market and found wanting.

BTW, if you look at the cost figures for ARC, even if the magnets were totally free the thing would still be far outside the range of economic competitiveness.
OxyContin became popular because it was commonly prescribed and you could crush up the pills to get the entire dose at once, instead of over 8 hours.
Pylint is a much better linting tool than flake8.
When you say "1000+ cycles" do you mean 1000 discharge-a-bit / recharge-a-bit cycles, or an equivalent total energy storage to 1000 full cycles? If the latter, then it's a bit misleading to discuss "cycles". You're actually getting 1000 cycles to 10% depth of discharge, which is equivalent in terms of total stored energy to 100 cycles at 100% depth of discharge.
That's just doing the same number fuckery in the other direction.

76B doses being a six month supply would mean 416M doses a day for America's 50M people with chronic pain (not all of which have pain conditions suited to opiate treatment, incidentally). Almost ten doses a day for each and every one one of them?
And by keeping the churners happy, they might recruit some real losers to the platform by word of mouth!
Linux Mint. It's based on Ubuntu, but it has a more Windows-like (and IMO, saner) desktop environment.
> It's fine. Really.

I can tolerate some bloatware (like games), but what about the telemetry? Are you OK with that or did you find a way to disable all telemetry?
I'm enamored of dRE (as I call it) but pragmatically it seems to me you could stick with re2c.

I think it's interesting to generalize dRE to general control-flow (not just parsing.)

Are you aware of Abstract State Machines? https://en.wikipedia.org/wiki/Abstract_state_machine
You quote a question about “importance,” then make a number of statements about popularity, then conclude something about importance.

It appears that you equate the two. And yet, others may have other definitions of “importance.” For example, Arguments can be made that Lisp, Smalltalk, and Haskell all have importance far greater than their popularity would indicate.
> It's a blessing that people can pursue things like this, and it's a huge shame that Japan is such an anal when it comes to a marginally illegal activity in an open space.

I've noticed spillover effects into Japanese gamers as well -- people being suspicious of or derisive about mods, even when they're perfectly legal and the game has built-in mod support (looking at you Monster Hunter World).

My (Japanese) girlfriend is on the very conservative side of the spectrum there and absolutely hates it when I bring up any kind of modding, and so do her friends -- the culture of "authorial intent is king" is very strangely strong for a culture that also appreciates and enjoys doujin.
The most critical useless feature (as it is now) is actually the Windows Store. What is Microsoft doing wrong that makes nobody use it? It could be a revolution (selling + updates).
Anniversary Gifts: From Medieval Wreaths to Modern Getaways
Do you have any plans to support embedded Linux IoT devices? Or are you strictly focussing on tiny devices running without an OS or with a RTOS ?
What happens when you launch Google Chrome for the first time on a Windows 10?
This raises my hackles every time I see it (enough to create an account and post): Y2K was ABSOLUTELY a real problem.

There was an enormous amount of money spent prepping for it years before 2000. In 1995, a few years after I graduated from college I got a moonlighting job cleaning databases for a UK phone company, manually editing 2 digit dates to 4 digit dates (I didn't know PERL existed at the time). Yeah, nothing major happened Jan 31 1999, but that's because there was a real, concerted effort to address it that wasn't trumpeted across the news media.

Not directed at you, I just needed to yell at a cloud.
I don't know about any organizations you can donate it to but if you don't find anyone and you gotta get rid of your machine, it looks like you can find someone to recycle it here:

http://e-stewards.org/find-a-recycler/
1. Possible, but seems unlikely as the explanation? How many people would read that fine print and care? So many other contracts already have provisions like this and nobody blinks an eye.

2. It need not be against their terms though? They could easily specify hyper-optimized usage in their agreements as something that might result in account closure. This is already done in a lot of other cases; they could do the same here.

3. I don't know about that. Just look at the sheer number of sites that explain how to maximize your credit card rewards/cash back/bonuses. They wouldn't seem to be there if the audience for them was so vanishingly small?
I'd like to blame the docs but I am always reminded of saying from my parents: "Only you can be your own advocate for your ____".
Does an artist really cost $150000?

What about a contractor for 3-6 months?
Hi, this looks like a strong result. Congratulations!

Short answer: to scale up hardware synthesis, it may be necessary to change the encoding rather than look for a better solver.

More details: I should first say that I have limited experience with synthesizing hardware. My lessons come from [1], where synthesized a small Wallace Tree multiplier. What that taught me is that hardware arithmetic circuits should perhaps not be formulated as a 2QBF problem -- because you might need too many counterexample inputs to terminate the CEGIS loop.

Instead, I believe that the circuit synthesis should use algebraic reasoning (for correctness) and combinatorial reasoning to explore the space of candidate circuits. Since one symbolic input is sufficient to show correctness, the problem simplifies from 2QBF to SAT.

This idea is briefly explained in Sec 4.1 in [3], a project that synthesizes software expressions that look very much like hardware circuits (permutations and such) [2].

I am happy to discuss this in person if it might be helpful to your work. Both Mangpo (the author of [2,3]) and I will be at the conference.

[1] https://ieeexplore.ieee.org/document/5227085

[2] https://github.com/mangpo/swizzle-inventor

[3] https://github.com/mangpo/mangpo.github.io/blob/master/paper...,
Popular JavaScript Library Starts Showing Ads in the Terminal
Man, if you wanna get points in Tony Hawk Pro Skater, you gotta land the trick.

Same thing... I don't think the ISS is gonna land that trick, as far as I know... I'd be stoked to find out I'm wrong about that, though.
That caught my eye as well, it's odd that they chose such a wording and they use it consistently on their notice page [1]:

> Depending on your country, you may have the right or choice to: Opt out of some collection or uses of your Personal Information, including the use of cookies and similar technologies, the use of your Personal Information for marketing purposes, and the anonymization of your Personal Information for data analyses.

[1] https://www.mastercard.us/en-us/about-mastercard/what-we-do/...
Wallets are a very good example of an industry overrun with inferior "leather-based" products. "Genuine Leather" may as well be the brand name of the shittiest fake leather sold on Earth, because I'd bet that a majority (>50%) of "Genuine Leather" products on the market are complete bullshit.

The cost and brand name of a product mean nothing. You can buy a $10,000+ "Genuine Leather" wallet, claimed to be "handmade" by a top-5 wallet manufacturer brand name... and chances are it's all lies. They sell too many wallets for them to be handmade, so the fact is they use sewing machines with the cheapest labour they can get away with. The company is physically incapable of tracing the chain of custody of their leather; they'll tell you to your face it's "genuine" (bonus words for "locally sourced/farmed"), but that's a game of Operator/Telephone 10 players deep to the point where nobody remembers the truth.

tldr; Most leather, including "genuine leather", is anything but. That includes the largest brand names; in fact even more so, because the demand for their products is too high to secure any kind of guarantee of quality regarding sourced materials. How many large-scale manufacturers of leather products are willing to legally sign on the dotted line that they can prove which cow and farm any given wallet came from? Exactly, and that's 21st century capitalism at its core.
I would strongly vote in favor of Ubuntu for your first distribution. It's still wildly popular, and despite some mishaps, Canonical tries pretty hard to make sure it's a smooth installation process, and has enough standard applications installed to be useful right away. If you just want to get your feet wet, and especially if you'd rather not mess around with the command line unless absolutely necessary, Ubuntu is great.

Depending on your needs, Fedora is also quite usable. It leans more in the FOSS direction, and while it is fairly bleeding edge with regards to Linux specific tooling, it is somewhat more hesitant to include non-free software, which may include device drivers and firmware. Last I checked, Ubuntu still had a higher degree of Just Works(tm) than Fedora for this reason. Fedora is very similar to RedHat and CentOS, so if you're looking for a business-focused distribution, this is a strong contender. Might not be as useful as a casual desktop install though.

Linux Mint is also wildly popular. It's Ubuntu-based, but it leans much less in the pure-FOSS direction, and is willing to include more grey area tools like video codecs and non-free device drivers. It also uses the Cinnamon desktop environment, which may feel a bit more familiar if you're coming from Windows. Some of my colleagues swear by it, so I think it's worth checking out.

Of course, take this with a grain of salt. I run Arch Linux and am perfectly happy to tinker around with the deepest guts of my system when needed. I wouldn't actually recommend that to a new user though, while I enjoy the absolute freedom to dive that deep, it can occasionally be quite frustrating.
My explanation seems more likely than the credit card companies acting as a money-losing charity towards rewards maximizers, doesn't it?
This guy's blog articles promoting his game company are appearing too often in HN.

If it was one or two articles every few month's I'd understand but we are now seeing more than one article a month promoting his lo-Q games despite his releasing games on a less than annual basis and none of them containing interesting or new tech.

edit: Also fascinating is the downvoting cabal for anyone that questions any of this. How many accounts does this guy have here? Oh and yes dang I am accusing him of fraud. I know you love to shit on anyone making comment about downvotes but this is genuinely a problem that you should look into between your interviews in major media you've set up promoting and stroking your ego and genius as a moderator that allows this site to be run as a astroturfing scam for sociopaths. The scammers play you and ride you and you let them. Wake up for goodness sake.
>It’s almost like there’s a hidden agenda somewhere.

It's not so much as a hidden agenda as sacrificing their primary product to be advertising for a different product and concept that consumers soundly rejected, and Microsoft's been trying to clean up the mess ever since. Ads and telemetry were just things that their new features supported, but weren't the driving force behind those features.

Wind the clock back to 2011. Desktop and laptop PC sales are declining and tablets are the new consumer hit. People are buying iPads (and to a lesser extent Android tablets) at an alarming rate, and this might be the end of a reliable revenue stream for Microsoft if people are replacing their old desktops and laptops with said iPads.

So, Microsoft comes up with the vision that their products will do more than an iPad can. Instead of having a standalone tablet as the home's primary computer, you'll buy a Microsoft tablet- which will not only be Just As Good as the iPad, but it'll also function as your main computer when you need it to. They even went so far as to create their own brand of tablet, but the extra hardware that needed to be provided for Windows to run smoothly (and the keyboard) meant that it would cost twice as much as the iPad (there was a neutered version that was comparable, but had no applications and outside of Office wasn't a suitable desktop replacement).

But there's another problem. Windows isn't a good tablet OS- the interface has been designed for a mouse and keyboard. So they come up with Metro and the brand new WinRT API with which to create applications, and spend a lot of time getting it ready.

Of course, since the entire vision of the future is "one Windows for everything", it made perfect sense for any system running this new version of Windows to use Metro. After all, they had just spent millions of dollars developing it and didn't want it to turn into another dead product.

So they made the fateful decision to deprecate the (already very much existing) desktop UI support in favor of Metro. It didn't matter that the interface was wholly unacceptable for desktop use, though it was Good Enough for the majority of the userbase- because people would be using Windows tablets and touchscreens in the near future anyway, in addition to their new Windows Phones (which would get quick application support because WinRT was a cross-platform solution).

That didn't turn out so well (Windows Phone is no more, UWP won't see further support as far as exclusive features go, and the only noteworthy Windows convertible tablet remains the Surface Pro) but it took a few years for that to become apparent- cue Windows 8.1 and later Windows 10 (the return of the Start Menu being a token gesture, since it lacked most of the functionality of the old Menu out of the box). There have been no major UI redesigns since, and everyone there's probably just trying to pick up the pieces until the next version arrives, if it indeed ever does.
Maybe one day they'll have service robots and what they lack in furry warmness, they may make up in being able to converse in English.
Almost 10 years ago, I conducted an experiment.

I watched an hour of CNN's every night but it was never that night's coverage. It was from exactly two weeks ago.

It was amazing how much "breaking news!" was irrelevant or just outright wrong, how many large trend predictions were wrong, and how many "[person] will do X" were wrong. While the predictions could have been portrayed as opinions, they were presented as facts and the obvious next steps or conclusions.

I realized pretty quickly that avoiding CNN kept out the blatantly wrong information so even if I didn't replace it with anything, I was net ahead.

A few years ago, I discovered this and realized that some portion of it was probably on purpose:

https://aeon.co/essays/how-the-internet-flips-elections-and-...
Publii + Netlify
Friends of my that are ex-addicts say Oxycodone is the shizzle.

Also Oxycontin was marketed as having a 12 hour dosing schedule. But the half life is about 2/3rds if that. That sets up a yoyo dosing schedule that's known to be highly addictive.
I'm so excited for this!
>I would argue that most people can't, which kind of irks me that recommendations like this have been the status quo for quite some time.

It's not a static property we each have -- one can learn to learn differently. I would argue that sort of information gathering is vital to documentation-heavy professions, programming included.

In other words : (imo) if you can't learn that way, you're doing a tremendous disservice to yourself by not looking for methods by which to learn how to learn that way.
I think the only thing I've used it for installing Windows Subsystem for Linux
There are a lot of Clevo resellers. People have options, but System 76 is the only one people mention anymore.
Google have started terminating un-audited apps that access the Gmail API
Grab a pencil, straightedge, compass, and a stack of paper and do some geometry.

BTW, John Von Neumann once said to Felix Smith, "Young man, in mathematics you don't understand things. You just get used to them."
Fair assertion. One I mostly agree with too.

But, what's the point then? I mean, if there's no point in pursuing anything because a machine will always be better and no one is going to appreciate anything handmade anymore... What's the point? To... eat, sleep and die?

I personally don't understand why a good portion of the population nowadays is okay with the idea that humans will be obsolete.
Ever look at powdered Parmesan cheese shakers? Cellulose is added to prevent clumping and I suppose as filler too. You're eating pretty much something very close to sawdust in the cheese.
Keep in mind that the magnitude of the fine cannot be known ahead of time. These Fight Club-esque arguments that corporate civil liability can not possibly curtail bad corporate conduct ignore the fact that killing people carries an almost unbounded punitive penalty in front of a jury. The confidence interval on the damages is very large, which makes doing things with practically unbounded civil liability actually dangerous for companies, and actually deters behavior which might appear otherwise profitable.

Considering the A) relative minor role that J&J played compared to the other original defendants, B) the relatively small size of the aggrieved population compared to the potential population with a cause of action, and C) the particular law they brought suit under... this is in fact a pretty spectacular result overall for the State.

Really the bigger question is why the State settled with the other defendants for so little. That tells you all you need to know about whether the State thought this verdict was likely, and what they thought the scale of damages might be for the major players, let alone the side-show that was J&J.
Thank you! It only took so long because of my hubris and obstinacy. I hope you have found wellness and happiness, too.
The function (a,b) -> a+b is not reversible. The function a -> a+b is reversible, and so is (a,b) -> (a+b, b).
You right and to contextualise this - do gun shops who sold the guns that did the crime make them as guilty when the gun shop followed the law. Case with most (sure some exceptions) Doctors, they prescribe the drugs, the patient abused them or what has transpired is the patient did what the doctor said, just couldn't get off those drugs and that is were doctors may well be foul. Equally they may not have the tools or resources to cater for such instances. After all addiction treatment is often a waiting list a World away for many in that position.

But would banning opioids have more positive than negative - who knows. Hence your gun analogy fits this situation perfectly. Though some would say banning guns would be easier than banning opioids.

Equally most things banned, end up shifting them into criminal distribution and quality. Though I've yet to find a lawn dart dealer, I dare say that somebody somewhere sells them illegally - nature of banning something alas. Hmm, just had a quick look and Amazon has many lawn darts for sale :(.
A proper musical education is pretty effective in teaching a sense of (musical) aesthetics.

You need to start from first principles, though. In music this is done eg by learning to logically develop independent harmonically coherent voices (rather than thinking in “chords”).
I don't normally eat KFC but visited the "original" "restaurant" in Kentucky a few weeks ago. We thought the chicken was very decent and comparable with any southern-style smaller restaurants we hit in the South.
There are alot of Clevo resellers. People have options, but System 76 is the only one people mention anymore. It's a shame.
Not only the limited run nature, but part of this has also got to be the big supplier network that is available for other cars. How many custom parts are there on a Tesla Roadster compared to other cars? There are large supplier networks that can supply many (most? all?) of the internal parts required to build a complete car (sport or otherwise).

I’ve got to think that the ratio skews heavily to the side of custom for any of the Tesla. This is where Tesla’s intense vertical integration starts to be a detriment. I was just reading an article about how the vertical integration of Tesla was amazing in that it made it possible for custom components to be used that saved space and weight by performing more than one job [0]. This is great - until you need to replace that one specialized part and you can’t seem to find it.

I laughed when I was looking at the cup holder for my new car. It’s a 2018 Audi A3. The rear cup holder is the same junky design that I had to replace multiple times in an old 2000 Jetta. It’s not a great design, even-though it saves space. However, because of all of the available suppliers for that part, I know I’ll be able to find a replacement of this for years. This type of parts availability is a blessing (you can find one cheap) and a curse (you are limited in how you can design the car by the parts that are already available, thus you can only have a barely functional cup holder).

[0] https://www.teslarati.com/tesla-model-3-superbottle-disrupti...
Binary executables are machine code. One step from machine code is assembly. It’s easy to translate machine code to ASM (because you are just reversing the op code and adding data structures) from there it gets hard because compilers do all sorts of tricks to create performant assembly and throws away hints about code structure (e.g a simple overloaded function may become an ASM routine with 30 parameters depending on how it’s called. Or vice versa.. it’s like trying to recreate HD video from mpeg-1, entropy has been thrown away). So decompiled code is usually left in assembly. Sometimes an effort is made to create the C equivalent but that’s a maddening effort.

More than likely SM64 was written in c with some critical performance parts in ASM (like mode7 and some of the OAM stuff other threads talk about).
You'll find the complementary opinion in Mathematics departments -- a general chagrin about the type of mathematics that they have to teach in their service courses for engineers.

Mathematics is a very general tool. As with any very general tool, a lot of the devil is in the details of how to use it in any particular domain.

For this reason, in-sourcing mathematics service courses is best for everyone. The very best math-adjacent departments in every field tend to do this either directly or indirectly. E.g., in the direct model, many CS departments internalize the Discrete Mathematics course and some combinatorics. And an example of the indirect model is Mathematics departments that hire Math Finance professors to cover the service load for econ/fin/bus depts.

I think this in-sourcing (either directly or indirectly) is best for everyone -- mathematics depts don't do a good job at teaching those service courses and often don't do a great job of it in any case. Unfortunately, most departments don't have the headcount (in students or faculty) for a specialized mathematics curriculum, so they have to share the math faculty with N other majors to predictable effect.
This is inline with their new restricted scopes policy [1].

However, this developer has been working on a solution with the Google API team since January, as by their own recommendations his app shouldn't require the audit.

It seems the time to resolve these issues and for Google to choose who needs auditing is simply running out.

[1]: https://cloud.google.com/blog/products/g-suite/elevating-use...