afiori

More like it was moved to a library

Now that python has a jit it could use them (not saying it should) for speculative compilation

My understanding is that currently python can collect type data in test runs and use it to inform the jit during following executions

Except that typescript structural typing and features make it much easier to swim.

Also python is far less aggressive with lint warnings so it is much easier to make mistakes

I don't understand, the parent says that not being C/C++ was a strong point and you give an counter example of a successful language that is not C/C++

In the discussion of static vs dynamic typing solutions like typescript or annotated python were not really considered.

IMHO the idea of a complex and inference heavy type system that is mostly useless at runtime and compilation but focused on essentially interactive linting is relatively recent and its popularity is due to typescript success

I think that static typing proponents were thinking of something more along the lines of Haskell/OCaml/Java rather than a type-erased system a language where [1,2] > 0 is true because it is converted to "NaN" > "0"

The problem is that globally the concepts of monopolies being bad and antitrust regulations being good have in practice left the current zeitgeist

There are already good html to pdf solutions, people using latex generally would not be satisfied with those

The matter isn't really that something is possible only in latex, but that a department/university might have its own template/document class of arbitrary complexity that you would have to reimplement

This is a very naive view of surveillance and government trust.

In many EU countries neither head of state/government are elected then.

I wonder if it would be worth compressing the bigint as an Uint8Array

So app state -> bigint -> bytearray -> compressed bytearray -> bigint -> packed utf16 string.

Probably it would but help much

Then at worst progress on those would be slower.

At best we would have less monopolistic global powers trying to rent us everyone of our freedoms

My understanding is that this is not a philosophy at all, it is an incidental result of a bad set of misaligned incentives, where to be promoted you need to start something new or drive growth and post launch maintenance/growth is weighted much less

If environmentalists had adopted nuclear as one of the renewables we would be burning a tiny fraction of the gas and coal we burn today.

Is that a problem with nuclear or with building almost no new ones in the last 25 years?

and if you have too many threads running you could have slowdowns in the system that prevent the race condition from happening

that is terrible for performance and some operations have external requirements to be sync

Async/await became ergonomic and widespread only recently, I am sure there were async systems in the '80 but for example nodejs focus on non blocking I/O changed how a lot of people thought about servers and concurrency (whether node was first is almost irrelevant)

Often when something is discovered or invented is far less influential[1] than when it jumps on and hype train.

[1] the discovery is very important for historical and epistemological reasons of course, rewriting the past is bad

My limited knowledge of Cap'n'Proto (read the docs once years ago) server and clients can peer stubs, so that is server C receives a stub originated from server A via client B then C can try to call A directly.

I think many are failing to come up with a more likely explanation for

> For me, the ultimate laptop bag is one that looks nothing like a laptop bag; it should look like nothing special at all.

they are saying that a H1B worker is in practice gonna get paid 100k less, cost 100k more to the employer, or something in between.

Also it could have been completely different and incompatible roles

I was always a fan of the Wheel of Law where every week a random law is selected and tweaked by chatGPT.

If you do not know the laws of tommorow you cannot game them and also makes long term planning way more exciting.

Marketing is a very wide field, even focusing on good service and good product is a form of marketing

The only sane configuration language is something similar to gron

https://github.com/tomnomnom/gron

I too would like to make this move, but one of the considerations stopping me is the risk associated with payments

Google: anonymous inscrutable guillotine

Fastmail: payments fail and I do not notice for too long

I agree, but my point is that a language can be useful even if it does not have access to everything

For server applications true, but the reason browsers made wasm was because they needed a safer/portable/standardizable alternative to PNaCl

Wasm is sandboxed at pretty much the same security boundary as js there is nothing a DOM-enabled wasm module could do (security/privacy wise) that JavaScript can't already do

The two main benefits of wasm GC are that compilers can avoid implementing or compiling a full GC but also that the guest and the host can share structured data types