natded

This covers it up well:

https://developer.mozilla.org/en-US/docs/Learn

If you click through there are "Intermediate Reintroduction" to JS / web dev there somewhere and some more advanced material.

Interface design, not an easy business.

This is much more fair than the government and the so-called independent media doing it through back-channels, no? I personally would prefer if my government named the office that controls national broadcasting as the "The Department of Information" or better yet, "The Department of State Propaganda"

Some interesting links:

> https://twitter.com/oliverdarcy/status/1468064220843425796

> https://twitter.com/disclosetv/status/1469331084550852615

> https://twitter.com/AuronMacintyre/status/146832775301131879...

Most of the online discussion centered around China is just US domestic political projection using an imaginary China as a mirror, or as a counterfactual which doesn't exist, and then there's the obvious propaganda too.

Was about to come in and poast Keller, I see it's done, gj & have a nice day.

What is their revenue model? I barely understand the use case.

JetBrains Mono Thin is the single best programming font I've used. Just a complete treat for my eyes to read over the hours.

For me, it is "Pale Fire"[1] with semantic highlighting in VS Code.

> [1] https://marketplace.visualstudio.com/items?itemName=matklad....

Writing web-services in Rust is easy and I don't understand the OP's confusion about it. Web-services are highly concurrent and benefit from async, both of which are areas where Rust excels at - and Rust looks like JavaScript most of the time when writing these so it is pretty clear what to do here if you need scale and performance.

Then there's the plethora of other advantages you get from its great type system and inference etc.

Subtyping is mostly a bad idea so losing that doesn't matter.

Comparing Cargo package management to NPM is just silly. You can pull all the crates from crates.io and scan them for memory unsafety with Cargo and Rudra. I don't think anything similar is possible to do with C++ for example, let alone JS.

The alternative would be to arbitrarily slow down library development by including them in STD which is silly for many reasons (ie. it would hurt ecosystem, it would hurt the actual library development, it would hurt the STD development).

Twitter by far. You get a real time feed of the collapse.

"The Sea Peoples are a purported seafaring confederation that attacked ancient Egypt and other regions of the East Mediterranean prior to and during the Late Bronze Age collapse (1200–900 BCE).", interesting. I think the author is convinced they were Greeks, then?

A mystery incident of course.

I give you one better: https://en.wikipedia.org/wiki/Metcalf_sniper_attack

No problem, I enjoy reading about type theory and trying to apply them in practical programming as a hobby.

This is an issue with any ecosystem. The alternative would be to have them in standard library which is silly.

The actual solution I guess are domain specific languages.

None of the reasons listed exclusively argue for PHP; unconvincing. To start the article with the type system of PHP as a reason to learn it in $CY is insanity.

project-based / depth first learning is a better approach; you will simply implement what you need to from the platonic algorithms rather than mindlessly go through the tasks

There are probably several software engineers optimizing ads that would have otherwise made breakthroughs in some other technology, like I don't know, nuclear reactors. It is bizarre situation.

An interesting deep dive into UberEat's ad platform data pipeline architecture and implementation.

Linear Types are fairly new thing, you can read about them in constructivist logic (under the subset of 'linear logic', or 'resource-aware logic' or from newer type theory stuff under 'linear types').

I would recommend reading Harper's PFPL: https://www.cs.cmu.edu/~rwh/pfpl.html

OPLSS also has lots of videos about programming language theory and application, and the 2021 has a lecture series from Harper, introducing the topic:

https://www.cs.uoregon.edu/research/summerschool/summer21/to...

Couple resources I've used for type theory:

- https://www.andrew.cmu.edu/course/15-312/schedule.html

- http://cs.brown.edu/courses/cs173/2012/book/

- https://web2.qatar.cmu.edu/cs/15312/#schedule

- https://www.cs.cornell.edu/courses/cs4110/2020fa/schedule.ht...

- https://www.cs.cornell.edu/courses/cs6110/2019sp/schedule.ht...

- https://student.cs.uwaterloo.ca/~cs442/W21/notes/

More technical introductions to type theory:

- with AGDA: plfa.github.io

- with COQ: https://softwarefoundations.cis.upenn.edu

- with Lean: https://leanprover.github.io/theorem_proving_in_lean4/title_...

Constructivist Logic

- https://symbolaris.com/course/constlog-schedule.html

- https://github.com/michaelt/martin-lof - Recommend starting with the 1983 paper on logical constants.

Wow, thank you for the link, looks very interesting from abstract.

This is the only podcast I've ever bothered to listen to, its quite amazing (mean the series, but this particular one was very informative about unikernels)

Linearly typed Ocaml /when/

I know. I've just been going through an algorithm book and trying to implement them and the graphs were easily hardest to implement in Rust despite the pseudocode being simple as peanuts (and trivial in a GC language).

Rust really doesn't like pointers; and as such modeling graph data structures besides something like a DAG is a huge pain in the ass: there barely is any idiomatic way to make a mutable self-referential, undirected graph in std-only.

Their products make me want to kms thats all I know.

People who spread it will not register anything against their beliefs, its pure friend enemy politics.

I haven't 'done this course' as I am no student; but I did read through the book and did most of the exercises. Very good and I always recommend it when it comes to compilers. Helps you think in types / languages.