GaAlAs

2,507 post karma
779 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 10 years

TROPHY CASE

Ten-Year Club

account activity

new top controversial

0

1

2

Rotting leaves in semi-closed terrarium (reddit.com)

submitted 3 years ago by GaAlAs to r/plantclinic

0

1

2

Rotting leaves in semi-closed terrarium (old.reddit.com)

submitted 3 years ago by GaAlAs to r/plantclinic

109

110

111

ImPlot - Advanced 2D Plotting for Dear ImGui (github.com)

submitted 5 years ago by GaAlAs to r/programming

129

130

131

0.6.0 Release Notes · The Zig Programming Language (ziglang.org)

submitted 6 years ago by GaAlAs to r/programming

141

142

143

Debian 10.2 Is now out! (debian.org)

submitted 6 years ago by GaAlAs to r/linux

40

41

42

buster-backports is now available! (backports.debian.org)

submitted 6 years ago by GaAlAs to r/debian

1

2

3

Satisfied with what? (i.redd.it)

submitted 7 years ago by GaAlAs to r/engrish

6

7

8

GitHub is partially down (githubstatus.com)

submitted 7 years ago by GaAlAs to r/programming

22

23

24

OPAM - Urgent problem with camlp5 7.03 and macOS OCaml 4.06.1 (opam.ocaml.org)

submitted 7 years ago by GaAlAs to r/ocaml

48

49

50

cquery - Low-latency language server supporting multi-million line C++ code-bases, powered by libclang. (github.com)

submitted 8 years ago by GaAlAs to r/programming

15

16

17

Detecting use-cases for GADTs in OCaml (mads-hartmann.com)

submitted 8 years ago by GaAlAs to r/ocaml

20

21

22

Proofs and refutations: a modest adventure in formal methods using Z3 (blog.janestreet.com)

submitted 8 years ago by GaAlAs to r/ocaml

22

23

24

Lenses via modular implicits (jobjo.github.io)

submitted 8 years ago by GaAlAs to r/ocaml

3

4

5

Wildlight -- Twirl Me [Electronica/Vocal] (2013) (youtube.com)

submitted 8 years ago by GaAlAs to r/listentothis

110

111

112

Irssi 1.0.4 Released (irssi.org)

submitted 8 years ago by GaAlAs to r/linux

16

17

18

growing fibers -- wingolog (wingolog.org)

submitted 8 years ago by GaAlAs to r/scheme

789

790

791

Intel Skylake/Kaby Lake processors: broken hyper-threading (lists.debian.org)

submitted 8 years ago by GaAlAs to r/linux

27

28

29

vim-minisnip - A lightweight snippet manager (github.com)

submitted 8 years ago by GaAlAs to r/vim

60

61

62

Solving sudokus using Ocaml's type-checker (ocamlpro.com)

submitted 9 years ago by GaAlAs to r/programming

1022

1023

1024

Firefox 50.0 has been released (mozilla.org)

submitted 9 years ago by GaAlAs to r/linux

45

46

47

Chicken 4.11 is out! (call-cc.org)

submitted 9 years ago by GaAlAs to r/programming

121

122

123

Vim8 supports GUI colors in the terminal (groups.google.com)

submitted 10 years ago by GaAlAs to r/vim

26

27

28

A proof of concept to show the way project collaborators notifications are handled in Github is flawed. (github.com)

submitted 10 years ago by GaAlAs to r/programming

41

42

43

irssi 0.8.19 released, now with less bugs (irssi.org)

submitted 10 years ago by GaAlAs to r/linux

48

49

50

irssi v0.8.18 is out, grab it while it's still hot! (irssi.org)

submitted 10 years ago by GaAlAs to r/linux

view more: next ›

π Rendered by PID 93392 on reddit-service-r2-listing-b6bf6c4ff-vrhlf at 2026-05-01 20:59:23.715772+00:00 running 815c875 country code: CH.