Session
Schedule FOSDEM 2020
Lightning Talks

Concept Programming, from ideas to code

H.2215 (Ferrer)
Christophe de Dinechin
Programming is the art of turning ideas into code. Ideas and code do not live in the same space. Any translation is lossy. Concept programming is a cross-language approach that focuses on this translation process, and helps identify often overlooked classes of issues.

Ideas and code do not live in the same space. Consequently, any translation is lossy. But this loss is not immediately visible. For example, how does your programming language coerce you into coding a concept as simple as "maximum" or list in a way that is generally full of warts? Concept programming is a cross-language approach that focuses on this translation process, and helps identify often overlooked classes of issues. It separates the "concept space" and the "code space", and focuses on how the mechanics in one space translate (or not) into the other.

It introduces a few core ideas:

Syntactic noise is the difference in look between code and concept. For example, in Lisp, you write (+ 1 2)

Semantic noise is the difference in behavior between code and concept. For example, in C, text is null-terminated.

Bandwidth is the amount of the concept space covered by the code. For example, the "+" operator has higher bandwidth in C++ than in C

Signal/noise ratio is the amount of code that does not carry any useful concept. For example, curly braces and semi-colons in C.

Additional information

Type lightningtalk

More sessions

2/1/20
Lightning Talks
Matthias Kirschner
H.2215 (Ferrer)
More and more traditionally processes in our society now incorporate, and are influenced by software.
2/1/20
Lightning Talks
Mikel Cordovilla
H.2215 (Ferrer)
OpenOlitor is a SaaS open-source tool facilitating the organization and management of CSAs (Community Supported Agriculture) communities. This tool covers a large spectrum of functionalities needed for CSAs such as member management, emailing, invoicing, share planning and delivery, absence scheduling, etc. This software is organized and monitored by an international community that promotes the tool, helps operate it and support the interested communities. In order to promote the sustainability ...
2/1/20
Lightning Talks
Pierre Slamich
H.2215 (Ferrer)
Open Food Facts is a collaborative and crowdsourced database of food products from the whole planet, licensed under the Open Database License (ODBL). It was launched in 2012, and today it is powered by 27000 contributors who have collected data and images for over 1 million products in 178 countries (and growing strong…) This is the opportunity to learn more about Open Food Facts, and the latest developments of the project.
2/1/20
Lightning Talks
Bruno Škvorc
H.2215 (Ferrer)
For as long as human society has existed, humans have been unable to trust each other. For millennia, we relied on middlemen to establish business or legal relationships. With the advent of Web2.0, we also relayed the establishment of personal connections, and the system has turned against us. The middlemen abuse our needs and their power and we find ourselves chained to convenience at the expense of our own thoughts, our own privacy. Web3 is a radical new frontier ready to turn the status quo ...
2/1/20
Lightning Talks
Atlas Engineer
H.2215 (Ferrer)
While actual browsers expose their internals through an API and limit access to the host system, Next doesn't, allowing for infinite extensibility and inviting the users to program their web browser. On top of that, it doesn't tie itself to a particular platform (we currently provide bindings to WebKit and WebEngine) and allows for live code reloads, thanks to the Common Lisp language, about which we'll share our experience too.
2/1/20
Lightning Talks
Michal Čihař
H.2215 (Ferrer)
Please note that this talk will now be given by Michal Čihař instead of Václav Zbránek. You will learn how to localize your project easily with little effort, open-source way. No repetitive work, no manual work with translation files anymore. Weblate is unique for its tight integration to VCS. Set it up once and start engaging the community of translators. More languages translated means more happy users of your software. Be like openSUSE, Fedora, and many more, and speak your users' ...
2/1/20
Lightning Talks
Roberto Abdelkader Martínez Pérez
H.2215 (Ferrer)
This talk is about "Kapow!" an open source webframework for the shell developed by BBVA Innovation Labs. We will talk about the current development of the project including an overview of Kapow!'s technology stack and the recent release of the first stable version.