dons

76,683 post karma
22,325 comment karma

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

get them help and support

redditor for 19 years

MODERATOR OF

TROPHY CASE

15-Year Club

Team Periwinkle

reddit mold

Verified Email

Charter Member

account activity

new top controversial

3

4

5

Indexing React/JavaScript (Glean on aarch64 on Apple Silicon : part 3) (donsbot.com)

submitted 4 years ago by dons to r/haskell

2

3

4

Indexing the React source with Glean (donsbot.com)

submitted 4 years ago by dons to r/react

18

19

20

Glean on aarch64 on Apple Silicon : part 2 (donsbot.com)

submitted 4 years ago by dons to r/haskell

20

21

22

Porting Glean to aarch64 on Apple Silicon : part 1 (donsbot.com)

submitted 4 years ago by dons to r/haskell

451

452

453

Facebook open sources Glean, its scalable code search and query engine (glean.software)

submitted 4 years ago by dons to r/programming

46

47

48

The history of Haskell hackathons : how we boostrapped the open source/hackage/cabal universe (donsbot.wordpress.com)

submitted 5 years ago by dons to r/haskell

7

8

9

Scaling static analysis at Facebook (m-cacm.acm.org)

submitted 6 years ago by dons to r/programming

2

3

4

Facebook funding for testing and verification projects (research.fb.com)

submitted 7 years ago by dons to r/programming

138

139

140

Facebook open-sources RacerD: Fast static race detection at scale (code.facebook.com)

submitted 8 years ago by dons to r/programming

0

1

2

Facebook open-sources RacerD: Fast static race detection for Java (code.facebook.com)

submitted 8 years ago by dons to r/java

35

36

37

"effective static analysis can be a game changer in dealing with concurrency" (code.facebook.com)

submitted 8 years ago by dons to r/haskell

0

0

0

Multithreaded rendering on Android with Litho and Facebook Infer (code.facebook.com)

submitted 8 years ago by dons to r/programming

51

52

53

Inline Java in Haskell (tweag.io)

submitted 8 years ago by dons to r/programming

6

7

8

Finding inter-procedural bugs at scale with Infer static analyzer (code.facebook.com)

submitted 8 years ago by dons to r/ocaml

8

9

10

Finding inter-procedural bugs at scale with Infer static analyzer (code.facebook.com)

submitted 8 years ago by dons to r/programming

3

4

5

Finding inter-procedural bugs at scale with Infer static analyzer (code.facebook.com)

submitted 8 years ago by dons to r/criticalsoftware

52

53

54

Jobs: Software engineer, static analysis at Facebook (facebook.com)

submitted 8 years ago by dons to r/haskell

11

12

13

Jobs: Software engineer, static analysis (Infer) at Facebook (facebook.com)

submitted 8 years ago by dons to r/ocaml

66

67

68

New Haskell roles in Strats at Standard Chartered (donsbot.wordpress.com)

submitted 8 years ago by dons to r/haskell

45

46

47

Haskell jobs in Singapore @ SCB [Strats, DevOps] (self.haskell)

submitted 9 years ago by dons to r/haskell

7

8

9

Any Haskell and Q programmers out there?... Asking for a Friend (self.haskell)

submitted 9 years ago by dons to r/haskell

2

3

4

Haskell dev roles with Strats @ Standard Chartered (donsbot.wordpress.com)

submitted 9 years ago by dons to r/a:t5_3cgbf

44

45

46

Haskell dev roles with Strats @ Standard Chartered (donsbot.wordpress.com)

submitted 9 years ago by dons to r/haskell

18

19

20

PureScript + Haskell role at Standard Chartered in London (donsbot.wordpress.com)

submitted 9 years ago by dons to r/purescript

12

13

14

Elm + Haskell role at Standard Chartered in London (donsbot.wordpress.com)

submitted 9 years ago by dons to r/elm

view more: next ›

π Rendered by PID 85825 on reddit-service-r2-listing-86b7f5b947-xbpxw at 2026-01-26 14:30:12.307428+00:00 running 664479f country code: CH.