GithubHelp home page GithubHelp logo

cufp / cufp.org Goto Github PK

View Code? Open in Web Editor NEW
11.0 11.0 9.0 2.72 MB

Implementation of the cufp.org website.

Home Page: http://cufp.org

Shell 0.02% OCaml 3.41% HTML 88.01% CSS 8.01% Makefile 0.37% M4 0.01% JavaScript 0.17%

cufp.org's People

Contributors

agarwal avatar alang9 avatar katiejots avatar mariusae avatar mikesperber avatar nushio3 avatar objmagic avatar reinh avatar roman avatar thomasarts avatar yallop avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar

cufp.org's Issues

add Disqus commenting to blog posts

Not sure this is worth it. Current blog posts are all short announcements.

If we do add them, update RSS feed generator so that comments field is also defined. This should point to the anchor of the comments within a post's page.

add more session types

In 2009, there are Welcome and Discussion sessions, which are currently defined as talks. That puts them in the same style as the main talks, but they really should be considered as a separate session type, e.g. general or some other catch-all term.

Also, industrial receptions should be included in the calendars and should be highlighted differently, so we need reception.

add industrial reception

The industrial reception was always terribly difficult to find out about in past years. Is it happening this year? Add an event for it, create new event type (as requested in #8), and style appropriately.

make a new icon

A sketch of one idea is below. There's a (subtle) lambda dividing the square into 3 triangles. Each triangle's color can match the color of each of the 3 main session types: talks, tutorials, and BoFs.

e01afc50-dd3b-11e3-8932-3a02de3196d5

improve dependencies in build system

Conference main pages should depend on all event files within their respective year. Technically this is only true when the schedule table is inserted, but that's basically always.

Suggestion: support session titles and non-talk events (like lunch, coffee break, etc.)

The ICFP program uses a simple file format to describe a schedule; they have some python (heh.) scripts to render them into HTML and LaTeX.

Here's the program description for this year:

Event: Commercial Users of Functional Programming, Talks
Short: CUFP Talks
Date: Sep 6, 2014

Session: Opening remarks and keynote
Start: 09:00

Talk: Making Money From FP
Start: 09:05
Author: Joe Armstrong 
Affiliation: Ericsson and Royal Institute of Technology in Stockholm

Session: Coffee break
Start: 10:00

Session: In situ
Start: 10:30

Talk: Functional Programming at Verizon OnCue
Start: 10:30
Author: Timothy Perrett
Affiliation: Verizon

Talk: Adopting Functional Programming with OCaml at Bloomberg LP
Start: 10:55
Author: Maxime Ransan 
Affiliation: Bloomberg LP

Session: Break
Start: 11:20

Session: Distributed systems
Start: 11:40

Talk: MBrace: large-scale programming in F# 
Start: 11:40
Author: Eirik Tsarpalis
Affiliation: Nessos

Talk: Probabilistic Synchronization of State Between Independent Nodes  
Start: 12:05
Author: Erlend Hamberg

Session: Lunch
Start: 12:30

Session: Data and knowledge
Start: 14:00

Talk: Towards "annex", a Fact Based Dependency System
Start: 14:00
Author: Mark Hibberd
Affiliation: NICTA / Ambiata

Talk: Building data and time-series analytics tools for F#  
Start: 14:25
Author: Tomas Petricek
Author: Howard Mansell

Session: Break
Start: 14:50

Session: Functional programming in space!
Start: 15:10

Talk: Haskell in the Misson Control Domain
Start: 15:10
Author: Michael Oswald

Talk: Haskell tools for satellite operations
Start: 15:35
Author: Björn Buckwalter
Affiliation: Verizon

Session: Tea break
Start: 16:00

Session: Potpourri
Start: 16:30

Talk: F# For Fun and Games
Start: 16:30
Author: Anthony Brown

Talk: Some usages of functional programming for FO and quants
Start: 16:50
Author: Renaud Bechade

Talk: Reactive I/O with Scala, Akka, and Play
Start: 17:10
Author: Kenneth Owens
Affiliation: Comcast

Talk: If your server is a function, is your company a library?
Start: 17:30
Author: Andrew Cowie

End: 17:50

The nice thing about this is that it allows us to label sessions, and include breaks -- it gives a better sense of the rhythm of the day and it's also fun and useful to label sessions.

try to not break old links

Links to cufp.org that are likely out on the internet should be preserved. Here are the ones to consider:

Videos

Fixed in 8debb31.

  • /videos/keynote-adopting-functional-programming-or-object-head-erlang-lang
  • /videos/parallel-scientific-awesome-haskell-fpga-compiler
  • /videos/clojure-ipad-analytics-dashboard-energy-sector
  • /videos/functional-programs-connected-power-grid
  • /videos/developing-medical-software-scala-and-haskell
  • /videos/developing-f-bioinformatics-application-html5-visualization
  • /videos/using-f-prove-stabilisation-biological-networks
  • /videos/functional-big-data-genomics
  • /videos/starview-streams-functions-and-back-again
  • /videos/functional-programming-ghent-it-valley
  • /videos/citrix-haskell-xenclient
  • /videos/transmitting-customised-ads-set-top-boxes-erlang
  • /videos/jane-street-status-report
  • /videos/applying-functional-programming-build-platform-independent-applicati
  • /videos/functional-mzscheme-dsls-game-development
  • /videos/discrete-event-simulation-using-erlang
  • /videos/disco-using-erlang-implement-mapreduce
  • /videos/fourteen-days-haskell
  • /videos/html5-web-application-development-ocaml
  • /videos/large-scale-internet-services-using-scala
  • /videos/model-based-testing-autosar-automotive-components
  • /videos/ocaml-and-acunu-experience-report
  • /videos/theorem-based-derivation-aes-implementation
  • /videos/pragmatic-haskell
  • /videos/f-embracing-functional-programming-visual-studio-2010-luke-hoban-mic
  • /videos/scaling-scala-twitter-marius-eriksen-twitter
  • /videos/cryptol-dsl-cryptographic-algorithms-sally-browning-galois
  • /videos/naïveté-vs-experience-–-or-how-we-thought-we-could-use-scala-and-clo
  • /videos/functional-language-compiler-experiences-intel-neal-glew-intel
  • /videos/functional-programming-freebase-warren-harris-metaweb
  • /videos/cufp-discussion
  • /videos/birth-industrial-haskell-group
  • /videos/clear-simple-composing-marketplace
  • /videos/fmd-functional-development-excel
  • /videos/functional-programming-facebook
  • /videos/first-substantial-line-business-application-f
  • /videos/big-board-teleconferencing-over-high-res-maps-haskell
  • /videos/erlang-hoverin
  • /videos/scala-edf-trading-implementing-domain-specific-language-derivative-p
  • /videos/keynote-real-world-haskell
  • /videos/cufp-welcome-and-overview

Conferences

Fixed in 30b3691.

  • /conference/[schedule/ | sessions/]2009
  • /conference/[schedule/ | sessions/]2010
  • /conference/[schedule/ | sessions/]2011
  • /conference/[schedule/ | sessions/]2012
  • /conference/[schedule/ | sessions/]2013
  • /conference/[schedule/ | sessions/]2014

Sessions

Fixed in 30b3691 and 7ccd7ef.

  • /conference/sessions/2013/anthony-molinaro-openx-introducing-erlang-openx
  • /conference/sessions/2012/cufp-talks
  • /conference/sessions/2013/julien-verlaguet-facebook-analyzing-php-statically
  • /conference/sessions/2010/camlp4-and-template-haskell
  • /conference/sessions/2010/implementing-web-sites-scala-and-lift
  • /conference/sessions/2010/f-20-day-beach
  • /conference/sessions/2010/high-performance-haskell
  • /conference/sessions/2010/building-robust-servers-erlang
  • /conference/sessions/2010/clojure-tutorial
  • /conference/sessions/2011/evening-bofs-day-2
  • /conference/sessions/2011/evening-bofs-day-1
  • /conference/sessions/2012/t4-hands-real-world-clojure-lau-jensen-best-class-
  • /conference/sessions/2012/t2-erlang-web-frameworks-steve-vinoski-basho-techn
  • /conference/sessions/2012/functional-concepts-real-world-f-tomas-petricek-un
  • /conference/sessions/2012/t1-real-world-ocaml-anil-madhavapeddy-university-c
  • /conference/sessions/2012/t3-haskell-lazy-web-developer-introduction-happsta
  • /conference/sessions/2012/introductory-haskell-concurrent-haskell-jeremy-gib
  • /conference/sessions/2012/scala-primer-heiko-seeberger-typesafe
  • /conference/sessions/2009/discussion
  • /conference/sessions/2009/birth-industrial-haskell-group
  • /conference/sessions/2009/clear-simple-composing-marketplace
  • /conference/sessions/2009/break
  • /conference/sessions/2011/ocaml-and-acunu-experience-report
  • /conference/sessions/2009/building-user-programmable-internet-erlang
  • /conference/sessions/2011/functional-mzscheme-dsls-game-development
  • /conference/sessions/2009/fmd-functional-development-excel
  • /conference/sessions/2011/disco-using-erlang-implement-mapreduce-nokia
  • /conference/sessions/2009/functional-programming-facebook
  • /conference/sessions/2011/fourteen-days-haskell-real-time-programming-projec
  • /conference/sessions/2013/t10-dean-wampler-scalding-scala-tool-data-analytic
  • /conference/sessions/2009/first-substantial-line-business-application-f
  • /conference/sessions/2011/tea-break-0
  • /conference/sessions/2009/lunch
  • /conference/sessions/2011/applying-functional-programming-build-platform-ind
  • /conference/sessions/2009/big-board-teleconferencing-over-high-res-maps-hask
  • /conference/sessions/2011/large-scale-internet-services-scala-twitter
  • /conference/sessions/2013/t9-leonardo-borges-bending-clojure-your-will-macro
  • /conference/sessions/2009/erlang-hoverin
  • /conference/sessions/2013/t7-luke-vander-hart-clojure-tutorial
  • /conference/sessions/2009/scala-edf-trading-implementing-domain-specific-lan
  • /conference/sessions/2011/html5-web-application-development-ocaml
  • /conference/sessions/2013/t5-steve-vinoski-erlang-web-frameworks
  • /conference/sessions/2009/break-0
  • /conference/sessions/2011/lunch-break
  • /conference/sessions/2013/t3-francesco-cesarini-simon-thompson-erlang-101-yo
  • /conference/sessions/2009/welcome
  • /conference/sessions/2011/model-based-testing-autosar-automotive-components
  • /conference/sessions/2013/t4-oleg-kiselyov-systematic-generation-optimal-cod
  • /conference/sessions/2011/discrete-event-simulation-using-erlang
  • /conference/sessions/2009/keynote-real-world-haskell
  • /conference/sessions/2013/t2-yaron-minsky-anil-madhavapeddy-ocaml-tutorial
  • /conference/sessions/2011/theorem-based-derivation-aes-implementation
  • /conference/sessions/2013/t6-simon-marlow-haskell-day-2
  • /conference/sessions/2011/tea-break
  • /conference/sessions/2011/keynote-pragmatic-haskell
  • /conference/sessions/2012/closing-remarks
  • /conference/sessions/2011/t8-f-working-functional-programmer
  • /conference/sessions/2011/t7-snap-framework-web-applications-haskell-gregory
  • /conference/sessions/2011/t6-systems-programming-scala-steven-jenson-marius-
  • /conference/sessions/2012/matthias-görgens-citrix-haskell-xenclient
  • /conference/sessions/2011/t5-parallel-programming-haskell-simon-peyton-jones
  • /conference/sessions/2011/t4-collaborative-scientific-software
  • /conference/sessions/2012/frank-mccabe-starview-streams-functions-and-back-a
  • /conference/sessions/2011/t3-building-functional-os
  • /conference/sessions/2012/stefan-wehr-factis-research-developing-medical-sof
  • /conference/sessions/2011/t2-janestreets-ocaml-core-library
  • /conference/sessions/2012/kevin-lynagh-keming-labs-clojure-ipad-analytics-da
  • /conference/sessions/2011/t1-building-reliable-client-server-applications-er
  • /conference/sessions/2012/sebastian-egner-entelios-functional-programs-conne
  • /conference/sessions/2012/peter-braam-parallel-scientific-awesome-haskell-fp
  • /conference/sessions/2012/romain-slootmaekers-nicolas-trangez-ghent-it-valle
  • /conference/sessions/2013/paul-jean-letourneau-wolfram-programming-mapreduce
  • /conference/sessions/2012/adam-granicz-intellifactory-developing-f-bioinform
  • /conference/sessions/2013/ryan-trinkle-skedgeme-enterprise-appointment-sched
  • /conference/sessions/2010/acl2-eating-ones-own-dogfood
  • /conference/sessions/2012/samin-ishtiaq-microsoft-using-f-prove-stabilizatio
  • /conference/sessions/2013/edward-kmett-sp-capital-iq-functional-reporting
  • /conference/sessions/2010/functional-programming-freebase
  • /conference/sessions/2012/ashish-agarwal-nyu-functional-big-data-genomics
  • /conference/sessions/2013/jeff-epstein-parallel-scientific-building-scalable
  • /conference/sessions/2010/riak-core-building-distributed-applications-withou
  • /conference/sessions/2012/laura-m-castro-university-coruña-transmitting-cust
  • /conference/sessions/2013/yasuaki-takebe-gree-inc-common-pitfalls-functional
  • /conference/sessions/2010/functional-language-compiler-experiences-intel
  • /conference/sessions/2012/yaron-minsky-jane-street-jane-street-status-report
  • /conference/sessions/2013/gregg-lebovitz-fp-complete-building-commercial-dev
  • /conference/sessions/2010/eden-fwpf-framework-building-gui-tools
  • /conference/sessions/2012/keynote-kresten-krab-thorup-cto-trifork-adopting-f
  • /conference/sessions/2013/avi-pfeffer-charles-river-analytics-functional-pro
  • /conference/sessions/2010/reactive-extensions-rx-curing-your-asynchronous-pr
  • /conference/sessions/2013/sam-ritchie-twitter-inc-realtime-mapreduce-twitter
  • /conference/sessions/2010/naïveté-vs-experience-or-how-we-thought-we-could-u
  • /conference/sessions/2013/antoni-batchelli-palletops-functional-infrastructu
  • /conference/sessions/2010/cryptol-dsl-cryptographic-algorithms
  • /conference/sessions/2013/kevin-scaldeferri-gilt-groupe-enabling-microservic
  • /conference/sessions/2010/scaling-scala-twitter
  • /conference/sessions/2013/vishesh-panchal-bob-burger-beckman-coulter-inc-med
  • /conference/sessions/2013/jafar-husain-netflix-end-end-reactive-programming
  • /conference/sessions/2010/keynote-f-embracing-functional-programming-visual-
  • /conference/sessions/2013/tom-hawkins-bae-systems-redesigning-computer-secur

announce 2015 conference

Draft of new 2015 page started in e3301be, but the following items remain:

  • Find nice pictures of Vancouver. Format as needed and remember to add info to the licenses file.
  • Add program committee members.
  • Add Twitter button. Consider where to place it as previous location was a bit awkward.

check filename clashes in conferences

In a conference directory, check that all resulting html filenames will not clash. Right now, it is possible that a file foo.md and a session with url_title = foo both exist, which would lead to two html files with the same name.

link to ACM

Should and can we link to ACM? If so, where? In the footer?

pin solvuu-build in dev

README should specify to pin solvuu-build to dev otherwise opam will pin it to version 0.2.0, which will fail because opam file specifies to use dev.

Current instruction gives us:

r@machine cufp.org (master) $ opam pin add solvuu-build https://github.com/solvuu/solvuu-build.git
solvuu-build is now git-pinned to https://github.com/solvuu/solvuu-build.git

[solvuu-build] https://github.com/solvuu/solvuu-build.git updated
[solvuu-build] Installing new package description from https://github.com/solvuu/solvuu-build.git

solvuu-build needs to be installed.
The following actions will be performed:
  ∗  install solvuu-build 0.2.0*
Do you want to continue ? [Y/n]

Instead, one should specify the dev suffix

r@machine cufp.org (master) $ opam pin add solvuu-build.dev https://github.com/solvuu/solvuu-build.git
solvuu-build is now git-pinned to https://github.com/solvuu/solvuu-build.git

[solvuu-build] https://github.com/solvuu/solvuu-build.git updated

solvuu-build needs to be installed.
The following actions will be performed:
  ∗  install solvuu-build dev*
Do you want to continue ? [Y/n]

find missing videos

I could not find links to the following videos:

  • 2013 Smalltalk keynote.
  • 2012 Closing Remarks.
  • 2010 Reactive Extensions.
  • 2010 Eden.
  • 2010 Riak Core.
  • 2010 ACL2.
  • 2009 Building User Programmable Internet with Erlang.
  • All from 2008 and earlier. Were there any?

add credits for additional people and organizations

Should we be giving credit to additional people and organizations:

  • Other staff, e.g videographer?
  • Sponsors of each conference? Do sponsors of ICFP count as sponsors of CUFP? If so, we could add their logos to each conference's page.
  • Sponsors of the website. Old site used to say "The site was generously sponsored by: Jane Street".

improve design of blog posts pages

  • Main blog page. Set background on body. Separate each post, so it looks like a physical piece of paper.
  • Individual blog post pages. Apply grid.

add links to final reports

Final reports are produced summarizing the conference every year (or at least several years). Add them and link from each conference's main page.

make videos page less monolithic

Current videos page contains links to all videos ever, which makes it load rather slowly while not being particularly useful. Instead:

  • Generate a YYYY/videos.html page for each conference year YYYY.
  • Make /videos/index.html link to each year's individual videos page.
  • Add a pane to each conference's page saying VIDEOS in big letters.

set PWD when calling mpp

Right now file paths within mpp commands have to be relative to the repo root. This is slightly annoying. It would be more intuitive to let paths be relative to the mpp file being processed. To make that work, need to set PWD to the directory in which the file resides.

archive old Drupal site

Just in case there's some important data in the Drupal site, we should save all of it. We can keep the files on the same server that is hosting the current site, so that all files are in one place. We need:

  • A dump of the Drupal database.
  • Drupal files directory.
  • Use a web archiving tool to archive the site as we see it deployed. This will allow us to compare old and new pages more easily than the database dump.

Grammar error on home page

The first paragraph on the homepage starts with

Functional Programming has been at the forefront of a new generation of programming technologies. Companies employing functional programming to enable more effective, robust, and flexible software development.

However, the second sentence doesn't make sense in English. It should be something along the lines of "Companies are utilizing functional programming to enable more effective..."

Even so, I would suggest a more complete change that makes it flow better:

Functional Programming has been at the forefront of a new generation of programming technologies, and companies have been successfully utilizing functional programming to enable more flexible, robust, and effective software development.

Note the swapped positions of the words "effective" and "flexible"; the last word in a list of benefits should be the strongest association. In this case, we want the strongest association of functional programming to be "more effective software development", thus the swap.

remove extra margin in small screens

Main conference pages get extra margin (or padding) on right when the screen size is sufficiently small. Years 2013, 2012, 2011, and 2009 exhibit the problem on an iPhone. None of the years exhibit the problem in Chrome on a desktop, I think because Chrome limits the minimum window size and you can't make it small enough. Safari on a desktop allows quite small window sizes, and all years exhibit the problem. Also, the amount of padding that gets added is inversely proportional to the window size.

add location info to sessions

  • Metadata should include a location field, so we can note room numbers for each session. Don't use room however, to allow more general locations, e.g. for the industrial reception that can be in an entirely different location.
  • Table generator should have option to include location or not. Should be included for current conference and omitted for past conferences.
  • Include location in each session page.

make it easier to quickly navigate through all sessions

Couple of options for doing this are:

  • In session tables, hovering over title should popup a box with the description. This will allow quickly seeing more than just the title of each session.
  • Add previous/next link to each session's page. On touch devices swiping left/right should accomplish the same thing.

Can't find foundation-icons.3

I don't seem to be able to find this dependency anywhere:

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] curl: code 404 while downloading http://solvuu.com/download/foundation-icons.3.tar.gz
[ERROR] The sources of the following couldn't be obtained, aborting:
          - foundation-icons.3
        (This may be fixed by running 'opam update')

update 2017 tutorials description

Front page contains copy/pasted description of tutorials from previous year. It refers too much to tutorials that occurred last year. We should update to be more general and/or to reflect tutorials occurring this year.

cc: @nushio3, @objmagic

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.