http://soup.copton.net/ http://soup.copton.net/ http://4.asset.soup.io/asset/0355/0260_8578.png 128 128 2.4263102175e-12 {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2012/01/10/scrab_your_boilerplate/index.html\"\u003EScrab your Boilerplate\u003C/a\u003E","source":"http://blog.copton.net/archives/2012/01/10/scrab_your_boilerplate/index.html","body":null} Tue, 10 Jan 2012 17:00:37 GMThttp://soup.copton.net/post/216698505/Scrab-your-Boilerplateurn:www-soup-io:1:216698505regularvortrag {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2012/01/10/bitcoin/index.html\"\u003EBitcoin\u003C/a\u003E","source":"http://blog.copton.net/archives/2012/01/10/bitcoin/index.html","body":null} Tue, 10 Jan 2012 16:49:45 GMThttp://soup.copton.net/post/216698509/Bitcoinurn:www-soup-io:1:216698509regularvortrag {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2011/10/15/bitcoin/index.html\"\u003EBitcoin\u003C/a\u003E","source":"http://blog.copton.net/archives/2011/10/15/bitcoin/index.html","body":null} Sat, 15 Oct 2011 15:10:04 GMThttp://soup.copton.net/post/179510489/Bitcoinurn:www-soup-io:1:179510489regularvortrag {"tags":["article","C/C++","code generation","events","threads","wireless sensor networks"],"type":"regular","title":"\u003Ca href=\"http://blogs.ethz.ch/copton/2011/09/26/compiler-assisted-thread-abstractions-for-resource-constrained-systems/\"\u003ECompiler-Assisted Thread Abstractions for Resource-Constrained Systems\u003C/a\u003E","source":"http://blogs.ethz.ch/copton/2011/09/26/compiler-assisted-thread-abstractions-for-resource-constrained-systems/","body":null} Mon, 26 Sep 2011 09:58:09 GMThttp://soup.copton.net/post/167958752/Compiler-Assisted-Thread-Abstractions-for-Resource-Constrainedurn:www-soup-io:1:167958752regulararticlec/c++code generationeventsthreadswireless sensor networks {"tags":["ted","psychology","talk"],"type":"link","title":"Barry Schwartz on the paradox of choice","source":"http://www.ted.com/talks/barry_schwartz_on_the_paradox_of_choice.html","body":null} <p><a href="http://www.ted.com/talks/barry_schwartz_on_the_paradox_of_choice.html">http://www.ted.com/talks/barry_schwartz_on_the_paradox_of_choice.html</a></p>Tue, 06 Sep 2011 16:32:09 GMThttp://soup.copton.net/post/157397913/Barry-Schwartz-on-the-paradox-of-choiceurn:www-soup-io:1:157397913linktedpsychologytalk {"tags":["ted","psychology","research","talk"],"type":"link","title":"Dan Gilbert asks, Why are we happy?","source":"http://www.ted.com/talks/dan_gilbert_asks_why_are_we_happy.html","body":null} <p><a href="http://www.ted.com/talks/dan_gilbert_asks_why_are_we_happy.html">http://www.ted.com/talks/dan_gilbert_asks_why_are_we_happy.html</a></p>Tue, 06 Sep 2011 16:28:52 GMThttp://soup.copton.net/post/157397914/Dan-Gilbert-asks-Why-are-we-happyurn:www-soup-io:1:157397914linktedpsychologyresearchtalk {"tags":["gesetz","schifffahrt","schweiz"],"type":"link","title":"SR 747.201.1 Verordnung \u00fcber die Schifffahrt auf ...","source":"http://www.admin.ch/ch/d/sr/747_201_1/index.html","body":null} <p><a href="http://www.admin.ch/ch/d/sr/747_201_1/index.html">http://www.admin.ch/ch/d/sr/747_201_1/index.html</a></p>Sun, 04 Sep 2011 10:52:48 GMThttp://soup.copton.net/post/156522682/SR-747-201-1-Verordnung-ber-dieurn:www-soup-io:1:156522682linkgesetzschifffahrtschweiz {"tags":["haskell","paper","type-system"],"type":"link","title":"Practical type inference for arbitrary-rank types","source":"http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/","body":null} <p><a href="http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/">http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/</a></p>Wed, 24 Aug 2011 07:25:03 GMThttp://soup.copton.net/post/154677379/Practical-type-inference-for-arbitrary-rank-typesurn:www-soup-io:1:154677379linkhaskellpapertype-system {"tags":["haskell","article","functional"],"type":"link","title":"The Curry-Howard Correspondence in Haskell","source":"http://www.thenewsh.com/~newsham/formal/curryhoward/","body":null} <p><a href="http://www.thenewsh.com/~newsham/formal/curryhoward/">http://www.thenewsh.com/~newsham/formal/curryhoward/</a></p>Sat, 20 Aug 2011 17:52:31 GMThttp://soup.copton.net/post/154437252/The-Curry-Howard-Correspondence-in-Haskellurn:www-soup-io:1:154437252linkhaskellarticlefunctional {"tags":["haskell","visualization","testing","software"],"type":"link","title":"Haskell Program Coverage","source":"http://projects.unsafeperformio.com/hpc/","body":null} <p><a href="http://projects.unsafeperformio.com/hpc/">http://projects.unsafeperformio.com/hpc/</a></p>Thu, 11 Aug 2011 20:03:22 GMThttp://soup.copton.net/post/153470621/Haskell-Program-Coverageurn:www-soup-io:1:153470621linkhaskellvisualizationtestingsoftware {"tags":["haskell","tutorial","semantics","mathematics"],"type":"link","title":"Haskell/Denotational semantics - Wikibooks, open books for an ...","source":"http://en.wikibooks.org/wiki/Haskell/Denotational_semantics","body":null} <p><a href="http://en.wikibooks.org/wiki/Haskell/Denotational_semantics">http://en.wikibooks.org/wiki/Haskell/Denotational_semantics</a></p>Mon, 08 Aug 2011 08:32:32 GMThttp://soup.copton.net/post/152721720/Haskell-Denotational-semantics-Wikibooks-open-books-forurn:www-soup-io:1:152721720linkhaskelltutorialsemanticsmathematics {"tags":["software","productivity"],"type":"link","title":"Taskwarrior","source":"http://taskwarrior.org/projects/show/taskwarrior","body":null} <p><a href="http://taskwarrior.org/projects/show/taskwarrior">http://taskwarrior.org/projects/show/taskwarrior</a></p>Mon, 01 Aug 2011 12:54:41 GMThttp://soup.copton.net/post/151172788/Taskwarriorurn:www-soup-io:1:151172788linksoftwareproductivity {"tags":["haskell","tutorial","monads"],"type":"link","title":"All About Monads","source":"http://www.haskell.org/haskellwiki/All_About_Monads","body":null} <p><a href="http://www.haskell.org/haskellwiki/All_About_Monads">http://www.haskell.org/haskellwiki/All_About_Monads</a></p>Mon, 25 Jul 2011 10:06:35 GMThttp://soup.copton.net/post/149118877/All-About-Monadsurn:www-soup-io:1:149118877linkhaskelltutorialmonads {"tags":["tutorial","haskell","template-haskell"],"type":"link","title":"Template Haskell","source":"http://www.fh-wedel.de/~si/seminare/ss11/Ausarbeitung/03.TemplateHaskell/","body":null} <p><a href="http://www.fh-wedel.de/~si/seminare/ss11/Ausarbeitung/03.TemplateHaskell/">http://www.fh-wedel.de/~si/seminare/ss11/Ausarbeitung/03.TemplateHaskell/</a></p>Sun, 17 Jul 2011 09:17:55 GMThttp://soup.copton.net/post/146893439/Template-Haskellurn:www-soup-io:1:146893439linktutorialhaskelltemplate-haskell {"tags":["haskell","tutorial"],"type":"link","title":"Haskell - Understanding arrows","source":"http://en.wikibooks.org/wiki/Haskell/Understanding_arrows","body":null} <p><a href="http://en.wikibooks.org/wiki/Haskell/Understanding_arrows">http://en.wikibooks.org/wiki/Haskell/Understanding_arrows</a></p>Sat, 16 Jul 2011 20:05:45 GMThttp://soup.copton.net/post/146849954/Haskell-Understanding-arrowsurn:www-soup-io:1:146849954linkhaskelltutorial {"tags":["haskell","tutorial","monads"],"type":"link","title":"Haskell - Monad transformers","source":"http://en.wikibooks.org/wiki/Haskell/Monad_transformers","body":null} <p><a href="http://en.wikibooks.org/wiki/Haskell/Monad_transformers">http://en.wikibooks.org/wiki/Haskell/Monad_transformers</a></p>Sat, 16 Jul 2011 20:04:36 GMThttp://soup.copton.net/post/146849957/Haskell-Monad-transformersurn:www-soup-io:1:146849957linkhaskelltutorialmonads {"tags":["haskell","article","system:filetype:pdf","system:media:document"],"type":"link","title":"Typeclassopedia","source":"http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf","body":null} <p><a href="http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf">http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf</a></p>Sun, 10 Jul 2011 09:17:58 GMThttp://soup.copton.net/post/145007027/Typeclassopediaurn:www-soup-io:1:145007027linkhaskellarticlesystem:filetype:pdfsystem:media:document {"tags":["haskell","article"],"type":"link","title":"Bindings and CAFs on the Haskell Heap : Inside T5","source":"http://blog.ezyang.com/2011/05/bindings-and-cafs-on-the-haskell-heap/","body":null} <p><a href="http://blog.ezyang.com/2011/05/bindings-and-cafs-on-the-haskell-heap/">http://blog.ezyang.com/2011/05/bindings-and-cafs-on-the-haskell-heap/</a></p>Sun, 10 Jul 2011 09:17:33 GMThttp://soup.copton.net/post/145007030/Bindings-and-CAFs-on-the-Haskell-Heapurn:www-soup-io:1:145007030linkhaskellarticle {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2011/06/26/bitcoin/index.html\"\u003EBitcoin\u003C/a\u003E","source":"http://blog.copton.net/archives/2011/06/26/bitcoin/index.html","body":null} Sun, 26 Jun 2011 12:52:42 GMThttp://soup.copton.net/post/141404367/Bitcoinurn:www-soup-io:1:141404367regularvortrag {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2011/06/26/haskell/index.html\"\u003EHaskell\u003C/a\u003E","source":"http://blog.copton.net/archives/2011/06/26/haskell/index.html","body":null} Sun, 26 Jun 2011 12:47:48 GMThttp://soup.copton.net/post/141404372/Haskellurn:www-soup-io:1:141404372regularvortrag {"tags":["latex","ide","software","eclipse"],"type":"link","title":"TeXlipse homepage - LaTeX for Eclipse","source":"http://texlipse.sourceforge.net/","body":null} <p><a href="http://texlipse.sourceforge.net/">http://texlipse.sourceforge.net/</a></p>Tue, 14 Jun 2011 19:43:32 GMThttp://soup.copton.net/post/138533461/TeXlipse-homepage-LaTeX-for-Eclipseurn:www-soup-io:1:138533461linklatexidesoftwareeclipse {"tags":["haskell","software","visualization"],"type":"link","title":"Diagrams","source":"http://projects.haskell.org/diagrams/","body":null} <p><a href="http://projects.haskell.org/diagrams/">http://projects.haskell.org/diagrams/</a></p>Thu, 26 May 2011 11:52:23 GMThttp://soup.copton.net/post/134090433/Diagramsurn:www-soup-io:1:134090433linkhaskellsoftwarevisualization {"tags":["erlang","haskell","software"],"type":"link","title":"ErlangInHaskell","source":"http://hackage.haskell.org/trac/ghc/wiki/ErlangInHaskell","body":null} <p><a href="http://hackage.haskell.org/trac/ghc/wiki/ErlangInHaskell">http://hackage.haskell.org/trac/ghc/wiki/ErlangInHaskell</a></p>Tue, 17 May 2011 08:46:14 GMThttp://soup.copton.net/post/132372627/ErlangInHaskellurn:www-soup-io:1:132372627linkerlanghaskellsoftware {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2011/05/17/bitcoin/index.html\"\u003EBitcoin\u003C/a\u003E","source":"http://blog.copton.net/archives/2011/05/17/bitcoin/index.html","body":null} Tue, 17 May 2011 08:37:00 GMThttp://soup.copton.net/post/132370488/Bitcoinurn:www-soup-io:1:132370488regularvortrag {"tags":["Vortrag"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2011/05/17/correct_by_construction/index.html\"\u003ECorrect by Construction\u003C/a\u003E","source":"http://blog.copton.net/archives/2011/05/17/correct_by_construction/index.html","body":null} Tue, 17 May 2011 08:23:48 GMThttp://soup.copton.net/post/132370489/Correct-by-Constructionurn:www-soup-io:1:132370489regularvortrag {"tags":["haskell","web","framework"],"type":"link","title":"Yesod :: Yesod Web Framework for Haskell","source":"http://www.yesodweb.com/","body":null} <p><a href="http://www.yesodweb.com/">http://www.yesodweb.com/</a></p>Tue, 03 May 2011 19:44:39 GMThttp://soup.copton.net/post/129093729/Yesod-Yesod-Web-Framework-for-Haskellurn:www-soup-io:1:129093729linkhaskellwebframework {"tags":["article","dsl","scala"],"type":"regular","title":"\u003Ca href=\"http://blogs.ethz.ch/copton/2011/04/08/internal-dsls-in-scala/\"\u003EInternal DSLs in Scala\u003C/a\u003E","source":"http://blogs.ethz.ch/copton/2011/04/08/internal-dsls-in-scala/","body":null} Fri, 08 Apr 2011 13:03:49 GMThttp://soup.copton.net/post/122420269/Internal-DSLs-in-Scalaurn:www-soup-io:1:122420269regulararticledslscala {"tags":["publication","code generation","embedded","wireless sensor networks"],"type":"regular","title":"\u003Ca href=\"http://blogs.ethz.ch/copton/2011/04/07/compiling-business-process-models-for-sensor-networks/\"\u003ECompiling Business Process Models for Sensor Networks\u003C/a\u003E","source":"http://blogs.ethz.ch/copton/2011/04/07/compiling-business-process-models-for-sensor-networks/","body":null} Thu, 07 Apr 2011 17:57:03 GMThttp://soup.copton.net/post/122228253/Compiling-Business-Process-Models-for-Sensor-Networksurn:www-soup-io:1:122228253regularpublicationcode generationembeddedwireless sensor networks {"tags":["formal-method","software_engineering"],"type":"link","title":"Spin - Formal Verification","source":"http://spinroot.com/","body":null} <p><a href="http://spinroot.com/">http://spinroot.com/</a></p>Mon, 28 Feb 2011 16:26:15 GMThttp://soup.copton.net/post/112597255/Spin-Formal-Verificationurn:www-soup-io:1:112597255linkformal-methodsoftware_engineering {"tags":["Publikationen"],"type":"regular","title":"\u003Ca href=\"http://blog.copton.net/archives/2011/02/27/react_a_command_line_tool_for_inotify/index.html\"\u003Ereact, a command line tool for inotify\u003C/a\u003E","source":"http://blog.copton.net/archives/2011/02/27/react_a_command_line_tool_for_inotify/index.html","body":null} Sun, 27 Feb 2011 13:54:37 GMThttp://soup.copton.net/post/112305342/react-a-command-line-tool-for-inotifyurn:www-soup-io:1:112305342regularpublikationen {"tags":["haskell","software","code_generation"],"type":"link","title":"DrIFT","source":"http://repetae.net/computer/haskell/DrIFT/","body":"type sensitive preprocessor for Haskell"} <p>type sensitive preprocessor for Haskell</p> <p><a href="http://repetae.net/computer/haskell/DrIFT/">http://repetae.net/computer/haskell/DrIFT/</a></p>Sun, 06 Feb 2011 11:47:34 GMThttp://soup.copton.net/post/106692111/DrIFTurn:www-soup-io:1:106692111linkhaskellsoftwarecode_generation {"tags":["formal-method","software","theorem-prover"],"type":"link","title":"CVC3 - automatic theorem prover","source":"http://www.cs.nyu.edu/acsys/cvc3/","body":null} <p><a href="http://www.cs.nyu.edu/acsys/cvc3/">http://www.cs.nyu.edu/acsys/cvc3/</a></p>Thu, 27 Jan 2011 14:47:11 GMThttp://soup.copton.net/post/104505752/CVC3-automatic-theorem-proverurn:www-soup-io:1:104505752linkformal-methodsoftwaretheorem-prover {"tags":["constraintsolver","formal-method","software"],"type":"link","title":"STP Constraint Solver","source":"http://sites.google.com/site/stpfastprover/","body":null} <p><a href="http://sites.google.com/site/stpfastprover/">http://sites.google.com/site/stpfastprover/</a></p>Thu, 27 Jan 2011 14:43:21 GMThttp://soup.copton.net/post/104505755/STP-Constraint-Solverurn:www-soup-io:1:104505755linkconstraintsolverformal-methodsoftware {"tags":["haskell","dsl","embedded"],"type":"link","title":"leepike/Copilot @ GitHub","source":"http://leepike.github.com/Copilot/","body":null} <p><a href="http://leepike.github.com/Copilot/">http://leepike.github.com/Copilot/</a></p>Wed, 29 Dec 2010 11:30:49 GMThttp://soup.copton.net/post/97782407/leepike-Copilot-GitHuburn:www-soup-io:1:97782407linkhaskelldslembedded {"tags":["_eth","software","formal-method","model-checking"],"type":"link","title":"Bogor - Software Model Checking Framework","source":"http://bogor.projects.cis.ksu.edu/","body":null} <p><a href="http://bogor.projects.cis.ksu.edu/">http://bogor.projects.cis.ksu.edu/</a></p>Sat, 20 Nov 2010 12:49:43 GMThttp://soup.copton.net/post/89016531/Bogor-Software-Model-Checking-Frameworkurn:www-soup-io:1:89016531link_ethsoftwareformal-methodmodel-checking {"tags":["book","ocaml"],"type":"link","title":"The Caml Hump: OCaml book","source":"http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=347","body":null} <p><a href="http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=347">http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=347</a></p>Sun, 07 Nov 2010 20:16:32 GMThttp://soup.copton.net/post/86550759/The-Caml-Hump-OCaml-bookurn:www-soup-io:1:86550759linkbookocaml {"tags":["ocaml","book"],"type":"link","title":"Developing applications with Objective Caml","source":"http://caml.inria.fr/pub/docs/oreilly-book/","body":null} <p><a href="http://caml.inria.fr/pub/docs/oreilly-book/">http://caml.inria.fr/pub/docs/oreilly-book/</a></p>Sun, 07 Nov 2010 20:15:32 GMThttp://soup.copton.net/post/86550760/Developing-applications-with-Objective-Camlurn:www-soup-io:1:86550760linkocamlbook {"tags":["starcraft","screencast"],"type":"link","title":"GOMtv.net - eSports LIVE Broadcast. Game League Starcraft Warcraft ...","source":"http://www.gomtv.net/","body":null} <p><a href="http://www.gomtv.net/">http://www.gomtv.net/</a></p>Wed, 03 Nov 2010 22:19:59 GMThttp://soup.copton.net/post/85808479/GOMtv-net-eSports-LIVE-Broadcast-Game-Leagueurn:www-soup-io:1:85808479linkstarcraftscreencast {"tags":["_eth","software","parser","pretty-printer"],"type":"link","title":"CIL - C Intermediate Language","source":"http://cil.sourceforge.net/","body":null} <p><a href="http://cil.sourceforge.net/">http://cil.sourceforge.net/</a></p>Sun, 31 Oct 2010 19:31:35 GMThttp://soup.copton.net/post/85219573/CIL-C-Intermediate-Languageurn:www-soup-io:1:85219573link_ethsoftwareparserpretty-printer {"tags":["starcraft","reference"],"type":"link","title":"StarCraft Wiki","source":"http://starcraft.wikia.com/","body":null} <p><a href="http://starcraft.wikia.com/">http://starcraft.wikia.com/</a></p>Fri, 29 Oct 2010 12:36:12 GMThttp://soup.copton.net/post/84714985/StarCraft-Wikiurn:www-soup-io:1:84714985linkstarcraftreference