skysight-inc/HackerNews huggingface dataset:
I think this is an important point to focus on when writing a new type-safe language. LEAN for example has a very impressive type system (honestly seems like magic sometimes), and clearly all of the "impossibility" is shoved into the computational complexity of the type-checker.

Despite the fact that some of the languages listed here have undecidable type systems, it doesn't feel like many common-purpose languages have purposefully gone down the undecidable route to bring some really cool type-safety.
Kinda reminds me of the thin and nonsensical swill from Marshall McLuhan.

Make up your own words and world views then refuse to back them up with studies that can falsify them.

Instant success.
Article author here. A native emacs build fixes it entirely. I didn't know where a native emacs build was until I got emailed about it after I published the article.
You know, I might do just that. Thank you!
Also, biology and biotech used to be in the 4th or 5th place on my list of interests but it became 1st or 2nd during the previous 2 years.
Both companies have fascinating ideas/goals. Just fascinating!
The part that's a bit sad (to me) is that I'm new in biology (although I'm constantly reading about many things there) so I'm not sure if I would ever manage to find my place in a company in that field :(

p.s. I just remembered that a year ago I watched this video https://www.youtube.com/watch?v=OSZidU6R_mU - Reshma Shetty, Founder of Ginkgo Bioworks at the Female Founders Conference

Edit: added a p.s.
I dunno if I'd qualify a military dictatorship as Fascist though, since the typical hallmark of a Fascist government is the singular leader who enthralls the public. Which I guess you could say the emperor, but I dunno, it doesn't hit the same way for me.
Bitcoin's constrained supply is almost a red herring at this point.

The usual fallacy is when proponents claim that Bitcoin is the only asset able to escape inflation due to fiscal policy interventions. This couldn't be more false. The very definition of inflation is an increases in prices, or a decrease in buying power. However, investors have been buying assets and investments to avoid inflation long before Bitcoin was even invented.

Bitcoin isn't a particularly good store of value because the price is driven purely by demand, which is currently in a state of market mania. It's not even the first market mania around Bitcoin. Past bubbles were also met with a "this time it's different" attitude before the inevitable sharp losses.

Bitcoin has value not because someone coded a 21 million coin limit in the code somewhere. Bitcoin has value because people want Bitcoin. Why do people want Bitcoin? Because the price goes up up. Why does the price go up? Because people want Bitcoin. As soon as something breaks that cycle, it doesn't matter what the maximum number of coins is. Without demand from the belief of future increases due to increasing demand, the price will go down. The purchasing power decreases.

Everyone likes to demonize fiscal intervention, but the reality is that counter-cyclical fiscal intervention tends to benefit the average person. Running inflation too hot is bad, but swinging to a full deflationary currency (Bitcoin) would also be bad for the economy.
Lies about Work
That scenario makes no sense in the real world because the US government would just regulate/ban it before it got to that point. Once BTC even starts to threaten the sovereignty and power of the USD, it's game over for Bitcoin and the laissez-faire environment that helped it grow.
This article puts wind at 13% of shut down production:

https://www.bloomberg.com/news/articles/2021-02-16/frozen-wi...

I imagine the person in the article is griping about the downward pressure wind and solar can put on energy prices (so maybe you lose money operating a traditional plant, but less money than you'd lose by walking away; operating at net that doesn't cover the up front investment).
0.3% of my whole life just to test out one single programming language doesn’t sound unreasonable.
Set yourself a threshold amount that you are okay with a 100% loss on, and a periodic schedule based on your risk-appetite. At each interval if you are above your threshold you sell your excess holdings and if you are below you sit tight.

Alternatively you can set yourself a price threshold. For example, sell half your holdings every time the price doubles. Essentially this acts as a log function on your gains in exchange for lowering risk.

There's a ton of room for fine tuning a set of rules to manage risk, as long as you are willing to stick to them.
This is true for me, on Roku. Considering the context, that's far from a platform, it's not even an interface. It's just an alternative input to the physical tv remote interface. If I were to simply re-task a tablet or old phone as my TV remote (easy to do with Roku), I'd stop using voice, and get much more out of the second screen.
Interesting, I have opposite experience. Once I had lots of experience with AD and Exchange. Later I shipped desktop software based on ESENT, and supported it for a few years. Was generally happy with the technology.

Are you sure these issues are caused by the DB engine? Other possibilities include your PC (like interference with crappy AV software), or Microsoft’s code of these search indexing services.
The organization you're thinking of is named Black Lives Matter Global Network Foundation. Not Black Lives Matter.

I believe most people donate to The Movement for Black Lives.
if you actually look at the data, this has nothing to do with renewables. Wind is actually producing more than expected at this time of year, while traditional sources (nuclear, natural gas, coal) are underproducing what they are expected by 40%. This is due partly to these plants operating outside of their designed temp tolerances, and partly due to a natural gas supply crises in texas.
What do you think Google should be doing? Human review?
I'm sure a state court lawsuit from some ND developer with a lot of delays and such until it got to the Supreme Court. Probably quite a lot like the sales tax lawsuit Quill Corp. v. North Dakota.
Give me a break. Actually, the whole reason for this series of outages is because Texas took the bait and installed a bunch of solar and wind instead of taking the safe route and doubling down on coal. Peak energy consumption in Texas is almost always in summer when there's a lot of AC units running -- which just happens to be when solar and wind work best. They gambled on green, paid the price in the past few days, and you're sitting here on the internet saying that they're a bunch of rednecks who don't understand science or climate change. Pretty rich.

This is a black swan event -- this is the coldest it's been in over 100 years.

edit: to be clear about what I'm claiming, I'm saying that if Texas invested in coal instead of making the large investments they made in solar and wind, this never would have happened. I don't see how anyone can dispute that. This is not the time to be gloating about green energy.
I don't get what the comment is trying to say -_-
Say one is still sitting on 3650 coins from 2011, and you decide now is the time to sell the lot. How exactly do you "cash out" that amount?

Sell to Elon maybe? ;)
Sure thing ;)
It looks like you've been using HN primarily (though fortunately not exclusively) for political and ideological battle. That's not allowed, because it destroys the curious conversation that this site is intended for. "Primarily" is the line at which we ban accounts that do this, so can you please stop? There's lots of explanation about this at these links:

https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
With the compile speed of go i mostly could get into that same style of development as with dynamic languages. I think with generics this will get even closer, because of the plethora of libraries that will be released when generics land.
The power infrastructure is also failing from the cold. Some big fraction of that could probably be prevented for cheap.
My companies office volunteered to power off so we got to all work from our homes.

That was only good for those of us still with power, though.
This is only a problem because we haven't figured out a good way to store electrical energy.
Employee options must be granted with a strike price at the current fair market value, which means they aren't worth anything the day they are granted. For private companies, that fair market value is decided by the board, who may be incentivized to show steady growth when there is none. There will also be preferred stock held by investors, so you still won't make money on a liquidation above the strike price. And if you quit, you lose your options or have to immediately buy a risky stake in a startup.

Options really aren't worth much unless the company becomes many times more valuable after the grant, and that's so unlikely to work out for the average employee that it may as well be $0.
Is there a way to bind a goroutine to a specific thread? Afaik, all C interop goes through a global lock because the runtime is weird.
Can't really say it's a regulation vs deregulation issue. I've worked for both and it's incredibly difficult to get anyone to do anything other than a broke fix. Once something breaks or someone dies, that's when it's taken seriously. I wish I had a problem statement and a solution to go with it.
Reddit has "1 account for everything", Markdown editing, collapsible threaded conversation, and limited or no on profile pictures and signatures (much like HN). All of this amounts to a more seamless user flow that lets you quickly skim large amounts of conversation quickly.

People switching to Reddit has less to do with "it's Reddit" and more to do with the UX of Reddit being better for what people tend to want to do on a forum. Discourse is OK and comes close in some places (has great Markdown editing for example), but "1 account for everything" alone is somewhat of a killer feature.

It's a shame that Stackexchange didn't get OpenID to catch on anywhere other than Stackexchange. Could have been a big help in driving more attention to independent (and maybe even federated) platforms.
I think optimizing layout or at least attempting to minimize the amount of crossed conveyors is most of the issue.

Yup that's exactly what I was thinking about. If you don't have to optimize, then you can mix and match heuristics to get the job done. If you have to optimize... now the search space gets real big real fast.
Shoutout to people like the author who look at various open-source apps to spot malicious activity. Open-source libraries are a great contribution to software, but it can also be dangerous if malicious code is sneaked into a library used by safety-critical software. And web extensions are safety-critical software.
The only thing really atrocious on the RK3399 is the internal bus matrix. It's a legacy 32-bit crossconnect, i.e. physical address space is only 4GB.

Among other things, this means the PCIe aperture is squeezed down to a very measly 2×16MB — which is not even remotely enough for a lot of PCIe cards.

Also, if you install 4GB RAM, you only get to use something like 3.5G.

Oh and if I remember correctly, PCI MSI are broken, which again limits the PCIe card selection even more...
Is there some functionality that `z` offers that fzf doesn't? I have a keybinding that essentially does `open $(fd | fzf)`, and that is how I go _anywhere_ in my file system. Completely changed how I use the shell.

I personally find that fzf is better because I can see where I'm going to end up before I accept the operation.
"100 year" is shorthand for probability. In reality, these are storms that have a 1% chance of occurring in any given year.
Apparently one of the nuclear turbines went offline because the turbine was exposed to the open air (for cooling during the summer) and some of the sensors triggered a shutoff of the turbine when they detected unexpected temperatures.

Another case where systems misbehave when they’re exposed to circumstances outside the expected range.
> I don't see an inherent problem with this. People who were too gullible to believe influencer crap and caused bitcoin's price to go down by panic selling are now gone from the market, and the believers stayed in and made money. That's a good thing, and weeds out gullible people from the system.

So when the price goes down due to influencers, people are dumb for selling.

But when the price goes up due to the very same influencers, people are smart for buying?

> This isn't the stock market where fundamentals matter.

Amen to that.
Renewable wasn't the issue. The renewables are outperforming what was expected. However, renewables are like 4% of the total energy generation. ERCOT lost about 40% of its total generation capacity.

Almost all of the ERCOT shortfall was loss of thermal generating capacity--mostly natural gas. The natural gas was shunted to heating because those contracts are fixed and higher priority (market failure). Also, some of the natural gas lines, wells, and pumping stations froze (planning failure).

ERCOT lost more than 35% of its natural gas generating capacity. This was everybody cutting corners and finally getting burned.
Sending a probe in the direction of Mars is one thing, but the landing procedure is just mind boggling. Wonder how they simulate the stress and mars environment. I also noted that there will be a drone and HD video from many cameras.
Having a similar situation myself actually. In a team of SREs and "SRE" only in name. Just a bunch of ops guys, and being on the bottom of food chain[1]. When I came over there, and I shit you not, there were pager duty alerts every 15 seconds at peak times, multiple ones at that as well. And for years they thought it completely fine. Took me 6 months of employing best of soft skills to be even allowed to tweak some(!) of those alerts. Believe or not, we have tens of millions of users each day and at least 50 "micro" services. It is a complete mess with a lot of reliability problems in the last couple of months (failed projects getting "second chances" - sunken costs fallacies etc). Every few weeks some dev teams organizes meeting with us and basically say: "hey guys, so you've earned [newspeak for we're giving you our shit we don't want to support and move on to next big thing] this service, you're now the proud owners of it, glhf".

I'm also like you, preparing for my next job and this is the first time in my career that I actually know what questions to ask on the next job interview. The experience here is that bad. The only problem I have right now is that I'm so ridiculously micromanaged at work and interrupted every few minutes (or more) that I just cannot focus on learning anything of substance. So I'm trying to do it my free time. I'll get there, but I agree, some changes you're trying to do on a job take years to get there (even if those happen). Life is too short to change a lot of short sighted, entrenched people.

[1]: word of caution for anyone: you cannot be a decision maker (and SREs are supposed to at least be at the place of decision making) if you're on the bottom of the hierarchy. So be wary of jobs with great sounding titles where you cannot change anything for the better.
>Sticking with PoW long term is my only concern about Bitcoins ability to remain relevant.

I share your concerns, and if the whole segwit debacle is any indication, getting Bitcoin to switch away from PoW will be a political nightmare.

The only thing that might get such a hard-fork deployed on Bitcoin is an extinction-level threat from a sizable competitor (e.g. ETH).
I know that 30 years is enough time for the copyright limit I think is reasonable.

Also I hope he's doing fine with his client list https://sedlik.com/getinfo.htm
The US as a whole is about ~11% [1], and Texas is ~25% [2]. Considering Texas makes up a decent chunk of the total US energy consumption, it's a bit more lopsided than it seems.

Texas is pretty green, when it comes to energy.

[1] https://www.eia.gov/tools/faqs/faq.php?id=92&t=4

[2] https://www.eia.gov/state/analysis.php?sid=TX
Bitcoin Whitepaper repost 2021 [pdf]
a) Refined sugar and HFCS both cause fatty liver about equally.

b) HFCS is sourced from corn, which means pesticide residue.

c) Palm oil also leads to fatty liver.

They may be an "even trade", but certainly harmful to one's health.
Oh, it's not as chaotic as you think.

If you have not read it already, check out Numero Zero by... hmmm... Umberto Eco.
> So you have to trust that the dots will somehow connect in your future.

Equally plausible is that we only write quotations from the people whose dots serendipitously connected.
Almost more significant than the new Perseverance mission is the old Curiosity mission (https://mars.nasa.gov/msl/mission-updates/) which has been operating for 3,034 (Earth) days since its landing on August 6, 2012. (Technically it's been 3,116 days since the landing, but Nasa reports the smaller number, perhaps because of some downtime.)

One can only imagine the internal debates and budgetary fights around a new rover mission to Mars while a team is still actively operating a very successful and healthy existing rover. Luckily, this new mission did get the green light.

One also might speculate, amidst these multi-trillion dollar "stimulus" bills, what lost opportunities (no pun intended) there have been, had Nasa been budgeted more than its puny $22.6 billion allotment (as of 2020, 5% up from the previous fiscal year).

I can hardly imagine a better investment in the future of the country, the future of science, and the future of humankind, than to explore the Solar System and develop the necessary technologies to enable humans to move off-planet in large numbers.
Github1s – Instantly Browse Projects on VSCode in the Browser
A little late to submitting to HN, but Github1s is a hot new open source project that allows you to browse Github repositories in a VSCode-like UI right in your browser. To me this is pretty handy if you want to quickly browse any repo on Github.
There are 1.2 trillion US Dollars in circulation right now. Meanwhile, the "market cap" of BTC is more than $900 billion, yet it's still entirely a vehicle for speculation.
> Can you do either of those in other popular languages with pattern matching?

Ruby supports matching against a local variable by pinning the variable (using a ^ prefix).
Long-range interconnects probably would help, the rest of the US isn't having this problem, just Texas's mini-grid.
Weather isn't climate... or something..
There is no objective measure by which Bitcoin is more stable than USD.

The idea that USD is becoming worthless due to recent monetary policy, however ill-advised, is greatly exaggerated.

The idea that Bitcoin is the only way to protect oneself against inflation is also greatly exaggerated. Investors have been buying assets and investments for a long time before Bitcoin was invented to avoid inflation. Bitcoin didn't magically change that.
Maybe they were back in 1950. But this happened in 1989, 2011, and now 2021. And things are not going to get better.
That's not really true. The grid has worked just fine for decades. We also do have "good" means of storing electrical energy, they're not as economical as just running at sufficient capacity and managing the grid properly.
I'm going to point out that McCarthy was a fierce right-winger, and the "punish people for wrongthink" mentality has been almost exclusively a right-wing thing until very recently

Saying that both sides have engaged in it does not make it the correct thing to do. It's a disgusting thing for people to engage in, regardless of the political affiliation of the people doing it. That said, I have seen countless examples of cancel culture in action coming from the left, and comparatively few from the right. Even Obama has decried the left's zealousness to cancel people [1]. When Obama calls you too woke, you're probably too woke.

As to the rest of your response, I was using the general idea of mccarthyism. The dictionary defines it as "a campaign or practice that endorses the use of unfair allegations and investigations". I think that definition squarely fits what happened here.

[1] https://www.nytimes.com/2019/10/31/us/politics/obama-woke-ca...
Combining modelling for even simple experiments is a pain so I can't even imagine - even if the end result is "simple" - the amount of book-to-forehead contact required for a rover.
ThemePark Corona edition.
Nuclear tripped too, just like gas, because of a pump failure in the cold.

In the 2011 cold snap, the problem was all about frozen lines like the pressure sensing line that caused a problem yesterday for the nuclear reactor. Likely similar things are causing problems for natural gas.

The answer is weatherization of all these sources. Wind turbines work great in other settings with icing wind, you just have to have the hardware for it. Just like you have to have the hardware to keep your pressure sensing lines from freezing.

We are likely to experince more events like this before a single nuclear plant could be built. And the idea of building 30GW of new nuclear, the amount of gas/coal/nuclear that was lost, is so daunting that not even China is trying to build that much nuclear, and they're pretty much the best at doing it of anyone out there.

Honestly, building 60GW more of wind and solar, and 10GW/40GWh of storage would be a lot easier and cheaper than building 30GW of nuclear. Solar delivered an extra GW when it wasn't expected, wind dropped 4GW from what was expected, and gas/coal/nuclear dropped 27GW.
I looked into nano because it kept getting mentioned. Seems like the only way to acquire it is to buy it from someone who already has it. Somehow, that isn't very motivating.
>it is how you distinguish productive investment schemes from scammy Ponzi schemes.

That'd be true if economic actors were rational (and had total access to relevant information).

News at 11: they aren't (and they don't).
Mastercard announced that they will be supporting "crypto" not necessarily bitcoin. Bitcoin itself doesn't have the capacity to support widespread adoption as a medium of exchange.
My bet, the program continue, meeting many skilled mind readers daily turns out assumptions makers.

How do you know - is powerful question.

Great article
> Imagine you’re creating a new country and you want people to make things, how can you incentivize this?

You could pay them?

> One way is to give people who make things a small time where they can make money from their creations, especially in cases where creating the thing requires a lot of capital investment (drug discovery).

Yeah, you could claim the right to put your hands on anyone who made a copy of a creation, because you want people to make stuff and penalizing anyone other than the first person to make a thing helps the original artists get paid.

Of course if you wanted to incentivize creators you could also not punish them for copying other creators because the copy is another creation that you claim to want.

> Without copyright the bigger players and distributors make all the money.

Honestly I think its the other way around, you have to be big enough to hire a lawyer to enforce your copyright, and the bigger you are, the more / better lawyers you can get. Mickey Mouse and Disney are the ur-counterexample here.

> The only model possible is some donation based scheme which doesn’t work for high capital investment projects. Without patents companies keep everything a trade secret. There’s a lot of stuff in the modern world that would not exist in this one and a lot of people that make their money creating things that could not do so without IP law.

Perhaps we would be better off without all of this.

> Is copyright and patent law broken from first principles or in conflict with useful incentive structure in society? No.

Hard disagree. Yes it is.
similar: https://vaccineskill.biz/