billymeinke.wordpress.com
Looking at Tools to Make the Web Work for Science – Mozfest 2013 | Billy Meinke
https://billymeinke.wordpress.com/2013/10/27/looking-at-tools-to-make-the-web-work-for-science-mozfest-2013
Looking at Tools to Make the Web Work for Science – Mozfest 2013. October 27, 2013. Being able to return to my blog for the first time in a while is truly enjoyable, and I want to share about a content hack session that I was a part of yesterday. Here goes. Facilitating a session on the Science track at the Mozilla Festival in London, Michelle Brook. And I worked with a group of interested folks to craft some basic information about how new folks can quickly learn about alternative metrics for science.
blog.felixbreuer.net
Here is how to fund Open Textbooks and MOOCs - Felix Breuer's Blog
http://blog.felixbreuer.net/2013/07/09/here-is-how-to-fund-open-textbooks-moocs-open-online-courses-and-open-educational-conent.html
Here is how to fund Open Textbooks and MOOCs. Open textbooks and MOOCs are the way of the future. Yet, traditional business models, from donations to sales, do not suffice to make the full breadth of educational content open to everyone. Fund I/O. Is the business model to fill this gap. It is simple, really: the more people have access to an educational resource, the more can benefit from it. The classical approach is to sell. Instead of going down. Reasons. Publishers’ profit interests. Of the amount th...
blog.felixbreuer.net
Formal proof - first steps with HOL Light - Felix Breuer's Blog
http://blog.felixbreuer.net/2012/06/11/hol.html
Formal proof - first steps with HOL Light. Recently, I have philosophized. About how the mathematical community needs to move beyond (new) theorems as their currency of research. One different form of currency that I personally find particularly interesting are formal proofs. So, in the last few weeks I have spent some time getting my feet wet with one of the formal proof systems. Out there: HOL Light. During my experiments the hol-info. I will begin by giving a short summary of the informal proof and it...
blog.felixbreuer.net
The Average Cost Threshold Protocol for Funding Public Goods - Felix Breuer's Blog
http://blog.felixbreuer.net/2013/01/20/average-cost-threshold-protocol.html
The Average Cost Threshold Protocol for Funding Public Goods. I started a series of posts on finding new ways to fund public goods. Crowd-funding platforms, which have been enormously successful in 2012, promise a new way of financing creative projects and many of them employ the Street Performer Protocol, which was originally invented with a view towards financing public goods such as open source software projects. However, a closer look. At the way the Street Performer Protocol is used on Kickstarter.
blog.felixbreuer.net
A Business Model for Crowdfunding Subscription Services - Felix Breuer's Blog
http://blog.felixbreuer.net/2013/07/01/fund-io-as-a-business-model-for-crowdfunding-subscription-services.html
A Business Model for Crowdfunding Subscription Services. Is a model for funding the production of any type of good with massive economies of scale. In its basic version, Fund I/O is intended to finance fixed costs that only apply once, such as the one-off cost of writing a book. (See here. A variant of Fund I/O that finances ongoing fixed costs is the following subscription model. Of course, each particular use-case will require further tweaks, but the basic model is this. Previous subscribers are refund...
blog.felixbreuer.net
Using Three.js to Create Vector-Graphics from 3D-Visualizations Right in Your Browser - Felix Breuer's Blog
http://blog.felixbreuer.net/2014/08/05/using-threejs-to-create-vector-graphics-from-3d-visualizations.html
Using Three.js to Create Vector-Graphics from 3D-Visualizations Right in Your Browser. When you want to prepare your 3D visualizations for publication in print/PDF you typically want to convert them into a vector graphics format. Three.js is a JavaScript library for creating 3D graphics that can be easily used to create vector graphics images in SVG format from 3D visualizations. Here is an example of how to achieve this – and you can modify the example right in your browser! Came to the rescue. Thre...
blog.felixbreuer.net
Using Intuitive Geometry - Lecture Summary - Felix Breuer's Blog
http://blog.felixbreuer.net/2011/12/30/lecture.html
Using Intuitive Geometry - Lecture Summary. Responsibility. Also, this was a topic course for graduate students, so that I could teach anything that I wanted. What a wonderful opportunity to experiment! In this post, I will present the idea behind the course I gave, give an outline of the topics covered, provide all my slides and notes for the lecture as well as all the exercise problems, give a list of topics for the seminar, and review how the course, as a whole, went. Was to be emphasized over rigor,.
blog.felixbreuer.net
Here is how to fund Open Textbooks and MOOCs - Felix Breuer's Blog
http://blog.felixbreuer.net/2013/07/10/here-is-how-to-fund-open-textbooks-moocs-open-online-courses-and-open-educational-conent.html
Here is how to fund Open Textbooks and MOOCs. Open textbooks and MOOCs are the way of the future. Yet, traditional business models, from donations to sales, do not suffice to make the full breadth of educational content open to everyone. Fund I/O. Is the business model to fill this gap. It is simple, really: the more people have access to an educational resource, the more can benefit from it. The classical approach is to sell. Instead of going down. Reasons. Publishers’ profit interests. Of the amount th...
blog.felixbreuer.net
Towards a standard file format for formal sketches of mathematical articles - Felix Breuer's Blog
http://blog.felixbreuer.net/2012/06/17/proof.html
Towards a standard file format for formal sketches of mathematical articles. The large-scale formalization of mathematics has been a long-time dream of many. Personally, I would love to accompany every mathematical research article I write with a formal version, including formal proofs, and I think widespread formalization is important for the mathematical community. However, as long as current automatic proof systems are unable. The formal sketch is human-readable and human-writable. Moreover, reading o...
blog.felixbreuer.net
The Geometry of Restricted Partitions - Felix Breuer's Blog
http://blog.felixbreuer.net/2014/11/20/geometry-of-restricted-partitions-talk-slides-threejs.html
The Geometry of Restricted Partitions. Last week, I attended the IMA Workshop on Geometric and Enumerative Combinatorics. Which was, hands down, the best conference I have ever attended. The speaker lineup was simply amazing and I return brimming with ideas for future projects and collaborations. I felt, therefore, particularly honored to be invited to speak in front of this audience, given that so many of my personal “academic heroes”, who I have cited so often, were present. Of the slides for offline v...
