skysight-inc/HackerNews huggingface dataset:
In the example, we can't tell if w is a generic function or not (by looking at this line of code). Remove the spaces, as would be more conventional:

w<x,y>(z)

Is this two expressions on one line or one expression with two type parameters? Possible groupings:

(w<x,y>)(z) // w is a generic function
(w<x),(y>(z)) // two comparisons
Looking for Funders
(AWS) Investigating connectivity issues for NLBs within the US-EAST-1 Region
> the iOS permission to track prompt is only if your app uses user device data for the purpose of targeted advertising by accessing the IDFA.

And that shouldn’t be an issue for analytics anyway because using the IDFA for anything other than advertising has always been prohibited. IIRC Apple checks if your app accesses this value and your app will be rejected if your app does and not contain any ads.
You can't check for nil on something that isn't nilable -- it's a compile error to do so in Go.

Your definition of "implicit nullability" is suspect here.

Go doesn't even implicitly de-reference things, which is what I think you're intending to say that it does. (EDIT: field access does cause a dereference, as was pointed out in a response to this comment. I still think of this as an explicit action when you're specifically operating on a pointer variable, but I'll concede this point here.)

Your position on this is really confusing at the moment. Go handles nullability in an extremely different way from Java.

Edit for your edit:

> clarification, to me it does not show in the type signature that something may return a null

The best way to know something won't be null is to use value types where possible. Don't return nilable values unless you have a good reason. When you return nilable values, only return nil when the error value isn't nil. This is a common pattern in Go code. Why would you return nil if there wasn't an error? If there was an error, why would you care what else was returned, outside of some very exceptional circumstances?

> also I do not have to unpack a possible null value (like with Maybe or Option).

I write Rust and Go professionally... I'm familiar with the pros and cons here, and I wish that Go would adopt Sum Types, but this has nothing to do with "implicit nullability", and in practice... it's really not a big deal. I've written huge amounts of Go code, and I just don't remember encountering nil exceptions in production except once in a blue moon -- and it is similarly common in Rust to hit an "expect" or "unwrap" that you thought was statically impossible to reach. Go has good editors (like GoLand) and linters (like golangci-lint) that make it easy to avoid most of the practical pitfalls.
Haxe is just great. The language, tooling and even docs has improved much over time, its joy to work with.
I've been using Haxe professionally to create html5 games for almost 6 years now. First started as hybrid solution to have both flash and canvas, nowadays fully webGL powered games with small/clean ES6 output.

I've been using Haxe for many applications; cli tools, generative art, websites, games, backends, tools etc.

Webdevs; There is a full-Haxe react alternative I've been using to create a website, which is called coconut.ui. Since its build with macros under the hood, it can have multiple outputs, which means you can output just its own renderer, but also react (+native), but you can use it to build reactive applications in other framework.

If you use lix (npm/yarn based) as dependency manager, you can require Haxe in CI, which also makes switching versions easily.
Are you seriously suggesting that the open source community has not a single idea that is worth considering by Apple?

Anyway, here is gnome 3:

https://external-content.duckduckgo.com/iu/?u=https%3A%2F%2F...

here is big sur:

https://cdn.osxdaily.com/wp-content/uploads/2020/06/macos-bi...

Let's take a look at one of the most shown off redesigned apps

Here is Mail.app (sierra to catalina):

https://external-content.duckduckgo.com/iu/?u=https%3A%2F%2F...

Here is Mail.app (Big Sur):

https://i1.wp.com/morrick.me/wp-content/uploads/2020/08/defa...

Here is Gnome's mail app (predates big sur by several years, even in this incarnation):

https://wiki.gnome.org/Apps/Geary?action=AttachFile&do=get&t...

So, Gnome's design and Apple's didn't exist in a vacuum. I'm not saying Apple told someone to go rip off Gnome 3, or that Gnome 3 is just better than Big Sur in some way. But I think it's altogether too harsh to deny it had any influence when we look at the changes from Catalina to Big Sur.
A relevant blog post titled "You (probably) don’t need ReCAPTCHA" [1] was shared recently.

[1]: https://nearcyan.com/you-probably-dont-need-recaptcha/
This isn't a new problem. "The internet is forever" is a adage I grew up with several decades ago. Everyone knows that if you post it on the internet, it can be copied and used against you.

What is new are the giant companies that profit greatly from encouraging users to deanonymize themselves and post compromising details on the internet, so those details can be mined and used for targeted advertising. I look at the adults who, just two decades ago, warned each other about what they put on the internet, and they're now on Facebook leaking nearly every detail about themselves and their private lives to the internet.
The previous version of our extension for VSCode was open source, but some months ago we rebuilt GitDuck and this new version is not. We have been thinking how do it (and if we should do it), but no decision yet.
What is the marginal environmental impact of a company adding 1BTC to its balance sheet?
Back before the plague, we used to include a short presentation round for senior hires on the final day. After all, a senior engineer is expected to occasionally explain and simplify potentially complex issues to people outside their immediate circles.

But we never made it a gauntlet. Presentation was for 15-20 minutes, on a technical and hopefully interesting subject of the candidate's choosing. It was also the first "real" interview slot, because the idea was always that by allowing the candidates to warm up on a topic they were familiar and comfortable with, they would be more relaxed afterwards. And of course we explained the reasoning to the candidate, upfront.

Sure enough - we have people who enjoy being exposed to new, interesting, technical things. If they learned something new, great. If they found the topic interesting enough to ask further questions thanks to their own curiosity, even better.

On the other hand, Spotify used to require an on-the-spot adlib presentation during their initial interview a decade ago. That was disturbing.
PET has a much higher melt temperature, which would degrade the HDPE. At HDPE melt temperatures, the PET would remain unmelted, which would probably cause strength and visual problems.
It's less of an expectation, and more about cause/effect. Every country wants their own military, they don't want to outsource it (by relying on NATO or Russia to protect them). So every country wants lots of money. The way you get lots of money is by capturing a chunk of the tech market. The US, Russia, China, parts of Europe, excel at this. The US enjoys being the reserve currency of the world, and having the highest military spending per capita. How did it get there? By cultivating high-tech. How did China get to where it is today? The same way.
Nice. Using it for pavers makes sense, too. It will have some elasticity, which is fine for pavers but bad for structures.

There are a few variants on this idea already. One is just to compress trash plastics into blocks, with no sand.[1] Another is a process more like brick making, where the material is melted.[2] That process is 20% recycled plastic, 80% sand etc.

There are problems. UV deterioration. Cracking at low temperatures (probably not a problem in Kenya). Flammability. Poor adhesion to mortar. In the end, it's still polyethylene.

[1] https://www.byfusion.com/

[2] https://www.irjet.net/archives/V6/i4/IRJET-V6I4238.pdf
These are mostly used for paving stones (or at least they were when I met Nzambi a couple years ago), so the flammability issue is not as much of a concern since they are not inside buildings but rather used for walkways usually placed in the dirt.
I don't trust that this is all they have about me. Wasn't there reports that they were generating dark profiles about people not even on Facebook (by mining contact information from others)?
For a brief moment I read Goblin
Well done, seriously well executed.
Nobody learns learn how to design algorithms from flash cards.

Mastering any skill requires sustained practice: driving writing, basketball, auto repair, carpentry, banjo, gardening, combat juggling, web development, teaching, and yes, even algorithm design. The multiple hours of homework each weak is that sustained practice.

If anything is a waste of time, it's the lectures.
> BTC provides no value other than being a store for value.

And exchange medium.
Not really. In PoW you convert money into electricity, then use that electricity to claim mining rewards. In PoS you lock down your money, then use it to claim minting rewards. The two are not fundamentally different, PoS just skips the "convert into electricity" part.
There is an appearance of fragmentation. If you look at the order from the supply chain it would lead you to believe this is not the case. It's not going to be even be easy for anyone in retail to get an ASIC miner for the foreseeable future.
I thought you were on to something really nice last year, and left you a long list of feedback on Indiehackers:
https://www.indiehackers.com/post/launched-landing-page-for-...

Nothing makes me happier than seeing you guys having come so far since then and having stayed so determined!
> And that challenge is compounded by the fact that Apple was Intel’s largest customer for premium x86 chipsets, and now Apple has moved to Arm, and x86 chips are not Apple’s future.

I'm skeptical that Apple was Intel's largest customer (I've heard that Apple was only 10% or so of Intel's business). Even if they were the largest customer, Apple wasn't important enough to make Intel bend over backwards.
I’m more interested in their compensation than how they get paid. I know lots of work is done by contractors.
A few years ago we were interviewing for a position, and one of the candidates was very up front with what the knew / didn't know -- however everything about this candidate showed that they would excel in the skills that were listed. Another candidate matched up with the skills we were looking for, and on paper was very impressive (same with the technical answers in the interview). However this person came off as a bit arrogant and inflexible. So we went with the less qualified, but better personality fit candidate, and that was one of our better hires.

So I can easily see the tables being turned the other way -- a candidate that doesn't have all the skills, but failed to wow us, would lose out to a candidate that better matched the skill set we were looking for.
There are also virtual webcam devices that don't take their input from a USB webcam, but from a smartphone app. Vulnerability? Luckily we're still free to install these kinds of software on our computers.
When I closed the tab, I continued seeing the effect on HN for a minute. Very unpleasant.
I think you want generics for many useful sum types (e.g. options) so you don't have to repeat your sum type definition everywhere it is used. Also, you can have options and matching without sum types (e.g. scala).
Oops, added!
You have to wonder why that was a choice, when they could serve/not serve ads based on location, instead of hard redirecting.
Where? In what contexts? It's not required for houses or town houses where I'm from at least. From the pictures I guess it's mostly relevant to larger buildings?
I think he's running with DWM turned off: https://superuser.com/questions/1016170/temporarily-disable-...
120k-Year-Old Cattle Bone Carvings May Be Oldest Surviving Symbols
I assume it’s because I’m using macOS/iOS content blocker and it’s blocking stuff the websites were using to identify me.
Is there a SOTA library for common web scraping issues at scale( especially distributed over cluster of nodes) for Captcha detection, IP rotation, Rate throttling, Queue Management etc.?
this is great/neat but took me awhile to understand what it was from the name. One second implies time of reading or...I dunno it's just confusing/unclear.
Yes, it's basically a side effect of activating Emergency SOS. The five-press shortcut works on all iPhones as far as I'm aware. As the doc says:

"If you use the Emergency SOS shortcut, you need to enter your passcode to re-enable Touch ID, even if you don't complete a call to emergency services. "
These manufacturer "drivers" are so incredibly obnoxious. How can Microsoft be powerless against this? I managed to reverse engineer's most of my laptop's features and replace the slow manufacturer software with my own. Surely Microsoft can pay professionals to do the same thing...
>Gold has an intrinsic additional cost to acquiring that is unrelated to humans. There exist deposits that are harder to get to in the world and it isn't currently economically viable to extract them. This isn't mankind's doing it is just a truth of the world.

I disagree. Gold was specifically chosen to be rare and hard to counterfeit. That's why we don't use sea shells as a store of value. In that respect I don't see how awarding value to holders of a shinny yellow metal is any different than awarding value to holders of a hard to find hash.
Samsung Foundry: New $17B Fab in the USA by Late 2023
Yeah, watching an infinite zoom will definitely leave you with a few seconds of motion "aftereffect."[1]

[1] https://michaelbach.de/ot/mot-adapt/
You're not required to do anything - you can simply close the page. It's as legal as any other code on that page the owner decided to put there. You aren't entitled to use the page in your way.
Yes, I think they should.

The difference between this and a tax is that it’s not done by the government, but for what it’s worth I don’t oppose that either.
The other thread (which now points to the original source) is here: https://news.ycombinator.com/item?id=26091536. There are paywall workarounds posted in the comments.

I don't know if it makes sense to merge these threads, because the point about environmental impact is mostly just a side comment in the original article.
I'm not sure why pip installing the dependency at the pinned version is an issue. Isn't that the point?

I feel like a lot of the issues people put forth as a reason for poetry and pip alternatives are a bit contrived, and more this is how npm|yarn|whatever do it expectations.
Do you have a link ready to any crypto that has a working proof-of-stake? Back when I was looking into this topic there was none.
Restfulness an open-source bookmarking project inspired by Delicious
Social media sentiment ETF to launch in wake of Reddit rebellion
My issue is giving free work for free to a company. I see no reason to help them in their chase of a 100B+ market opportunity for free. Some kind of "silly" captchas I might be OK with, if a website chooses them. But sometimes they interrupt (at least while I was using chrome) in the middle of browsing and block off a part of the internet for me until I do as they ask.
Seems like an Is/Ought Fallacy. Also, governments won't willingly surrender their control of the money supply. I think that with one stroke of a pen they could let the price /10 as fast as it went x10.

Moreover, since technology is accelerating ever faster, five years from now is a lot longer than five years starting from 1980.
> feels so natural

Yes. They are as important as records/structs a.k.a. product types.

> F#, OCaml, Reason, and Elixir

Haskell, Elm, PureScript, Kotlin, Idris, ...

> I know they add a significant amount of complexity to the language

Really? I dont think it can be so much more than generics :)

Elm has 'm and the whole language is 5k lines of code.
The menu bar is one of the most frustrating parts of macOS for me. It kills Fitts' law when navigating browser tabs, which is what I'm trying to do up there 90% of the time.
A First Peek at China’s Sunway Exascale Supercomputer
Aren't hr involved anyway??
> but no way to reset the arena & reclaim its memory. But then again, you'd have to make it so no allocations from the arena are alive & in use when you reset the arena

Looks like that implementation doesn't, but the borrow checker can definitely specify that sort of constraint (it looks `fn foo(self) -> Self`). I think it's not exposed because the code assumes that all but the last chunk are completely filled - but it could also just be that no one asked for that.
Command Line Crux: Query a bitemporal database with curl
Wait, doesn't Elm have parametric polymorphism like other ML-family languages? That's just as powerful as most languages' generics, and with a lot fewer brackets.
Show HN: Intro to Nano Cryptocurrency
Except I’m not sure they’re related enough. If OP’s book was a productivity guide based off bloom, for sure. Instead it’s a collection of learnings discovered while (although likely not exclusively while) developing the product.
Putting your rhetoric aside, you're mostly right. As someone that maintained an old Java project, a NPE was the most common type of issue that I had to deal with. The code was riddled with them and business logic often broke leaving me to deal with lots of support tickets.

That being said, implicit nullability leads to mostly human type of errors and comes from our limitation to fit all the parts of a complex system in our brains. I'm curious if there are example where machines write code and use plenty of implicit nullability without that causing any NPE issues ever.

Just a thought.
Yet we still pay a "crisisbijdrage" :P It's an additional tax on top of regular corporation tax.

EDIT: which seems to have been introduced in 1993 and never removed :-/
I'd say it depends on how you tune your tsconfig and linting. You can really crank all the knobs avoid nearly all of the JS pitfalls
Those first two sources are obviously biased to an almost comical degree. They're very much of the "those horrible Democrats want to take your freedom of speech" bent. Your third link has nothing to do with freedom of speech.

Yes, conservatives favour smaller government and fewer laws - actually that term means exactly that here in British politics too. But that doesn't mean any extra laws are necessarily liberal. Go back to my example of legislated racism to see that, which is clearly not liberal (in every sense of the word) despite requiring more laws and bigger government. Like the original comment I replied to, your comment and those sources come across a shallow attempt to insult Democrats by saying "look, this bad thing would require a law, and Democrats love laws, therefore they must want this bad thing!".

Maybe in this case my distance, as an outside observer, is actually helpful. I can see pretty clearly that Democrats wanting to limit freedom of speech is a rumour that doesn't reflect what Democrats actually want.
Just pick a random word to start with and let GPT-3 do the rest maybe?
A few days ago: https://news.ycombinator.com/item?id=26018649

A few weeks ago: https://news.ycombinator.com/item?id=25750582
Do you believe the Bitcoin network would be insufficiently secure if miners were incentivized only by the transaction fees and not the block rewards?
The cursive animation of 'hello' has the o written wrong. You're supposed to do a clockwise stop at 12 o'clock when drawing the 'o' and do a counter-clockwise back to 12 to meet. Apple would never mess that up especially when Steve Jobs was critical about typography on the early Macs.
Does you personally heating your house, or driving a car, or flying planes, for a year match the energy consumption of an entire country?

> At current rates, bitcoin mining uses the same amount of energy every year as the Netherlands did in 2019

Part of the problem is certainly in how the energy is produced. But another part of the equation is that this store of value, by itself, adds very significant amounts of consumption to that growth curve you mentioned.

Wish as we may that we could just snap our fingers and switch to clean energy, realistically that will not happen in the near future. Meanwhile, bitcoin mining will continue to consume as much energy annually as entire countries, and much of that energy will come from non-clean energy.

I'm not saying "let's burn bitcoin", or saying that I have a way out of this situation. But it's either a bit disingenuous or a bit naive to compare personal use of electricity to that of bitcoin's, in order to imply that only "self-righteous internet users" need to concern themselves with it.
Compared to other methods of money transfer I think Bitcoin does pretty well in terms of its energy usage. How much energy is used printing money and shipping it to various banks in Brinks trucks? How much is used building and operating millions of bank branches/ATMs worldwide?
This sounds more like you have some kind of malware that's getting you to solve captchas so they can sell the results?
It's really built for the use cases that we face when developing software. It has direct integrations to your IDE and terminal, so you can share your code and collaborate with people (without having to combine a lot of different tools for the job).

It also works cross-IDE, so you can be using VSCode and your colleague IntelliJ and that's fine.
http://ftp.dell.com/monitors/Dell_SX2210-Monitor_Webcam%20SW...

enjoy
> Even templates in C++ are notorious for puking near impossible to decipher errors.

"Even"? I actually miss the macro-like power of templates when I'm using generics in Java and C#, but generating the longest possible error message using templates is practically an Olympic sport. I presume that SFINAE is partially to blame, because a lot of the output enumerates all the candidates that didn't match.
Since type erasure was mentioned, it's worth noting that Philip Wadler (of Haskell fame) was involved both in the design of Java generics [0] and of Go generics [1].

(Perhaps I should clarify that I don't have a strong opinion on type erasure.)

[0] https://homepages.inf.ed.ac.uk/wadler/gj/Documents/gj-oopsla...
[1] https://arxiv.org/abs/2005.11710
> Should companies that buy conflict minerals be put to task for that as well?

They very frequently are.
>$44,000
this just seems self-centered. why do we expect access to everything on the internet for free? captchas are hardly a significant price..
For those who don't get the reference: it's a projection of the first line of The Metamorphosis by Kafka.

https://en.wikipedia.org/wiki/The_Metamorphosis
I went through something similar as a Junior engineer, except the presentation didn’t get cancelled.

The experienced engineers in the audience absolutely tore me and my code apart. It was a blood bath and semi-traumatizing.

On the upside, I took their criticisms seriously and came out a better engineer in the end.
Universal encryption is a defense against blanket vacuuming of communications for later offline analysis. Its a defense against a massive parallel MITM attack against the world's communications infrastructure.

Its not a defense against targeted attacks of individual devices.
"The Go compiler is fast."

This was Google's motivation for Go and the reason it was designed the way it was.
Oh, I'm not saying math was, I was responding to the parent comment which I interpreted as a comment on ~every~ (meant many) subject taught.
Of course.

All these articles and "criticisms" of Signal started popping up right after the recent WhatsApp mini exodus. What a coincidence.
Why would criminals not use expiring messages? Bizarre that you’d go to these lengths to use e2e chat and then not expire your messages after say an hour.