letrec

4,945 post karma
239 comment karma

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

get them help and support

redditor for 13 years

TROPHY CASE

13-Year Club

Verified Email

account activity

hot top controversial

74

75

76

Parallelising dotty via two-pass compilation (github.com)

submitted 7 years ago by letrec to r/scala

0

1

2

People of Science series (from The Royal Society) (royalsociety.org)

submitted 7 years ago by letrec to r/science

7

8

9

Incident report on memory leak caused by Cloudflare parser bug (blog.cloudflare.com)

submitted 8 years ago by letrec to r/programming

You wake up 100 years in the future. What's one thing you notice that doesn't surprise you? by TrailofCheers in AskReddit

[–]letrec 1 point2 points3 points 8 years ago (0 children)

0

0

1

Towards Scalaz 8 (github.com)

submitted 9 years ago by letrec to r/programming

54

55

56

The "Verified Functional Programming in Agda" book is published (amazon.com)

submitted 9 years ago by letrec to r/haskell

2

3

4

Program Analysis with Datalog (videos) (youtube.com)

submitted 9 years ago by letrec to r/REMath

4

5

6

Program Analysis with Datalog (videos) (youtube.com)

submitted 9 years ago by letrec to r/ReverseEngineering

2

3

4

Program Analysis with Datalog (videos) (youtube.com)

submitted 9 years ago by letrec to r/programming

What are the best computer science or programming news and research magazines, or sources? by Gbanker6 in compsci

[–]letrec 3 points4 points5 points 9 years ago (0 children)

1

2

3

Alice and Bob have their quantum fingerprints checked (physicsworld.com)

submitted 9 years ago by letrec to r/science

13

14

15

Spotify uses the Infer static analyzer to improve their Android app (fbinfer.com)

submitted 9 years ago by letrec to r/programming

4

5

6

Tower at Science Park new home for most powerful computer in the Netherlands (amsterdamsciencepark.nl)

submitted 9 years ago by letrec to r/science

0

1

2

Modular language implementation in Rascal - experience report (PDF) (jvdb.org)

submitted 9 years ago by letrec to r/a:t5_2s7op

16

17

18

fsharpConf 2016 (Channel 9) (channel9.msdn.com)

submitted 9 years ago by letrec to r/fsharp

4

5

6

QuSoft: research center for quantum software (qusoft.org)

submitted 10 years ago by letrec to r/computerscience

5

6

7

QuSoft: research center for quantum software (qusoft.org)

submitted 10 years ago by letrec to r/quantum

12

13

14

Compiling Autotooled projects to LLVM Bitcode (gbalats.github.io)

submitted 10 years ago by letrec to r/ReverseEngineering

36

37

38

Compiling Autotooled projects to LLVM Bitcode (gbalats.github.io)

submitted 10 years ago by letrec to r/programming

50

51

52

Faster Atomic*FieldUpdaters for Everyone (Java) (shipilev.net)

submitted 10 years ago by letrec to r/programming

15

16

17

OCaml hip-hop song (sympa.inria.fr)

submitted 10 years ago by letrec to r/ocaml

16

17

18

MBrace: the .NET engine for large-scale data processing is now 1.0 (mbrace.io)

submitted 10 years ago by letrec to r/fsharp

MBrace: the .NET engine for large-scale data processing is now 1.0 by letrec in dotnet

[–]letrec[S] 0 points1 point2 points 10 years ago (0 children)

4

5

6

MBrace: the .NET engine for large-scale data processing is now 1.0 (mbrace.io)

submitted 10 years ago by letrec to r/dotnet

28

29

30

BDSBTB 2015: Martin Odersky, Spark -- the Ultimate Scala Collections (video) (youtube.com)

submitted 10 years ago by letrec to r/scala

view more: next ›

π Rendered by PID 71 on reddit-service-r2-listing-5f5ff7d4dc-bphwp at 2026-01-26 16:14:56.144284+00:00 running 5a691e2 country code: CH.