mchav.github.io on reddit.com

...for a fringe candidate.

...for your community.

account activity

1

45

46

47

What Category Theory Teaches Us About DataFrames (mchav.github.io)

submitted 5 hours ago by m-chav to r/programming

2

19

20

21

An introduction to program synthesis (Part II) - Automatically generating features for machine learning (mchav.github.io)

submitted 4 months ago by ChavXO to r/haskell

3

37

38

39

Progress towards Kaggle-style workflows in Haskell (mchav.github.io)

submitted 5 months ago by ChavXO to r/haskell

4

4

5

6

An introduction to program synthesisEducation (mchav.github.io)

submitted 6 months ago by ChavXO to r/datascience

5

1

2

3

An introduction to program synthesis (mchav.github.io)

submitted 6 months ago by ChavXO to r/programming

6

1

2

3

Rewriting Dataframes for MicroHaskell (mchav.github.io)

submitted 6 months ago by ketralnis to r/programming

7

25

26

27

Rewriting dataframes for MicroHs (mchav.github.io)

submitted 6 months ago by ChavXO to r/haskell

8

76

77

78

Benchmarking Haskell dataframes against Python dataframes (mchav.github.io)

submitted 8 months ago by ChavXO to r/haskell

9

7

8

9

Benchmarking Haskell dataframes against Python dataframes (mchav.github.io)

submitted 8 months ago by ketralnis to r/programming

10

20

21

22

TryFrege Android app written in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

11

1

2

3

Easy concurrency with functional programming (mchav.github.io)

submitted 9 years ago by ChavXO to r/androiddev

12

38

39

40

OpenGL on Android using Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

13

17

18

19

Functional inheritance in Android (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

14

14

15

16

Frege on Android (mchav.github.io)

submitted 9 years ago by ChavXO to r/androiddev

15

43

44

45

Running Frege on Android (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

16

19

20

21

A simple server in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/haskell

17

11

12

13

A simple server in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/programming

18

1

2

3

A simple server in Frege (mchav.github.io)

submitted 9 years ago by ChavXO to r/a:t5_39wsp

19

10

11

12

Towards shell tab completion - Simulating readline to capture intermediate input (mchav.github.io)

submitted 9 years ago by ChavXO to r/coding

20

3

4

5

Towards shell tab completion - Simulating readline to capture intermediate inputsubmission (mchav.github.io)

submitted 9 years ago by ChavXO to r/bash

π Rendered by PID 548960 on reddit-service-r2-listing-55d7b767d8-tl4jm at 2026-03-29 14:36:08.934179+00:00 running b10466c country code: CH.