skysight-inc/HackerNews huggingface dataset:
Not having types is a virtue for the web, where interfaces can change in weird ways. Dynamism leads the engine and the JS code to be less tightly coupled. So, there’s more wiggle room for evolution in the engine and more wiggle room for portability defenses in JS.

So, it just depends on how important the benefits of dynamic types are versus the benefits of static types. I don’t think static types of dynamic types are better; they are just good at different things.
> And it slows development down.

This can depend really heavily on what you mean by "development." If it's just getting the first version banged out, sure. If it includes coming back to code a couple years later in order to incorporate a new business requirement, having that documentation present can be a really big deal. 2 seconds spent typing out a type hint now might, down the line, save several minutes on average. Even in a recent Python project I did over the course of just a couple weeks, when I got to the "clean the code up and get it ready to put on the shelf for now" phase of the project, I ended up wishing that I had bothered to use type hints just a wee bit more when I was banging it out in the first place. It would have been a net time saver.

I don't like static typing super a lot in all cases because it makes it hard to do data-level programming. Which I find to be the true productivity booster in dynamic languages. But optional typing seems to hit the sweet spot for a great many purposes.
I dont have access yet.

But we want something more subtlety:
"Will it rain in San Francisco on July 5 2025?" -> "I cant know".
"Will the sun rise in San Francisco on July 5 2025?" -> "Yes, of course"
And "Will Obama give a speech in 2125?" -> "Not unless life extension tech takes off"
We're nowhere close to xml.

Namespaces, externally defined entities, CDATA, oh my!
I am going to raise my hands and say I have heard from them. I logged a support request on March 24th (the day the UK went into lockdown, so I was already expecting a delay). I finally got a response back on July 20th. It is a shame they are slow, as they have been really responsive in the past.

Hope that helps set a bit of a benchmark!
> One (very probable) outcome is the large community of unintegrated immigrants will detach from the responsibilities being placed on them.

What do you mean by that? That they will stop working and paying taxes? Do you have any evidence to support that assertion?
This is clearly over more than TikTok, it's just the most convenient target.

I can see both sides. The US doesn't want Chinese tech because China won't allow US tech. That's really what it boils down to. And I can't really blame the US for it because China has locked out US tech companies for decades.
It's unconscionable they still hadn't implemented any sort of rate limiting.

It should have been there from day one. For the protection of their customers, and their own infrastructure. After the string of "zoombombings", it should have been a top priority and received ongoing attention from their CEO until implemented.

When I began using the platform, I assumed the randomly generated meeting numbers were buttressed by adequate account and connection attempt monitoring on their back end to make them "secure enough". After finding reason to suspect otherwise 5 months ago, I contacted Zoom about it twice and never received a response (from what I can tell support is overwhelmed and tickets even for serious issues like security breaches and billing errors can take months to hit human eyes).

The password-in-the-link approach felt to me like security theatre. Yes, it adds value, but really doesn't amount to anything more than a bit of additional URL obfuscation (particularly given the length and character limitations), unless you're distributing passwords separately - which can be onerous for attendees.

Hats off to this researcher for forcing the issue and finally incentivizing the company to work on cleaning up their act. But it makes me worry about where else in their platform they took shortcuts. They've really nailed the "frictionless" part (and I commend them for that) but I'm convinced you can achieve a friendly user experience while still maintaining a basic level of security.
> The chance of them being an asymptomatic carrier is actually pretty low

I'm thinking this may be true. Dr. John Campbell has a fantastic video[1] that suggests we may be overlooking one possible symptom in otherwise asymptomatic populations: Skin rashes. That doesn't mean, of course, that everyone gets skin rashes with COVID-19, but it appears that it may be an early clinical feature of the disease even in people who are otherwise spared the worst.

[1] https://www.youtube.com/watch?v=BeKDzwhi8nw
Our default deployment option is cloud first for both training and inference at the moment, but we have thought about the ability for users to export a trained model. Either exporting the model parameters in some standardised format, or a compiled predict function, or a docker image that encapsulates a full inference service, etc. So if you could use this kind of export within your application, this would allow on-premise inference. This is something we could probably make available pretty quickly if necessary for your use case.
No!

For the old-school feel it must be without javascript
Having a disincentive for merchants to have many refunds makes a lot of sense.

The reasonable thing to do is to ramp up the fees based on the number of refunds. You want to push away the crappy billers, but not hammer developers that have the occasional bad release.
I have a few websites. I figured I'd go set this up. Can't be more than just sticking a meta tag in your html with a bitcoin address in it or whatever right?

No, you need to sign up with coil.com first, and then you need to sign up with some wallet provider as well and hook them up together or something.

Pass
I read it as the internal monolog (as well as the answers) are generated by GPT-3, but the prompts (list of questions + answers used to seed the conversation) had internal monologs written by OP.

It is indeed pretty interesting to read.
What would be an example? Someone convinces you that devastating climate change is unavoidable? Or that life is meaningless? Here's an idea, an axiom perhaps: It's impossible, by definition, for any idea to be innately pessimistic.
I feel like I can almost visualize the killshot slides that the HipHop and HHVM folks used to show the extent to which PHP can be CPU bound and the extent to which server idle time can be increased by using speculative compilation tricks on PHP.

So, I think it is cpu bound for at least some people.
Anyone want to help me with marketing?
Right now I'm giving away a total of $50 on my website for free. All you have to do is enter your email and tell us how you feel about social media in a good comment (the rules are on the website). My goal is a social media platform where freedom of speech and authenticity are more valued than being fake and looking for clout. https://sympocia.com/
The type checker implementations (eg; Steep, Sorbet) should throw an error at `return 42`. If `some_function_that_might_not_be_declared_in_an_rbs_file` is not known, the behavior may be configurable – it could be assumed to be something like `any` or assumed to be unsafe, and error until you declare that function. I think Sorbet has this configurability today, and I'm not sure about Steep's behavior.

Steep: https://github.com/soutaro/steep

Sorbet: https://sorbet.org
Off topic, but it's a bit uncanny how her facial features resemble Bezos's in that picture. I could have thought she was his sister.

Does anybody know if there's a name for this phenomenon? That is, selecting partners that look like you? And how common it is?
Live: FAANG CEOs testify before Judiciary antitrust subcommittee
I'd say that the JVMs (particularly Azul's) are more advanced at this. Even with types, they sill speculate in order to inline across virtual method calls.

But agreed that the amount of perf JS engines can achieve is truly impressive.
I'm not trying to generalize, because I know poor people who are poor through no fault of their own (and we should provide public support for them), but I also know a larger number of people who contributed to their own dire financial situation and it wasn't because they couldn't afford quality boots, it was because they over-extended themselves with new cars, a way too big house, the big screen TVs and expensive trips and meals.
This could help make pick-from-retail shopping services work better. Make a pass through the store every half hour and update what's out of stock for online ordering.
I just looked at our app store connect Sales and Trends page and for a $100 item: Apple proceeds $70 to developer and takes back $70 again from the developer on a refund.
My job isn't necessary, but I still have it.
How can handguns or other small arms both be a scourge that are used in the majority of gun homicides, and also "ineffective" at the same time?
JSON has null. https://www.json.org/json-en.html

The main thing I miss is dates.
Difficult questions like that are exactly why matz refused to integrate this into .rb file syntax!
The intention right now is for the StdLib to provide known types to build off of written in RBS. There's no requirement to use them necessarily.

Steep and Sorbet are second-level, they build off of RBS. Matz has mentioned offhandedly in conversations I'd had with him in the past that there's a ton more in store with RBS beyond just type checking, so we'll see where they go with it.

As far as YARDoc I've been eyeing that one for a while now since I first heard about Steep at a Braintree Ruby meetup before Soutaro was at Square. We're still talking about what and how as far as that one.
I consider things like the deaths of hundreds of thousands of civilians in the Middle East or the treatment of children in US border camps to be "areas that really matter". For some very strange reason, most Americans I have spoken to find it unreasonable to treat companies like, say, Github or Microsoft with the same level of vitriol that is currently being leveled at TikTok for being affiliated however tenuously with the CCP.

My career would pretty much be a non-starter if I refused to use such companies' services for just as solid (if not more solid) ideological reasons as the ones that are apparently driving y'all to approve of bans/other boycotts of TikTok. As a pretty much neutral third party I've come to the quite logical conclusion that the outrage is largely hypocritical theatre and is thus not really much of my concern.

(It is worth nothing that there are Americans who for instance pressure Github to drop their ICE contract. As far as I can see they're a minority without the influence to make a difference.)
Would an electric bike close the gap? It's not as expensive as a car. It's also better for the environment and your body. A $3k car might sound like a better deal than a $3k bike but then you'd have to pay for fuel and maintenance.
I'm curious what you mean by "data-level programming."
Have you applied for jobs in those countries? Looked into immigrating?
>Some people are poor because of their habits and inclinations and they just don't change those habits (for one reason or another), so they stay poor.

That's true. But often the reason they have those bad habits is they were taught them by the environment that, through no choice of their own, they were born in.
two-pizza teams makes no sense. I eat 2 pizzas myself, so is every individual a team at a company?
I did read this when it was first posted, I've been working on/off since then ha(wrecked sleep pattern). Was trying not to flood/chain responses.

There are many examples of people overcoming crazy challenges, makes for a nice story but also having a regular/"painless" life is also nice. I did not enjoy riding the Walmart bike that far/many hours. It was nice though the nature aspect.

I still think I am being lazy, not trying hard enough, about being an entrepreneur like did I really try... not drop shipping but building some service. I keep thinking is what I do worth it if it doesn't make money since that's my primary concern right now is getting out. (not be worried if I lose my job) I gotta stop responding haha, wish I could condense my previous posts.

edit: clarification, the car was a bad buy(not a car guy) it was just under $2K so I had a buffer but it was partially broken... so I had to drop money on it.
JSC speculates in order to inline across virtual method calls while also inferring types.

Also inlining across virtual method calls is just old hat. See the post’s related work section to learn some of the history. Most of the post is about techniques that are more involved that inlining and devirtualization.
I like how space key also works and how browser navigation is supported so that when I accidentally click too many times, I can use the browser's back and forward buttons to navigate between recent patterns.

My current favourite: https://skulk.org/cell1d/#s22492231 . Is there any way to learn what are the rules for this pattern?
I mean, it's just a chroot; it's the basic working "run a system without booting from it" that underlies a lot of base system tinkering and fixing.
Great article! Thank you!
The incentive for you to share your beliefs is that if you will not lead, someone else, invariably less discerning, less principled, and less honest will. This used to be considered a fundamental precept of Western civilization and its legislators, popularly stated as "[t]hose who are too smart to engage in politics are punished by being governed by those who aren't."

The historiography of this period, if humans remain extant, will discover the causal link between the rise of New Atheism and the rise of intellectual cowardice that by necessity emerged shortly after the implicit social norms of Christianity were intentionally jettisoned.

Being willing to sacrifice, not to inflict violence but to actively suffer, for the truth that one witnesses is a fundamental predicate of Western civilization. Even the Christian heretics of the middle ages, willfully executed for their idiosyncratic beliefs, viewed this as a sacrosanct duty as a human being.

If a polity actively consents to the silencing of the individual's ability to testify to their truth for the sake of Mammon, state persecution, the possibility of being stoned by a crowd of True Believers, or any other exercise of temporal power, civilization, that is the ability of a group of diverse individuals to exist for a future commonweal, is impossible to maintain.

The honest and earnest among this and past generations have voluntarily silenced and removed themselves from the possibility of being spiritual and intellectual leaders. The only result that can come of this abdication of responsibility is not their own safety but the endangerment of everyone within that society.

If you will not lead, you will be led by those that aren't so fearful, so future-minded, or scrupulous. If you would pretend to be blind, you will be led by the blind. And if the blind lead the blind, both shall fall into the ditch.
Ask HN: Best tool stack for Laracast-type instructional videos?
Need to produce some tutorial videos for a web framework. Would like them to be as high quality as possible. Should I just go Camtasia or something similar? ASCIIcinema? Scrimba? This will be mostly VS Code interspersed with screen renders of the resulting HTML, ideally with portions of the screen highlighted or with callouts from time to time. Preferred platform is Mac.
The same thing is happening with the major dynamically-typed languages adding optional static typing.
People absolutely do not agree on what "logic" is. Just ask people. Hell, to some people, it's nothing more than "I'm right."

>I don't really get the point.

The point is that it doesn't matter if people in general don't know that the word means, which is why I didn't refer to "people" but classification systems designed by and for people trying to understand political ideologies and orientations. The term "liberal" has definite specific meanings that correspond relatively narrowly.

> something I've never encountered.

Then you've never asked regular people what logic is or haven't noticed that their answers differ widely and hardly correspond to what philosophers and mathematicians mean. Nevertheless, the laity's ignorance does not dilute the meaning of the term.
well, obviously Youtube isn't going to read your mind and figure out you're a climate denier. It's going to recommend your videos based on previous viewing, this is a preview of what people who view these types of videos will see.

I would have thought anyone on this site could discern that but you're self-proclaimed climate denier so I guess you did your best :)
I prefer Python's typing module to this.
Please add to this otherwise excellent list:

LATERAL JOINs (PGSQL). In SQL Server & Oracle they are CROSS APPLY & OUTER APPLY.

This will change your SQL habits forever. Lateral joins give you the power of iteration in set-based operations that are mind-numbingly easy to implement and understand.
Wal-Mart in is using automatic floor sweeping robots with customers present. They're made by Tennant with electronics by Brain Corp. You can buy them through Grainger.
I have not read the article, but assume that their use of the term "poor" was carefully defined.
But there is a backroom to restock the shelves which is the real inventory. And that back room becomes the business when delivery goes mainstream. Some robotics solutions are about building a whole warehouse for that store room to fulfill online deliveries.
Thanks! Prodigy is a good tool and we definitely were inspired by some of their UX decisions. Reducing each decision to a small atomic unit and avoiding context switching makes a lot of sense.

Our starting place is similar to Prodigy in that we also see active learning as a key piece of the puzzle but we think to make active learning work reliably really does need taking into account parameter uncertainty. As far as I know Prodigy doesn't do this. We are also working to make our active learning work at the level of batches and be cost-aware. Often the most valuable examples to label for the model are the most time consuming for humans and we work to trade this off.

A few other differences are that we do offer a cloud hosted solution so getting set up is much faster and it's more natural for us to be able to accomodate team annotation and quality assurance. By providing a hosted model we also give you the option of deploying features very quickly and continuing to improve them post deployment.

I'd be curious to know the barriers that Saas introduces for you?
That's a poor (and partially false) defense for Google's handling of the Bootloop of Death, for the following reasons:

I bought Google's flagship handset online from the Google Store. It was branded as the "Google Nexus 6P", it was shipped to me by Google, and it bricked itself while booting after a Google-supplied Android update. Google provided and managed the warranty. I had one warranty claim with them prior to my phone bricking itself, handled entirely by Google; Huawei was not involved in that claim at all.

My relationship as a consumer of a Google product is with Google, not with its contract manufacturer.

The Bootloop of Death affected multiple SKUs across different Nexus models. The 5X was manufactured by LG for Google, and the 6P was manufactured by Huawei for Google. The Bootloop of Death was present on both models.

If Google has a quarrel with Huawei, LG, or another contract manufacturer over the cost of managing a defect, that's their prerogative. However, I am not party to that quarrel. I am just a customer who bought Google's flagship handset.

Google suggested that I contact the nearest Huawei service center...in mainland China. The company took an arrogant "who, me?" attitude toward its flagship handset, and tried to weasel its way out of dealing with valid customer complaints, rather than taking some semblance of responsibility for an obvious problem.

> The Nexus phones were these shared branding between Google and the makers (LG, HTC, whoever)

This is not true. The Nexus 6P was marketed by Google, not in a shared manner. You're thinking of the Nexus 6, a Motorola-made device that preceded the 6P and was offered in some markets without Google branding.

> With the Pixel line, Google fully owns support of the devices, which makes it a bit easier for Google to deal with customer support issues like this.

Google fully owned support for the Nexus 6P until the bootloop issue came around, at which point Google changed its policies. Also, Pixel devices have been manufactured by competing handset manufacturers for Google (Pixel 2 phones were manufactured by HTC and LG).

The result of my experience is that I will never, so long as I live, ever buy another Google hardware product. Not a single one. I will not buy a Nest Thermostat. I will not buy a Chromecast. If my best friend has a lapse in judgment and makes the mistake of buying a Pixelbook, I will wait for him to leave it on the couch, unintentionally sit on it, and buy him a 16" Macbook Pro as a replacement -- apologizing profusely all the while, unlike Google support which was ostensibly trained not to use the phrase, "I'm sorry." Every time someone tries to defend Google for its handling of the Nexus Bootloop of Death fiasco, I add twenty years to the length of time that the trustees of my estate will prohibit my assets from being used to buy Google hardware products after I am dead and gone.
This syntax is horrible. I'm surprised they didn't just copy Python's typing syntax.
One developer has said (below) this didn’t seem to be the case for him, so it’s possible the original tweet poster was confused.

I have heard this rumour before and it does sound like Apple deserve the right to do this, so perhaps it varies on a case by case or region by region basis? But seems to be hard to find concrete information either way strangely!
You can run Python type check before runtime at the cost of start time, or better before GIT commit or push (Git Hooks)
This is wrong.

I just looked at our app store connect Sales and Trends page and for a $10 item: Apple proceeds $7 to developer and takes back $7 again from the developer on a refund.
Although the two are often conflated. If you grow up in a poor area, it‘s easy to become fatalistic and drop into a victim mentality, even though you might actually have a fighting chance to get out. Likewise, you can maneuver yourself into situations (through bad habits or whatever) that you will no longer be able to get out of on your own.
The best type definition languages do not introduce redundancies. They describe information that is not already in the implementation itself.
Great. At 12MHz and 1M RAM that's still above an Atari ST or Amiga 500.

There used to be plenty of such computers based on 8bit to 16bit discrete CPUs (Z80, 680x, 8255, etc), with schematics in electronics magazines.

This was great because everything was simple enough that you could fully understand and use 100% of the hardware yourself and code 100% of the software yourself. And all components were standard discrete ones (like this project), not SMCs, so there were also very easy to handle.

You did not even need a PCB. I once built such simple computer based on a Z80 using good old wire wrap [1] on a prototyping board, which was quite a common thing to do, but quite a torture to be honest and I would not want to try with a 68000...

[1] https://en.wikipedia.org/wiki/Wire_wrap
But that is still cheaper than paying rent for 30 years
Wouldn't real world use cases be a technical advantage?
That antitrust falls under the DoJ in particular? Probably not. That enforcement falls under the executive and making new laws falls under the legislature, as taught in every introductory high school civics class? Sure.
Breakthrough method for predicting solar storms
Has someone made a version of this but as a type definition for Typescript? I'd find that interesting and wouldn't mind contributing to a Github repo.