skysight-inc/HackerNews huggingface dataset:
Typescript is great, but it is ultimately a gradually typed language that is built around compiling to Javascript, and that has extensive interaction with untyped Javascript code.

You often end up with obscure issues that a good type system should prevent. Maybe because the third party typings for a package are faulty or incomplete, maybe because the compiler just gave up on a complex expression and fell back to any, or because the developer just gave up and used `as any`.

Typescript is also really constrained by keeping JS compatibility. A prime example is the lack of real sumtypes. Instead you have to use objects with a string tag and do if/switch on that tag to disambiguate the concrete type, which is incredibly awkward when compared to proper compiler sum type support.

I'd much rather use Typescript than Javascript, but it's far from perfect.
Previously: https://news.ycombinator.com/item?id=17217827
I think the idea is to think about what would have happened if programming started in another language. If it were Japanese, it’s easy to imagine that you’d have the same issue with different styles in different contexts.

Some contexts might call for all hiragana variables, some all katakana, and some using the most likely/appropriate form of the word, including kanji. And in the third case, you’re still going to end up with discrepancies since not everyone agrees on when to use kanji.
VM might have access to more cloud resources via bad AIM policies. Getting access to root even in container can be just as bad.
> takes away the user's freedom to do their computing as they wish

They are free - to not run proprietary software!
Note - This is about permits for mining operations that run their own fossil fuel based electricity generation, not what random people at home can do (edit, as best as I can tell, I'm not used to reading these bills)

> We must determine whether the growth of Proof-of-Work authentication
cryptocurrency mining companies that operate their own electric generat-
ing facilities and produce energy by burning fossil fuels is incompat-
ible with our greenhouse gas emission targets established in law.
> Also it's written in Rust

The core library is in C.
All road miles or are there any dirt road miles?
Apart from sharing the opinion here that this is a customer hostile move...

I'm pretty happy that my bikes (MTB and Road) have zero electric components (not even light if I don't strap it on) and I want to keep it that way. I have yet so see an electric part that I need or that even just provides me with enough benefit that it's worth the hassle of freakin' firware updates. Much less having a CAN bus on my bike? is this only for electric bikes or also for gears? I'm confused...

Anyhow, I always thought that running a bike repair shop might be my plan B for when I finally get fed up with computers, but I recently realized bikes are now computers with wheels, just like cars and fridges and toasters and door bells... So I'm looking for a new plan B.

FWIW, just as with fridges and toasters, I think this is a move in the wrong direction. It increases CO2/pollution footprint and reduces lifetime. And as we see here, it opens you up to a whole new class of customer abuse.
Best butt, hehe.
"good performance" is a relative term. You may consider Haskell or Scala having "good performance" but for others having garbage collection itself is a big no. So you are either left with Rust's approach where you limit the programmer, or C++'s approach where you leave memory management mostly to the programmer
My understanding of Loom is, that it is loosely inspired/similar to GHC's runtime. In both every blocking call into a system call is replaced with an equivalent asynchronous system call and some internal thread will manage all those things to wait for. While the operating system is processing the asynchronous request the lightweight thread which made a seamingly blocking call is put aside and some other lightweight thread can execute on the same OS/level thread.

Since the JVM comes with all the blocking call in its own standard libraries, it can rewrite them all internally. Every third-party library that uses the normal Java standard library will benefit from this under the hood replacement of blocking systems call with non-blocking system calls. Only when you use other native libraries you have to be careful to use mostly non-blocking functions.

Therefore Loom allows programmers to think and program with blocking calls, but they get the performance characteristics of non-blocking calls. That is awesome. And there is no need to use function colouring or type-level encoding of blocking/non-blocking code.
Reddit’s iOS Presentation Framework
Interesting.

What languages/plugins/processes are you using? I'm a TypeScript/React/React Native dev and Vscode is butter smooth with very minimal CPU and RAM usage (after offsetting the Electron overhead).
Not just technically, they do enforce this through legal action.
You should really read about the USA relation with court who is supposed to patrole the Geneva convention:
den hague

And the American Service-Members' Protection Act…
DALL-E 2 generates images of Kermit The Frog in various films
Unless the thing you bought is a fossil fuel based electricity generation facility I don't think this affects you.
Regulation of resources is based on scarcity. When water supplies dwindle, you will prioritize drinking over industrial use and farming.

So when the externalities of energy increase, prioritizing (or penalizing) specific uses is (a) straight-forward and (b) not a novel phenomenon.
Yeah, I feel like a lot of the outrage here is from the title, not the contents of the bill itself. I'm fully in favor of this effort.
Pretty much everything marked as deprecated in GLKit: https://developer.apple.com/documentation/glkit

I have been getting into metal, but maybe I should be looking more into Vulcan
No, for trademarks it's standard practice to allow prior use to continue (USA, EU, UK, at least). You can have a trade mark for decades, and be protected by passing-off law, then come to register it and find a brand new company has registered that mark, but that doesn't mean you can't continue your own trade with that mark, but can mean you're going to infringe on their registered right if you change (eg enter a new TM class, enter a new geographic region).

This prevents established companies from being damaged by opponents registering their marks.
I believe that in German all Nouns are Capitalised, not just Proper Nouns.

Please correct Me if I’m wrong.

(Except for my Capitalisation, which is all over the place because I’m trying to illustrate to English readers why I find German really hard to read)
I’ve found constraints in the loss functions are key to finding the correct solution space. With small amount of training data and SGD you can get a lot of mathematically “correct” answers, but a well informed constraint based on your problem space can eliminate 99.9% of the mathematically correct but practically incorrect answers.
Smallest remote-controlled walking robot
And no D programmer says "it was really hard but worth it in the end". It's worth it right from the start.
> about government deciding how electricity should or should not be used and seems like an extremely bad idea

Why?

We regulate luxuries differently from productive activities. It makes sense to do similarly for crypto. Energy generation is massively publicly supported.

Crypto can be produced abroad and traded here; burning our backyards to produce literally nothing is madness.
It’s fundamentally an issue of trust and unsurprisingly Microsoft still hasn’t changed from its “embrace, extend, extinguish” days: already there are add-on that only work with their official VSCode binary (e.g. the remote code sharing add-on).

So enjoy the freebies but keep in mind the predatory interests underneath. ;)
What does this have to do with the bill?

> Section 2 places a moratorium on air permit issuance and renewal for an
electric generating facility that utilizes a carbon-based fuel and that
provides, in whole or in part, behind-the-meter electric energy consumed
or utilized by cryptocurrency mining operations that use proof-of-work
authentication methods to validate blockchain transactions.
Americans should first look at the other energy wastage they do - oversized automobiles, excessive consumption and wastage of food, factory farming, military.

This "cryptocurrency causes global warming" is a nice story for the gullible.
It's not a matter of smarts but grit. Modern society cultivates short attention spans, impatience, and a need for instant gratification. It's really uncomfortable, and costly, for many to spend hundreds of hours cultivating a new skillset. So, many give up shortly after starting to pursue it. However, those who persist and achieve capabilities come to value what those capabilities offer over alternatives.
These are very high quality sources, thank you.

The best citation on this site.
I swear people don’t read:

> Section 2 places a moratorium on air permit issuance and renewal for an
electric generating facility that utilizes a carbon-based fuel and that
provides, in whole or in part, behind-the-meter electric energy consumed
or utilized by cryptocurrency mining operations that use proof-of-work
authentication methods to validate blockchain transactions.
Given that the AI part of this will happen on server: nothing.

Source: working on a transcription service that has, among others, a webapp that runs fine on any browser.
Would that solve the problem of type/variable name conflicts in Go?
Yes, this is very concerning. I'm glad that other people are starting to notice this trend of closed extension tooling and product choices such as the Docker extension only supporting Azure registries for example.. ;-)
not to defend VS Code telemetry, but it's clearly stated in terms anyone can understand (something many OSS projects fail to deliver)

https://code.visualstudio.com/docs/getstarted/telemetry
For me, Vscodium Logo >>> VSCode Logo
In the mid 2000s there was a whole community of pixel art for signatures in forums about Runescape. I don't know if this community still exists today (the game certainly does), but it was quite something. Random examples:

https://i.imgur.com/eEZtmJd.png

https://i.imgur.com/P8HfrIv.png
There is a workaround for PlatformIO that I use to get it to work in VSCodium: https://github.com/platformio/platformio-vscode-ide/issues/1...
> My CVE comment was very much tongue in cheek.

I got that, but the point is still very much relevant. If places switched to Rust from C++ (or Go, or C), they'd write less software because there will never be as many people who understand Rust as there are people who understand Go.

If it was at all easy to pick up there'd be a fewer stories from people who tried learning it and abandoned the effort.

I cannot think of any person who reported abandoning Go because it was too hard to learn.
Prawns*
Tesla had very poor repair times even before the supply chain issues, much worse than other makes.
And yet those C and C++ projects continue to be very popular and successful. :-)
See also https://isdotnetopen.com
The page shows the current news, here is an archived snapshot from 2018 that talks about the deprecation: https://web.archive.org/web/20181226081443/https://developer...
Surely there are other definitions listed for informal use? One can often see for example race tracks like Monza in Italy referred to as "the Cathedral of speed" when clearly no bishop lives there.
I would take the opposite approach here. Instead of overfitting, bake probability into your model. Whether using a Bayesian weights or using an ad-hoc version (I.e. dropout and batch normalization), you can do your predictions in ensemble and look at the deviation of predictions. the combination of this method and a small dataset usually leads to wider ranges of prediction, which can be interpreted as a model uncertainty. When using these techniques we have found smaller datasets lead to more uncertainty, but it often will bound the error. I think this is much more useful than assuming a small dataset means an overfit model will do good on future data.
>It is good only if it is "opt in"

Why? This isn't a product marketed to kids using dark patterns or something. People who feel like you do can easily opt out.

>If it is such a good thing, why developers prefer not to disclose its usage?

Maybe because they feel that it's not that big a deal. They could also "disclose" that the app uses X amount of harddisk space or memory, or that it was built by developers who are running Windows as their primary OS. That might be a deal breaker to some, but most people probably don't care.
>So, a reasonable question is, "Well, what does a real instance of caste-based discrimination look like?"

Given that the example came in the context of this question, the answer is a resounding "not like that".
Meeting Owl videoconference device used by govs is a security disaster
There is also kebap case, which is used in CSS for example.

number-input-wrapper { background-color: goldenrod; }

But to be honest, for me those conventions are one of the smallest problems when programming.

Oh, and whoever uses lower case snake case in any circumstance needs a slap on the wrist IMO.
Pinterest acquires AI-powered shopping startup The Yes
hating on Hindus? I'm not sure what's hateful here for describing actual events. The ones receiving the caste oppression are also Hindus. Dalits are not Hindus you mean?
I was really hoping this was going to turn into a rant about visibility in Go.

As much as I like Go, I really dislike the use of upper case to make things public. About the only thing I miss about Java is the convention of using capitalised words for types and lowercase for fields, methods and variables.

I must hit a name conflict in Go every second week.
> perfectly happy

That’s an assumption you made, and it’s a wrong one.
its a very good idea and if the government doesn't shut these down citizen militias might
It’s like any other system. A middle man has to take their cut and will increase costs. There is no reason (that I know of) to think the dealership model would ever decrease costs.
There is and it has been for quite some time, see chapter 4 of [1].

[1]: Runtime Support for Multicore Haskell, Simon Marlow, Simon Peyton Jones, Satnam Singh (https://www.cs.tufts.edu/~nr/cs257/archive/simon-peyton-jone...)
My wife used to say “he does the tappy tappy code code stuffs”

50% joke 50% that’s the best thing she could come up with :)
In the state I live in, the "adverse possession" has to last 17 years.

One of our neighbors had put a fence about 3 feet on our side of the property line. It was falling down (he also had a swimming pool; both state & city laws required a fence around the property). My sister had a property survey done (by a registered land surveyor). After finding out the fence was on the wrong side of the property line, she had the fence taken down. The neighbor was arrested when he removed the survey markers (a felony in our state). At his trial, he then tried to use "adverse possession" as an excuse and that he should be awarded the property. If he had filed a court action for adverse possession before he was arrested, he would have gotten away with it.

If he had fixed the fence so that my sister's dog didn't escape, he'd still have the use of the property. And we would have been happy with it.

Robert Frost wrote "Good fences make good neighbors". That guy proved that bad fences make for a bad neighbors. Especially when other neighbors decided to take sides on the issue. Lots of people decided to call the city's Code Enforcement office to use the law to make others suffer.
How to speak Silicon Valley: 53 essential tech-bro terms explained (2019)
I've literally never changed job without having at least a month off in between

When else are you going to be able to take time off so easily? Rescinded offers are pretty rare to waste such a good opportunity
OpenGL can't be deprecated, just like IPv4 or HTTP.

That combined with the fact that VAO that came in version 3 is the last feature makes all threats to force you to update weak at best.

As hardware peaks you can stop worrying about new things and write software that never goes bad.

The wheel has not been rediscovered for a long time. Focus on the vehicle instead = bike.
Petty - I don't think so. They're based on legitimate health and well being concerns. You're free to destroy your health/future, but not mine. Whether they're right or not (and I think they are) is irrelevant. They're not petty.

Uncalled for - the context here (the bill) is about banning certain things related to mining on PoW blockchains for environmental reasons. Comments to ban PoW blockchains entirely for the same reasons is called for. Again, this is irrespective of the commenter's correctness.
Language and bureaucracy? The UK and US both speak English and are closely aligned in terms of business practices, and even the smaller East coast Uk time zone difference has a bearing.
The point here is that it simpler to have just one NMT engine in WebAssembly shipped bundled in the extension than runs in all platforms for free, instead of having to support and distribute multiple native builds of the engine that would be sideloaded and communicate with the extension via native messaging.

When the project started for example, the engine has incompatible with ARM, which we could just get for free with WebAssembly. The performance penalty of doing that was minimal for the user eyes, and so far we received less than a handful of complains about it.

Bundling the entire engine on Firefox was never an option for many obvious reasons.
Could you please elaborate the advantages of pow crypto mining that outweigh the environmental concerns associated with it?

Please cite specific, real-world examples if possible, not vague ideas and promises that haven't come to fruition yet.
Books I've Read
The label pays (via cash, favors, festival tickets, etc) for Spotify / radio stations / ads / tv-shows etc etc to play your song.

Discoverability is a huge issue, more songs get made every year.

How do you recon the ”Hot new artists” list on Spotify is created? There’s a ton of deals, payments and polics behind it - and getting placed on a list can make/break a career.
Still, I think rust need another 3-4 years to be beginner friendly.
But we'd like to see a code example, doesn't have to be an interactive live version.
French is being trained by the consortium and is part of the scope of the grant, so we should have it at some point in June and we'll ship and update as soon we have it.
> Shopify

There are probably good e-commerce platforms, but shopify is so slow and so shit that it actively turns me off everywhere I find it. It's immediately noticeable due to the slowdown, which ends up frustrating me so much I only tolerate it if I absolutely must have whatever it is they sell (and cannot get it literally anywhere else). I doubt I'm alone in this.
> Regulation of resources is based on scarcity. When water supplies dwindle, you will prioritize drinking over industrial use and farming.

Is this really true in practice? I don’t live in the US, but there were some threads about quite the opposite happening in California: government regulating availability of water in households while raising prices, and at the same time making water cheaply available and wasting for almond production in a desert.
Current Bitcoin usage is literally a rounding error of global energy usage (0.1%) and if wildly successful would still be < 1% of energy usage.
https://www.lynalden.com/bitcoin-energy/

However, when miners concentrate in one place the energy usage is certainly noticeable. This bill is for the New York senate. Banning mining from using more than 1% of the grid energy in their location would make sense. Better might be to require mining to shutdown during peak energy usage. At peak energy becomes the scarcest and fixed rate users may be subsidized. It is also usually the dirtiest at peak due to peaker plants coming online.

Edit: others are saying this bill ends miners from operating non renewable power plants- that also makes sense.
I used something on my Psion for many years, then Quicken for a long time, Gnucash and now a much simpler budget driven Excel workbook. Probably looking at Sqlite and Datasette next but tbh the simpler the better.
a lot of swes in China use pinyin (which is a romanization system for mandarin Chinese) for naming variables/func/etc

basic vocabulary such as time/test/thread/doc/… might be used along with Pinyin as well, so you will see things like dingdan_time, testJieguo, as a Chinese myself, I found this really hard to understand without a broader context since Chinese is a tonal language..
So we should all be using Spark Ada?

Safety isn't an all or nothing thing, and in most cases, rigorous safety comes with tradeoffs. In some applications those tradeoffs are worth it, and in others they're not. A small project probably doesn't need to be provably correct, because it's easy enough to analyze it, and you aren't gaining much if the more rigorous language is unwieldy (they often are); similarly, a large enterprise project is harder to analyze, and has larger costs if there are CVEs, so a safer language is probably a good fit. Note that this doesn't necessarily mean rust, though -- garbage collected languages sit here, too. Rust sits in the niche of "big enough and / or critical enough to justify rigorous safety", and "high performance really matters".
Why do we need speech recognition built into web browsers?

The only one I see using this is Google on their search website. This is fucked up.
Not everything in life is simple and in particular; nuances matter very much when it comes to understanding other Cultures/Social Structures.

Anecdotes like yours really bother me because they sound so outlandish that their veracity cannot be taken on faith. Having spent a considerable part of my working life in the US, i can state that never once has the subject of Caste ever been a topic of relevance with my Indian colleagues i.e. it has never ever come up in any discussions, implicit or otherwise. None of my American colleagues knew much about it; and i have worked across a bunch of companies so the sample space is quite spread out.
Hey I’ll pick up after my cats any day
Hey don, long time!

So the thing with crypto: yeah sure there's bad crap on the margins, but the core of crypto is a completely new, faster and more flexible way to handle money, value, ownership and control. I liken it to "programmable money" but even that's too simplistic. With programmable real estate, the line between rental and ownership can blur, softening the risk and lability for owners, and creating more responsibility and upside for renters. A Bored Ape is a club membership and flexible ownership in a rapidly expanding brand that earns licensing fees: the folks at Disney are paying close attention. A $1+mm apartment is worth $1mm because people say it is and because zoning limits supply, not because the sum of the wood and metal adds up to $1mm.

Today, we spend enormous time/energy/etc on nonsense that should be one line of code, from incorporating companies to paying taxes. As crypto continues to mature and weave itself into business systems, these processes become lines of code that execute while we conduct business. You spin up a company with complex ownership, conduct the transaction, send money to and from the parties (incl government) and year it all down - in seconds. Today, you need weeks and lawyers, accountants, notaries, etc. It's insane.

As for the environment, we can't save our way to success: the solution is either geoengineering or murdering billions (plural) of people and slowing the rest from breeding. I'm hopeful for geoengineering.

Anyway, we can raise our fists to the sky, but the next generation is going to demand 24x7x365 business and banking, have taxes woven into transactions, sophisticated fractional ownership, etc.
Works on safari for iPad. Well, I didn’t give it mic access or answer any questions, but it asked them.