Lambda the Ultimate!

Proving Programs Correct Using Plain Old Java Types http://fpl.cs.depaul.edu/jriely/papers/2009-pojt.pdf,
by Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: > Tools for constructing proofs of correctness of programs have a long history of development in the research community, but have often faced difficulty in being widely deployed in software development tools. In this paper, we demonstrate that the off-the-shelf Java type system is already powerful enough to encode non-trivial proofs of correctness using propositional Hoare preconditions and postconditions. > We illustrate the power of this method by adapting Fähndrich and Leino’s work on monotone typestates and Myers and Qi’s closely related work on object initialization. Our approach is expressive enough to address ph

Lambda the Ultimate alternatives

  • Hacker News

  • Hacker News is a social news website that caters to programmers and entrepreneurs, delivering content related to computer science and entrepreneurship.

    tags: news news-aggregator news-feed social-news technology-news
  • Slashdot

  • News for nerds, stuff that matters. Slashdot (aka /.) is a technology-related news and discussion site with a focus on Linux, free and open source software and information freedom and privacy issues. The software it runs on, called Slashcode, is open source.

    tags: discussion news open-source-projects
  • Lobsters

  • Lobsters is a technology-focused link-aggregation site. The site is driven by Ruby on Rails with the source code being freely available for those seeking to create a site similar to Reddit or Hackernews.

    tags: social-news technology-news
  • Newsbeard

  • Simplified technology news aggregator

    tags: news news-aggregator news-feed technology-news aggregator
  • spreadit

  • spreadit is a link aggregator and bullshit generator.

    tags: Discontinued discussion kickass link-sharing links
  • Echo JS

  • Echo JS is a community-driven news site entirely focused on JavaScript development, HTML5, and front-end news.

    tags: javascript social-news
  • Empeopled

  • Empeopled is an online social platform connecting people through high-quality conversations about their shared interests. It serves as a merit-based filter for whom and what users want to know on the Internet. It is a uniquely transparent path to getting recognition and being heard.

    tags: social-network social-media vote shared-interests
  • SoylentNews

  • News aggregation site that deliver articles about technology, science, and general interest.

    tags: social-news technology-news
  • Linkibl

  • Linkibl is where you can discover and share the Internet'smost interesting content every day.

    tags: blogging link-sharing news news-aggregator social-network
  • Euclid's Prime

  • Simple stripped down news feed

    tags: Discontinued news news-aggregator newsletter news-feed
  • PushdUp

  • A user curated news aggregator site that focuses on high quality articles.

    tags: Discontinued social-network social-media news social-bookmarking
  • TopTopic

  • TopTopic is an online community where members earn revenue from their posts, comments and moderation activities. Rather than run ads, we use member up-voting (no down-voting) to both raise the exposure of content, and drive revenue to the creators.

    tags: community-based content-curation online-community photo-sharing publishing
  • ZapChain

  • ZapChain is a collection of communities where you can earn Bitcoin for posting great content and joining discussions.

    tags: bitcoin blogging blogging-platform earn-bitcoin online-community
  • demcra

  • Democratic non-profit news aggregator.

    tags: file-sharing news news-aggregator image-sharing links