Skip to content

Instantly share code, notes, and snippets.

View diegopacheco's full-sized avatar

Diego Pacheco diegopacheco

View GitHub Profile
@diegopacheco
diegopacheco / rust-1.85-edition-2024.md
Created February 21, 2025 07:22
rust-1.85-edition-2024

Install Rust 1.85 Edition 2024

rustup show
rustup install 1.85.0
rustup default 1.85.0
rustc --version
@diegopacheco
diegopacheco / Agda.md
Last active February 19, 2025 08:51
Install Agda

Install Adga

apt-get install zlib1g-dev libncurses5-dev
cabal update
cabal install Agda
cabal install alex happy
@diegopacheco
diegopacheco / skype-linux.md
Created February 19, 2025 04:39
Install Skype Linux - Ubuntu

Install Skype

sudo snap install skype

vim ~/.zshrc

alias code="2>/tmp/vscode_output code --disable-gpu --disable-software-rasterizer \"$@\""
@diegopacheco
diegopacheco / pocs-jan-2025.md
Created February 1, 2025 07:52
pocs-jan-2025
❯ pocs-count.sh
--------------------------------------------------------------------------
POCs Counter: Languages  | Count                                         |
--------------------------------------------------------------------------
AI           292   Java         683   Scala        270   Rust         232
Zig          120   Clojure      106   Go           114   Kotlin       78
NodeJS       117   DevOps       116   C++          67    C            42
Haskell      72    PHP          45    Typescript   64    JavaScript   56
React        58    Python       83    V            27    Nim          28
@diegopacheco
diegopacheco / having-fun-with-gleam.md
Last active January 3, 2025 01:59
Having fun with Gleam

Tiny Gleam Essay

created: 02.JAN.2025

I love to learn new programing languages, it help to open the mind to new possibilities and compare different approaches. For instance, I learned Ruby and Scala in 2010, Clojure and Haskell in 2011, Go in 2015, Kotlin 2016, Rust in 2018 and Idris, TypeScript in 2019, 2020 Pandemic strike did a bunch of pocs but not with new langs(crazy year), Zig in 2021, 2022(coding in lots of langs but nothing new) - 2023 I learned Nim and V. Learn at least one lang per year. This post is not complain, it's just to share some toughts, notes and impressions. 2024: I learned C3.

Why Gleam

  • Created in 2016 by Louis Pilfold
  • Based on Erlang
@diegopacheco
diegopacheco / kerl-erlang-linux.md
Created January 2, 2025 09:30
kerl - manage erlang OTP versions

Install

brew install kerl

Build OPT 26 and 27

kerl build 26.2.5.6
@diegopacheco
diegopacheco / pocs-2024
Created December 31, 2024 09:56
pocs-2024
❯ pocs-count.sh
AI : 290
Java : 677
Scala : 266
Rust : 230
Zig : 116
Go : 114
Kotlin : 78
C++ : 67
C : 42
@diegopacheco
diegopacheco / pony.md
Last active December 30, 2024 23:34
Install Pony
sudo apt install clang
sh -c "$(curl --proto '=https' --tlsv1.2 -sSf https://raw.githubusercontent.com/ponylang/ponyup/latest-release/ponyup-init.sh)"
ponyup update ponyc release
ponyup update ponyc nightly
@diegopacheco
diegopacheco / ghostty.md
Last active December 30, 2024 04:08
Install ghostty terminal on ubuntu
  1. Clone ghostty
gh repo clone ghostty-org/ghostty
  1. make sure you have zig 0.13 - https://ziglang.org/download/
  2. install deps
sudo apt install libgtk-4-dev libadwaita-1-dev git
  1. configure gtk4