ifdiego's profile picture. Software developer.

Diego Alves

@ifdiego

Software developer.

Diego Alves 已轉發

I love Zstd. It is my default goto for anything compression related: it has a sweet spot between availability (it’s now standardized!! RFC8478), complexity, performance and compression ratio. My favorite thing about it are the skippable frames. Just a killer feature. It’s not…

vmg's tweet image. I love Zstd. It is my default goto for anything compression related: it has a sweet spot between availability (it’s now standardized!! RFC8478), complexity, performance and compression ratio.

My favorite thing about it are the skippable frames. Just a killer feature. It’s not…

Diego Alves 已轉發

Meet Boo Code Editor 1. Movementation based on lexical 2. Movementation based on combo system (more details soon) 3. Introduces a replacement for LSP architecture 4. Editing predict Fast, powerful and offline first.

raphamorims's tweet image. Meet Boo Code Editor

1. Movementation based on lexical
2. Movementation based on combo system (more details soon)
3. Introduces a replacement for LSP architecture
4. Editing predict

Fast, powerful and offline first.

Diego Alves 已轉發

Essa aula de parser do @rdrnavarro eh mto boa pqp, desde quando eu vi pela primeira vez nunca mais esqueci como se faz um parser github.com/reu/parser-com…


Diego Alves 已轉發

parsers in Rust are a vibe

_Felipe's tweet image. parsers in Rust are a vibe

Diego Alves 已轉發

Go deveria ser uma das principais langs para aprender computação, pois une facilidade com conceitos mais low level. Veja, a função de benchmarking é incrível (e nativo)! Olha como eu consigo saber que um método é mais eficiente que outro. Rodando uma simples funçãozinha de…

felipalds's tweet image. Go deveria ser uma das principais langs para aprender computação, pois une facilidade com conceitos mais low level. Veja, a função de benchmarking é incrível (e nativo)! Olha como eu consigo saber que um método é mais eficiente que outro.

Rodando uma simples funçãozinha de…
felipalds's tweet image. Go deveria ser uma das principais langs para aprender computação, pois une facilidade com conceitos mais low level. Veja, a função de benchmarking é incrível (e nativo)! Olha como eu consigo saber que um método é mais eficiente que outro.

Rodando uma simples funçãozinha de…
felipalds's tweet image. Go deveria ser uma das principais langs para aprender computação, pois une facilidade com conceitos mais low level. Veja, a função de benchmarking é incrível (e nativo)! Olha como eu consigo saber que um método é mais eficiente que outro.

Rodando uma simples funçãozinha de…

Diego Alves 已轉發

We shouldn’t be teaching beginners that multi-dim C arrays are any good for representing matrices. Go straight to something like dlpack (simplified).

Something I feel a lot of introductory C material misses is that you can just wrap individual values in structs to help make things clearer. For example, things like int*** that look confusing on the surface can be represented as structs with no extra runtime cost.

nicbarkeragain's tweet image. Something I feel a lot of introductory C material misses is that you can just wrap individual values in structs to help make things clearer. For example, things like int*** that look confusing on the surface can be represented as structs with no extra runtime cost.


Diego Alves 已轉發

📣 We're excited to share the new lean-lang.org! Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it! #LeanLang #LeanProver

leanprover's tweet image. 📣 We're excited to share the new lean-lang.org!

Relaunching  our website was a key deliverable in our Year 2 roadmap to provide  "improved navigation and access to valuable content, resources, and  tools." We hope you like it!

#LeanLang #LeanProver

Diego Alves 已轉發

Achei legal! Testando aqui. Bacana por ser uma ferramenta cli e ficar fora do editor de texto como plano de fundo.

Say hello to the @geminicli, a local CLI to help you build and maintain software with 1,000 free Gemini 2.5 Pro requests per day : )

OfficialLoganK's tweet image. Say hello to the @geminicli, a local CLI to help you build and maintain software with 1,000 free Gemini 2.5 Pro requests per day : )


Diego Alves 已轉發

google, the company that created Go, which is a great language for writing CLIs and TUIs, released a TUI written in... TypeScript I'm in shambles

caarlos0's tweet image. google, the company that created Go, which is a great language for writing CLIs and TUIs, released a TUI written in... TypeScript

I'm in shambles

Diego Alves 已轉發

o que o designer faz / o que o dev entrega

distanteagle16's tweet image. o que o designer faz / o que o dev entrega
distanteagle16's tweet image. o que o designer faz / o que o dev entrega

Diego Alves 已轉發

| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| | We Love Linux | |_______________| \ (•◡•) / \ / —— | | |_…


Diego Alves 已轉發

Usando memoria RAM como arquivo no linux (/dev/shm - TMPFS) teve um negocio que eu descobri que é q muita gente que usa linux n sabe dessa pastinha -> /dev/shm tu pode por qualquer arquivo la dentro e ele fica armazenado na RAM tu pode criar arquivo, copiar, mover e etc ele…

Reeshasx's tweet image. Usando memoria RAM como arquivo no linux (/dev/shm - TMPFS)

teve um negocio que eu descobri que é q muita gente que usa linux n sabe dessa pastinha -> /dev/shm

tu pode por qualquer arquivo la dentro e ele fica armazenado na RAM

tu pode criar arquivo, copiar, mover e etc

ele…

Diego Alves 已轉發

A nice and extensive list of things that make Go an awesome programming language 👇

In no particular order: cross-compilation; avoidance of LLVM; custom assembly; the standard library—specifically production ready HTTP and TLS in the standard library (although one of my main criticisms is that the standard library is essentially frozen); gofmt takes no options;…



Diego Alves 已轉發

Tava de bobeira, vi a fernando kipper fazendo esse code challenge e resolvi fazer tbm. Levei umas 1:30hr e usei C# e SES, estruturando com DDD, nao ta o primor, mas ta funfando github.com/FelipeMCassian…


I just replaced an old Makefile with a Taskfile. It looks good! Next, I'll try to do that on bigger projects. @taskfiledev

ifdiego's tweet image. I just replaced an old Makefile with a Taskfile. It looks good! Next, I'll try to do that on bigger projects.

@taskfiledev

United States 趨勢

Loading...

Something went wrong.


Something went wrong.