Home » programming language
November 6, 2023
By
Mark Otto
Today we’re excited to tell you about the Kani Rust Verifier (or Kani, for short), an open source automated reasoning tool developed by Amazon Web Services for analyzing and proving properties of your Rust code. Like other automated reasoning tools, Kani provides a way to…
September 21, 2023
By
Mark Otto
▶ TypeScript Origins: The Documentary — You know you’ve made it when you get your own documentary! This has just dropped but is well produced, packed with stories from TypeScript’s co-creators, users, and other folks at Microsoft, and kept me entertained. It goes particularly deep into…
September 7, 2023
By
Mark Otto
😅 We’re back! After two weeks enjoying the blistering desert heat of Las Vegas and downpours of Storm Hilary, I’m ready to get back to the weekly JavaScript roundups – fingers crossed we’re here each week till Christmas now 🙂__Peter Cooper and the Cooperpress team Good…
July 27, 2023
By
Mark Otto
Hono + Htmx + Cloudflare: A New Stack? — A lot of people seem to be jumping on htmx lately as an alternative to the complexity of frameworks like React, but what if you want to keep using JSX? Hono is a (vaguely Express-like) Web…
July 20, 2023
By
Mark Otto
TypeScript and the Dawn of Gradual Types — From GitHub’s ReadME project comes a thorough journalistic take on how static typing made it into the JavaScript world, what TypeScript offers, some alternative approaches, and the possibility of adding type annotations to JavaScript iself. Mike Melanson (GitHub)…
June 8, 2023
By
Mark Otto
Announcing TypeScript 5.1 — This release of the statically typed JavaScript superset is a gentle ‘quality of life’ step forward rather than a featureful extravaganza, but we get support for linked editing of JSX tag names, namespaced JSX attributes, the ability to have unrelated types…
May 30, 2023
By
Mark Otto
▶ ‘I Tried 8 Different Postgres ORMs’ — A modern, fast-paced, and slightly irreverent meme-heavy look at the various ways in which you can interact with Postgres (provided serverless by Neon, in this case) from a backend JavaScript app. It’s pretty neat as whirlwind tours go.…
May 25, 2023
By
Mark Otto
DeviceScript: TypeScript for Tiny Thingamabobs — DeviceScript is a new Microsoft effort to take the TypeScript experience to low-resource microcontroller-based devices. It’s compiled to a custom VM bytecode which can run in such constrained environments. (A bit like Go’s TinyGo.) It’s aimed at VS Code…
April 18, 2023
By
Mark Otto
Node.js 20 Released — A quirk of fate meant this issue was delayed for a couple of hours and.. Node v20 was launched in that time. Phew! This means we haven’t had much time to digest the news, though, but the key updates include: Experimental support…
April 13, 2023
By
Mark Otto
The JavaScript Equality Table Game — Minesweeper will feel like a walk in the park after this reminder of the horrors of JavaScript’s ==. If you need to go in depth, Section 7.2.14 of the ECMAScript spec will help, but otherwise? Stick to three equals…
