Skip to content

Instantly share code, notes, and snippets.

View diegopacheco's full-sized avatar

Diego Pacheco diegopacheco

View GitHub Profile
@diegopacheco
diegopacheco / pocs-count-16.nov.2025-4k.md
Last active November 17, 2025 06:15
POCs Count - 16.NOV.2025 - 4k

4K

4K+ Commits

image

4K+ POCs

❯ pocs-count-mac.sh
@diegopacheco
diegopacheco / pocs-count-oct-2025.md
Created October 31, 2025 17:53
pocs-count-oct-2025.md
--------------------------------------------------------------------------
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
diegopacheco / all-time-high.md
Last active September 29, 2025 07:41
All Time High - 2025

Repos
repos

Commits
commits

Pocs

--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |
@diegopacheco
diegopacheco / pocs-count-aug-2025.md
Last active September 5, 2025 21:24
Pocs count AUG 2025
❯ 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
diegopacheco / type-level.md
Last active September 20, 2025 20:00
Type Level Programming

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
diegopacheco / fp.md
Last active September 3, 2025 06:28
Toughs on FP (02.SEP.2025)

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
diegopacheco / pocs-count-jun-2025.md
Created June 16, 2025 07:34
pocs-count-jun-2025.md
❯ 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   
❯ pocs-count.sh
--------------------------------------------------------------------------
POCs Counter: Languages | Count |
--------------------------------------------------------------------------
AI 292 Java 709 Scala 271 Rust 254
Zig 121 Clojure 108 Go 117 Kotlin 79
NodeJS 127 DevOps 117 C++ 118 C 45
Haskell 72 PHP 45 Typescript 64 JavaScript 56
React 58 Python 86 V 27 Nim 28
C3 43 Julia 24 Dart 22 Lua 26