Waldemar Kornewald

@wkornewald

Founder of a travel startup called Sefibo. Interested in PL design, programming languages and software architecture.

Germany
sefibo.com
Joined November 2008
0 Photos and videos Photos and videos

Tweets

You blocked @wkornewald

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @wkornewald

  1. Retweeted
    10 Nov 2015

    The first english learning app for is out: „English is Easy – Learn vocabulary with pictures and sound"

    1 retweet 8 likes
    Undo
  2. Retweeted
    31 Oct 2015

    Finally found something I can use my for! :-) This fire is the only one doing audio right: mixes with music

    Want an app for ? Get Classic Fireplace
    1 retweet 6 likes
    Undo
  3. Retweeted
    27 Jun 2015

    Come hear from 's about how you can use their to |

    6 retweets 2 likes
    Undo
  4. Retweeted
    26 Nov 2014

    Learn how we compute MRR, Churn, ARPU and other :

    2 retweets 3 likes
    Undo
  5. Retweeted
    25 Nov 2014

    Our service for has a free plan now:

    3 retweets 6 likes
    Undo
  6. 14 Nov 2014
    Replying to

    Finally, our new startup RT : We just launched – Get valuable key metrics from your Braintree account:

    2 likes
    Undo
  7. 2 Sep 2014

    WebCLGL – Browser GPGPU

    1 like
    Undo
  8. 2 Sep 2014

    Ivory Language: an eDSL for safe systems programming in Haskell

    1 like
    Undo
  9. 2 Sep 2014

    2Q buffer cache algorithm

    Undo
  10. 7 Aug 2014

    McSema: A native code to LLVM IR translation framework - now open-sourced

    1 like
    Undo
  11. 7 Aug 2014

    An Incremental Approach to Compiler Construction

    Undo
  12. 5 Aug 2014

    ALIVe: Automatic LLVM InstCombine Verifier

    Undo
  13. Retweeted
    5 Aug 2014

    Paper on incremental computations accepted at OOPSLA :) "i3QL: Language-Integrated Live Data Views"

    5 replies 3 retweets 7 likes
    Undo
  14. Retweeted
    15 Jul 2014

    [WM]: pentotype

    1 reply 4 retweets 1 like
    Undo
  15. 10 Jul 2014

    "Test-Only Development" with the Z3 Theorem Prover

    Undo
  16. 10 Jul 2014

    Flow analysis in Guile

    Undo
  17. Retweeted
    10 Jun 2014

    pentotype now lets you create wireframes for tablets and websites. Read about this and more:

    7 retweets 2 likes
    Undo
  18. Retweeted
    29 Apr 2014

    New: Save drawings as stencils

    5 retweets
    Undo
  19. 9 Apr 2014

    Blind Return Oriented Programming

    1 retweet
    Undo
  20. 8 Apr 2014

    Data-Parallel Finite-State Machines

    Undo

@wkornewald hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·