Taking care of your health and being vocal about it, is one of the best things that you can do for your own community. Things like going to the gym, reducing alcohol and sleeping well are viral, don't push people to it, but instead just share how great it has been for you.

This is a WIP, not an article because I'm not clearing this until I put more effort. My technique for proving the inductive types currently only works for "closed" inductive types in predicative settings. This is the case because inductive types carrying data, are not

Eu tô EMPOLGADAÇO pq amanhã a gente vai começar o lançamento oficial da nova fase da Cumbuca. A gente tá trabalhando pra caramba junto a clientes pra botar isso pra funcionar nos últimos meses e acredito muito que o que estamos fazendo é muito especial.

PESSOAS, a querida Ana Bastos está buscando um trampo novo! Ela mexe com TS, Elixir, Clojure, já trabalhou com Clojure no Nubank, e muitas outras coisas. Ela é bem ativa na comunidade, é MC na GambiConf, e merece nosso apoio. Se puder dar uma força compartilhando, agradeço 🙏

Deno 2.6 is here: 🛠️ `dx` is the new `npx` ⚡ faster typechecking with tsgo 🔒 improved security with `deno audit --socket` 🦺 safer deps with `deno approve-scripts` 🚘 source phase import support and more! deno.com/blog/v2.6

The long awaited Deno 2.6 is here

Deno v2.6.2 will ship with a major improvement to the debugger - Web workers, `node:worker_threads` and stopping in any test file will now be supported! This will work in both VS Code and Chrome DevTools. PRs for the curious: github.com/denoland/deno/… github.com/denoland/deno_…

Proud to have worked on this 🚀

Deno v2.6.4 just shipped with a fix for Intel Macs and a big performance improvement to `node:http` module. github.com/denoland/deno/…

Deno v2.6.5 just dropped with over 20 bug fixes, including support for GIF and WebP images in `createImageBitmap`, improved `node:child_process`, `node:sqlite`, better lockfile deduplication and more! Run `deno upgrade` to get the latest version. Full changelog:

I just published the pipeline runner for matching decompilation that I've been working on 🎉 Mizuchi automates the loop of writing C code, compiling it, and comparing against the target binary. It orchestrates a plugin-based pipeline that can leverage LLMs to generate code,

Deno v2.6.8 is out with an experimental Windows ARM build, improvements to `node:assert` and `node:sqlite` compatibility and 7 other fixes. github.com/denoland/deno/…

Deno Deploy gets new features as it gains GA status. ⭐ Runs any node.js app or framework ⭐ Tunnels ⭐ Postgres databases ⭐ Built-in traces, logs, metrics deno.com/blog/deno-depl…

youtube.com/watch?v=u1ppsG…

quick intro to Deno Sandbox

Good time to be CLI maxxing: - Neovim, e/plugins - tmux - smug (to start tmux sessions from YAML files) - git worktrees (multiple repo checkouts for parallel agents) - dotfiles in a git repo synced across macOS and Linux machines

🚀 Publish applications with Deno Sandbox! The Deno Sandbox SDK lets you create, manage, and deploy applications. Watch the demo: deno.co/show/sandbox/d…

Deno v2.6.9 is out with Markdown support in `deno doc`, checksum verification for `deno upgrade`, major `node:worker_threads` and `node:zlib` compatibility improvements, and 34 other fixes. github.com/denoland/deno/…

Skills for Deno development here github.com/denoland/skills

Deno Sandbox Get Linux microVMs instantly for you or your agentic coding buddy. Watch the full demo: deno.co/show/sandbox/c…