ocamllabs icfp2016-blog issues

ocamllabs / icfp2016-blog

Canopy blog data that powers ICFP liveblog

http://icfp2016.mirage.io

17 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

icfp2016.mirage.io is down

#213 Khady closed 6 years ago
0
Student volunteer blog posts

#212 gasche closed 7 years ago
0
post-event index: remove the ongoing/completed distinction

#211 gasche closed 7 years ago
0
Write up notes + links for my talk

#210 WillSewell closed 7 years ago
5
Added link to conference youtube channel.

#209 jfdm closed 7 years ago
2
Some blogging of the first talk.

#208 OlivierNicole closed 8 years ago
1
first TyDe session notes

#207 yomimono closed 8 years ago
1
1720-1800: Demo: Epimorphism

#206 GemmaG opened 8 years ago
1
1640-1720: A livecoding semantics for functional reactive programming

#205 GemmaG opened 8 years ago
1
1755-1800: Closing remarks

#204 GemmaG opened 8 years ago
1
1705-1755: Hope is a monad

#203 GemmaG opened 8 years ago
1
1640-1705: Baby steps to unikernels in production

#202 GemmaG opened 8 years ago
1
1705-1800: Lightning Talks

#201 GemmaG opened 8 years ago
1
1640-1705: Trees that grow

#200 GemmaG opened 8 years ago
1
1545-1610: Demo: Alda: A text-based music composition language

#199 GemmaG opened 8 years ago
1
1520-1545: Call for Collaboration: Computational Musicology, ????, Profit

#198 GemmaG opened 8 years ago
1
1545-1610: Guix: Scheme as a uniform OS admin and deployment interface

#197 GemmaG opened 8 years ago
1
1520-1545: Composable caching in Swift

#196 GemmaG opened 8 years ago
1
1545-1610: GHCVM: A JVM backend for GHC

#195 GemmaG opened 8 years ago
1
1520-1545: Remote GHCi

#194 GemmaG opened 8 years ago
1
1425-1450: o.OM: Structured-functional communication between computer music systems using OSC and Odot

#193 GemmaG opened 8 years ago
1
1400-1425: Creating an approachable Haskell-like DSL

#192 GemmaG opened 8 years ago
1
1425-1450: GHC determinism

#191 GemmaG opened 8 years ago
1
1400-1425: Pita: Tools for making GHC fast again

#190 GemmaG opened 8 years ago
1
1210-1235: Demo Klangmeister

#189 GemmaG opened 8 years ago
1
1145-1210: Arrp: A functional language with multi-dimensional signals and recurrence equations

#188 GemmaG opened 8 years ago
1
1210-1235: Automatically escaping monads

#187 GemmaG opened 8 years ago
1
1145-1210: A dependent Haskell triptych

#186 GemmaG opened 8 years ago
1
1210-1235: Building a web application with continuation monads

#185 GemmaG opened 8 years ago
1
1145-1210: Chaos testing with F# and Azure

#184 GemmaG opened 8 years ago
1
1035-1100: Demo: Juniper - A functional reactive programming language for the Arduino

#183 GemmaG opened 8 years ago
1
1100-1125: Developing a fast and durable pub/sub message bus

#182 GemmaG opened 8 years ago
1
1035-1100: Immutable infrastructure deployment with Haskell

#181 GemmaG opened 8 years ago
1
1100-1125: More powerful GHC plugins

#180 GemmaG opened 8 years ago
1
1035-1100: Backpack to work: towards Backpack in practice

#179 GemmaG opened 8 years ago
1
0945-1015: Structured reactive programming with polymorphic temporal tiles

#178 GemmaG opened 8 years ago
1
0915-1015: Bithoven: Godel encoding of Chamber Music and functional 8-bit audio synthesis

#177 GemmaG opened 8 years ago
1
0920-1015: Keynote

#176 GemmaG opened 8 years ago
1
0915-0920: Opening remarks

#175 GemmaG opened 8 years ago
1
0945-1015: Contributing to GHC

#174 GemmaG opened 8 years ago
1
0915-0945: The state of the GHC

#173 GemmaG opened 8 years ago
1
1755-1800: Closing

#172 GemmaG opened 8 years ago
1
1730-1755: Improving the OCaml webstack: motivations and progress

#171 GemmaG opened 8 years ago
1
1705-1730: Who's got your mail? Mr Mime!

#170 GemmaG opened 8 years ago
0
1730-1800: Closing

#169 GemmaG opened 8 years ago
0
1705-1730: Erlang latest news

#168 GemmaG opened 8 years ago
0
1640-1705: Towards reliable and scalable robot communication

#167 GemmaG opened 8 years ago
0
1646-1705: Partial evaluation and metaprogramming

#166 GemmaG opened 8 years ago
0
1628-1646: ocp-lint: A plugin-based style-checker with semantic patches

#165 GemmaG opened 8 years ago
0
1610-1628: Inuit library: from printf to interactive user-interfaces

#164 GemmaG opened 8 years ago
0