Lambda Jam @LambdaJam X Profile

Lambda Jam

@LambdaJam

Followers

973

Following

1

Media

3

Statuses

633

Lambda Jam - a functional programming conference

http://t.co/ihey7iEoFM

Australia and Chicago

Joined July 2012

Don't wanna be here? Send us removal request.

λ Calrissian aka Matt Podwysocki

@mattpodwysocki

11 years

For those wondering what denotational semantics and denotational design are, check out this talk from @conal

github.com

Talk material for LambdaJam 2014/2015 on denotational design - conal/talk-2014-lambdajam-denotational-design

0

7

18

Omar Rizwan

@rsnous

11 years

Slides and comments from my talk on @elmlang Twitter bots at @LambdaJam: http://t.co/qzl4DrZQ9x

0

1

4

Jeremy Heiler

@jeremyheiler

11 years

The URL in the Oreilly flier to get a free ebook (from Lambda Jam) spells "lamda" instead of "lambda". No wonder I couldn't get it working.

1

0

Kevin Meredith

@Gentmen

11 years

great scalaz lambdajam talk, @dibblego. with `def reverse[A](List[A]):List[A], how do we know that the result contains only the input elems?

1

0

Victoria Smith

@Smith8_victoria

11 years

Ricky Elrod: My review of Lambda Jam 2014 http://t.co/XrZosbsc8G

0

1

0

Clifford Anderson

@andersoncliffb

11 years

Thanks, @tomaspetricek and @brandewinder, for the F# data science jam at #LambdaJam-just finished 1st exercise. Yes, I fell a bit behind.

1

Rick

@rickasaurus

11 years

Blogged (due to popular demand): Sony Digital Paper DPT-S1 at Lambda Jam 2014 http://t.co/M3c4YEzC2W #lambdajam

2

12

Conal Elliott

@conal

11 years

Had a great time at @LambdaJam! Slides etc for my workshop, "Denotational Design: from meanings to programs":

github.com

Talk material for LambdaJam 2014/2015 on denotational design - conal/talk-2014-lambdajam-denotational-design

1

16

27

Joshua T Kalis

@kalisjoshua

11 years

@LambdaJam has inspired me to start trying for more #DistributedSystems programming specifically in #erlang The future is going to be fun.

0

1

0

Brian McKenna

@puffnfresh

11 years

At #LambdaJam, I demonstrated my new tiling window manager for OS X, written in #Idris. Check out Iridium:

github.com

xmonad with the X11 abstracted and configured with Idris - puffnfresh/iridium

7

34

57

Yevgeniy Brikman

@brikis98

11 years

Andrew Sorensen OSCON 2014 Keynote: "The Concert Programmer". This guy just live coded a concert. A digital DJ. Wow.

1

17

Lambda Jam

@LambdaJam

11 years

@j0ni yes, they will - info to come

0

Reid Draper

@reiddraper

11 years

Slides for my @LambdaJam talk on using optional types systems in production:

speakerdeck.com

Today’s statically-typed functional programming languages give developers great confidence over correctness and an excellent tool during refactoring. Wi…

3

14

26

jhemann

@jhemann

11 years

The code from our "Roll Your own Relational DSL" talk from @LambdaJam is here: http://t.co/1GcQxlzL4Y

1

4

12

Reid Draper

@reiddraper

11 years

The Denotational Design workshop at @LambdaJam by @conal was the best 'how to design programs' talk I've seen in several years

4

7

Jessica Kerr

@jessitron

11 years

OH: if I didn't like being told that I'm wrong, I wouldn't be programming Haskell. #lambdajam

0

32

21

heartpunk

@heartpunkk

11 years

.@LambdaJam finally convinced me to learn category theory, and to up my game on type systems.

0

1

2

Daniel Solano Gómez

@deepbluelambda

11 years

@LambdaJam was fantastic. If you didn't make it this year, definitely consider it for the next.

0

1