diegopacheco

Retro 2025

🎈 Celebrated my daughter's 4th birthday
🎮 12 games finished (PS5 and Switch)
🗃️ 7 programming languages learned: asm, agda, emojicode, steel, haxe, react-native, ReasonML
💻 4,593 contributions in GitHub
📑 18 blog posts
📖 17 books read
✨ Code several AI Agents

diegopacheco

--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |
--------------------------------------------------------------------------
AI           318   Java         758   Scala        306   Rust         267
Zig          128   Clojure      121   Go           139   Kotlin       112
NodeJS       164   DevOps       149   C++          121   C            65
Haskell      82    PHP          60    Typescript   75    JavaScript   56
React        60    Python       138   V            40    Nim          41
C3           44    Julia        37    Dart         22    Lua          60

diegopacheco

4K

4K+ Commits

4K+ POCs

❯ pocs-count-mac.sh

diegopacheco

--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |
--------------------------------------------------------------------------
AI           297   Java         746   Scala        300   Rust         265
Zig          126   Clojure      110   Go           138   Kotlin       112
NodeJS       159   DevOps       148   C++          121   C            54
Haskell      82    PHP          60    Typescript   71    JavaScript   56
React        60    Python       135   V            40    Nim          41
C3           44    Julia        37    Dart         22    Lua          38

diegopacheco

Repos

Commits

Pocs

--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |

diegopacheco

Neo Vim Plugins

Vim-Plug https://github.com/junegunn/vim-plug

Tree https://github.com/nvim-tree/nvim-tree.lua

Telescope (Fuzzy Search) https://github.com/nvim-telescope/telescope.nvim

diegopacheco

❯ pocs-count.sh
--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |
--------------------------------------------------------------------------
AI           296   Java         725   Scala        287   Rust         259  
Zig          124   Clojure      108   Go           132   Kotlin       105  
NodeJS       150   DevOps       119   C++          118   C            52   
Haskell      72    PHP          45    Typescript   70    JavaScript   56   
React        59    Python       129   V            27    Nim          28   

diegopacheco

Type Level Programming

• FP
• Advanced FP
• Computations are performed on types themselves, rather than on runtime values (compile time over runtime)
• Types become first-class citizens (over values)

Examples

Capital Case String

diegopacheco

What is functional Programing

It's a paradigm, where functions are first class citzen:

• Favor discipline with state(more than just immutability)
• Backed by math and "know theories" (not my uncles abstractions)
• Focus on have correct programs (repitable == pure functions) (something LLMs cannot do).

PROS

• Correctness
• Sound concepts via Math

diegopacheco

❯ pocs-count.sh
--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |
--------------------------------------------------------------------------
AI           292   Java         715   Scala        271   Rust         255  
Zig          122   Clojure      108   Go           128   Kotlin       84   
NodeJS       144   DevOps       118   C++          118   C            45   
Haskell      72    PHP          45    Typescript   64    JavaScript   56   
React        59    Python       86    V            27    Nim          28