Every analyzed article

GitHub - cristianoc/TScert: TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof. (github.com)

*sshole · sshhole.com (sshhole.com)

Moment of Ruby: an argument for nothing (aha.io)

Awesome repositories are no longer awesome (erikgahner.github.io)

Italian chef fired from Queensland restaurant after refusing to put pineapple on pizza (bbc.co.uk)

ERNIE 5.5 Flash Base · ERNIE (ernie.baidu.com)

CSS Feature Clips: Looping Product Demos Without Video (stepshots.com)

Being a kid making games in the early 2000s (jaytholen.net)

ERNIE 5.5 Flash Base · ERNIE (ernie.baidu.com)

TextEdit vs. Pages (leancrew.com)

Chip art (en.wikipedia.org)

Want to Rent an Internet Address at the White House? – Krebs on Security (krebsonsecurity.com)

Devlog ⚡ Zig Programming Language (ziglang.org)

[Mbed-tls-announce] Announcement: Future Maintenance of Mbed TLS - mbed-tls (lists.trustedfirmware.org)

Altera Announces Agilex 2X, a Complete FPGA & SoC Portfolio Built for the Future of Intelligent Systems (altera.com)

Walker Playground (markblah.github.io)

So my ISP was hijacking my DNS (karthihegde.dev)

Spreading Liquid with three.js | mofu (mofu-dev.com)

11 nanoseconds per word: Ridiculously Over-Optimizing Anagrams | Wiredream - Dave Andersen's blog (wiredream.com)

Frustrated Ranchers Want People To Quit 'Rescuing' Their Working Guardian Dogs (cowboystatedaily.com)

I wanted to write in my ebooks. So I built PageScribe. (aspireai.kiranadimatyam.com)

A thousand fewer paths to root (openai.com)

Introducing Images 2.6 (openai.com)

You’ll need nerves of steel to work with AI agents (orchidfiles.com)

bf16 might be freezing your weight updates — Lacuna (lacuna.tiptreesystems.com)

Introducing Images 2.6 (openai.com)

A thousand fewer paths to root (openai.com)

Coffee’s new status symbol is a machine without plastic | CNN Business (cnn.com)

PC Deal Check | A second opinion before you buy (pcdealcheck.com)

ai poisoning: are we using ai, or is ai using us? (blog.sparkcan.com)