Sunday, September 28, 2014

Themes from Strangeloop 2014

One of the many reasons making the Strangeloop conference special is the interdisciplinary perspective, taking on themes as diverse as core functional programming concepts - what could fit this description better than the infinite tower of interpreters seen on Nada Amin's keynote - to upcoming software deployment approaches.

Still, some common themes seem to have emerged. One candidate is the spreadsheet as inspiration for programming. One thinker that seems to have taken some inspiration for his work is Jonathan Edwards, that opened the Future of Programming workshop with a talk showcasing the latest version of his research language Subtext.  Earlier prototypes explored the idea of programming without names, directly linking tree nodes to each other via a kind of cut-and-paste mechanism. In its latest incarnation it appears to have evolved into a reactive language with a completely observable evaluation model, the entire evaluation tree is always available for exploration, and a two stage reactive architecture allows for relating input events to evaluation steps. User interface is auto generated, sharing the environment with the code, much like their older reactive cousing, the spreadsheet.

Kaya, a new language created by David Broderick, explores the spreadsheet metaphor in a more literal manner: what if spreadsheets and cells were composable, allowing for naturally nested structures? Moreover, what if we could query this structure in a SQL-like manner? The result is a small set of abstractions generating complex emergent behavior, including, as in Subtext, a generic user interface.

Data dependency graph driven evaluation is an important part of both modern functional reactive programming languages and of all spreadsheet packages since 1978's VisiCalc. We saw some of the first on Evan Czaplicki's highly approachable talk "Controlling Time And Space: Understanding The Many Formulations Of Frp". And a bit of the latter on Felienne Hermans's talk "Spreadsheets for Developers", sort of wrapping around the metaphor and looking to software engineering for inspiration to improve spreadsheet usage.

One of the great aspects of spreadsheets is the experience of direct manipulation of a live environment. This is at the crux of what Brett Victor has been demonstrating on many of his demos, showing how different programming could be if our tools were guided by this principle. Though he did not present, the idea of direct manipulation was present in Strangeloop in several of the talks.  Subtext's transparency and live reflection of code updates on the generated UI moves in this direction. Still on the Future of Programming workshop, Shadershop is an environment whose central concept seems to be directly manipulating real-valued functions by composing simpler functions while live inspecting the resulting plots. Stephen Wolfram's keynote was an entertaining demonstration of his latest product, the Wolfram Language.  Its appeal was due, among other reasons, to the interactive exploration environment, particularly the visual representation of non-textual data and the seamless jump from evaluating expressions to building small exploratory UIs. 

Czaplicki's talk discussed several of the decisions involved in designing Elm, his functional reactive programming language. I found noteworthy that many of those were taken in order to allow live update of running code and an awesome time-traveling debugger.

Taking a different perspective at the buzzword du Jour, reactive, is another candidate theme for this year's Strangeloop: the taming of callbacks. They were repeatedly mentioned as one evil to be banished from the world of programming, including on Joe Armstrong's keynote, "The mess we are in" and all the functional reactive programming content took aim at the construct. Not only functional, another gem from this year's Future of Programming workshop was the imperative reactive programming language Céu. Created by Fransico Sant'anna at PUC Rio - the home of the Lua programming language - Céu compiles an imperative language with embedded event based concurrency constructs down to a deterministic state machine in C.  Achieving, among other tricks, fully automated memory management without a garbage collector.

Befitting our age of microservices and commodity cloud computing, another interesting current was looking at modern approaches to testing distributed systems. Michael Nygard exemplified simulation testing - which can be characterized as property based testing in the large - with Simulant, a clojure framework to prepare, run, record events, make assertions and analyze the results of sophisticated black box tests. Kyle @aphyr Kingsbury delivered another amazing performance torturing distributed databases to their breaking point. Most interesting was the lengths he had to go to in order to control the combinatorial explosion of the state space and actually verify global ordering properties like linearizability.

Speaking of going to great lengths to torture database systems, we come to what might have been my favorite talk at the conference, by the FoundationDb team, "Testing Distributed Systems w/ Deterministic Simulation".  Like @aphyr's Jepsen, they control the external environemnt to inject failures while generating transactions and asserting the system maintains its properties. They take great care to mock out all sources of non-determisim, including time, random number generation, even extend C++ to add better behaved concurrency abstractions.

Tests run thousands of times each night, nondeterministic behavior is weeded out by running twice each set of parameters and checking outputs don't change. FoundationDb's team goes further than Jepsen in the types of failures they can inject; not only causing network partitions and removing entire nodes from the cluster, but also simulating network lag, data corruption, and even operator mistakes, like swapping data files between nodes! Of course the test harness itself could be buggy, failing to exercise certain failure conditions; to overcome this specter, they generate real hardware failures with programmable power supplies connected to physical servers (they report no bugs were found on FoundationDb with this strategy, but Linux and Zookeeper had defects surfaced - the latter isn't in use anymore).

What I particularly enjoyed from this talk was the attitude towards the certainty of failures in production. Building a database is a serious endeavor, data loss is simply not acceptable, and they understood this from the start.

Closing the conference in the perfect key was Carin Meier and Sam Aaron's keynote demonstrating the one true underlying theme: Our Shared Joy of Programming.

225 comments:

«Oldest   ‹Older   201 – 225 of 225
mack said...

https://comprarcartadeconducao-imt.com/
https://comprarcartadeconducao-imt.com/comprar-carta-de-conducao/
https://comprarcartadeconducao-imt.com/comprar-carta-de-conducao-barata/
https://comprarcartadeconducao-imt.com/comprar-carta-de-conducao-legal/
https://comprarcartadeconducao-imt.com/comprar-carta-de-conducao-online/
https://comprarcartadeconducao-imt.com/comprar-carta-de-conducao-portugal/
https://comprarcartadeconducao-imt.com/contate-nos/
https://comprarcartadeconducao-imt.com/comprar-carta-de-conducao-verdadeira/

mack said...

https://gemakkelijkrijbewijs.com/product/rijbewijs-kopen-polen/
https://gemakkelijkrijbewijs.com/product/rijbewijs-kopen-polen-site/
https://gemakkelijkrijbewijs.com/product/rijbewijs-kopen-legaal/
https://gemakkelijkrijbewijs.com/product/koop-een-vals-rijbewijs/
https://gemakkelijkrijbewijs.com/product/vals-rijbewijs-kopen/
https://gemakkelijkrijbewijs.com/product/rijbewijs-kopen-zonder-examen/
https://gemakkelijkrijbewijs.com/product/koop-elk-legaal-rijbewijs/

RIJBEWIJS KOPEN said...

RIJBEWIJS KOPEN
rijbewijs kopen
rijbewijs kopen categorieen
rijbewijs kopen contact
over rijbewijs kopen
rijbewijs kopen diensten
betrouwbaar rijbewijs
geregistreerd rijbewijs kopen 2021
rijbewijs kopen voor nederland
rijbewijs kopen in belgie

Anonymous said...

Wij zijn een organisatie in Nederland en België die samenwerkt met vele rijscholen die gespecialiseerd zijn in het online
en zonder de examens afgeven van rijbewijzen voor auto’s, motoren en vrachtwagens. Dat wil zeggen dat we een betrouwbare en
risicovrije service bieden voor iedereen die problemen ondervindt of het theoretische deel van de rijexamens niet kunt halen.
bij ons en zonder examens weet je zeker dat je een echt,
geregistreerd en extreem goedkoop rijbewijs krijgt dat geregistreerd staat bij alle verstrekte rijbewijsdatabases
en de verschillende rijscholen in Nederland en België waarmee we samenwerken
Onze website is online sinds eind 2014 en tot nu toe zijn al onze klanten tevreden.
Twijfel dan niet langer, vertrouw ons en geef ons de aanschaf van uw rijbewijs A, B, C of D. De website
is voor mensen die een snel rijbewijs online willen voor een goede prijs en in de kwestie van 7-10 dagen.
https://authentiekrijbewijs.com
https://authentiekrijbewijs.com/faqs
https://authentiekrijbewijs.com/nederlands-rijbewijs
https://authentiekrijbewijs.com/neem-contact-met-ons-op
https://authentiekrijbewijs.com/referenties
https://authentiekrijbewijs.com/geregistreerd-rijbewijs-kopen-2021
https://authentiekrijbewijs.com/betrouwbaar-rijbewijs
https://authentiekrijbewijs.com/rijbewijs-kopen-in-belgie
https://authentiekrijbewijs.com/rijbewijs-kopen-voor-nederland
https://authentiekrijbewijs.com/koop-een-rijbewijs+4915129641977

bowel said...

Great blog you have got here.. It’s hard to find excellent writing like
yours nowadays. I honestly appreciate individuals like you!
Take care!!

comprar carta de conduçao

comprar-carta-de-conducao-legal/

links said...

COMPRE UMA LICENÇA DE CONDUÇÃO SEM EXAMES entre em contato pelo Whatsapp pelo telefone +49 176 93583663
comprar-carta-de-conducao-portugal
comprar-carteira-de-motorista-sem-exames
comprar-carta-de-conducao-verdadeira
comprar-carta-de-conducao-legal
comprar-carta-de-conducao-em-portugal
comprar-carteira-de-motorista-online
comprar-carta-de-conducao-lisboa
carta-de-conducao-2022
carta-de-conducao-brasil

links said...


ACHETER UN PERMIS DE CONDUIRE SANS EXAMEN contactez Whatsapp au +49 176 93583663
acheter-un-permis-de-conduire-classe-b
acheter-un-permis-de-conduire-francais-enregistre-en-prefecture
acheter-un-permis-de-conduire-sans-examens
acheter-un-permis-de-conduire-en-belgique
comprar-carnet-de-conducir-legal-espana
comprar-licencia-de-conducir-2022
comprar-carnet-de-conducir

links said...

KÖP KÖRKORT UTAN TENTA kontakta Whatsapp på +49 176 93583663
kopa-korkort
kob-korekort-b
kopa-korkort-online
comprare-patente
comprare-patente-online
comprare-patente-originale
<a href="https://xn--eu-registrierterfhrerschein-y3c.com/“>comprare-patente-b</a>

links said...


KAUFEN SIE EINEN FÜHRERSCHEIN OHNE PRÜFUNGEN kontaktieren Sie Whatsapp unter Telefon +49 176 93583663
zuverlassiger-fuhrerschein
registrierten-fuhrerschein-kaufen
kaufen-sie-einen-fuhrerschein-fur-deutschland
fuhrerschein-online-kaufen
fuhrerschein-fur-motorradfahrer
schweiz-fuhrerschein-kaufen
polen-fuhrerschein-kaufen
fuhrerschein-kaufen-ohne-prufung-koln
mpu-kaufen
fuhrerschein-kaufen-legal
motorrad-fuhrerschein-kaufen
roller-fuhrerschein-kaufen

links said...

KÖP KÖRKORT UTAN TENTA kontakta Whatsapp på +49 176 93583663
kopa-korkort
kob-korekort-b
kopa-korkort-online
kopa-korkort-utan-prov
comprare-patente-senza-esami
comprare-la-patente-a-napoli
<a href="https://xn--eu-registrierterfhrerschein-y3c.com/“>comprare-patente-originale</a>

links said...

KÖP KÖRKORT UTAN TENTA kontakta Whatsapp på +49 176 93583663
kopa-korkort
kob-korekort-b
kopa-korkort-online
kopa-korkort-utan-prov
comprare-patente-senza-esami
comprare-la-patente-a-napoli
acheter-un-permis-de-conduire
acheter-un-permis-de-conduire-en-suisse
acheter-un-permis-de-conduire-enregistre-en-ligne
acheter-un-permis-de-conduire-en-france
compra-de-licencia-de-conducir
comprar-carnet-de-conducir-legal-sin-examen
comprar-permiso-de-conducir-original
<a href="https://xn--eu-registrierterfhrerschein-y3c.com/“>comprar-carnet-de-conducir</a>

madagushema said...

Thanks for sharing this nice blog. And thanks for the information. Will like to read more from this blog.

acheter permis européen
acheter le permis de conduire
carteira de motorista em portugal
comprar carta de motorista
führerschein kaufen
führerschein legal kaufen
patente di guida italia
comprare patente di guida
patente registrata

madagushema said...

Thanks for sharing this nice blog. And thanks for the information. Will like to read more from this blog.

acheter permis européen
acheter le permis de conduire
carteira de motorista em portugal
comprar carta de motorista
führerschein kaufen
führerschein legal kaufen
patente di guida italia
comprare patente di guida
patente registrata

links said...

KAUFEN SIE EINEN FÜHRERSCHEIN OHNE PRÜFUNGEN
comprare-patente-b
compra-de-licencia-de-conducir
comprar-carnet-de-conducir-legal-sin-examen
comprar-permiso-de-conducir-original
acheter-un-permis-de-conduire-en-belgique
comprare-patente-online
comprare-patente-originale
acheter-un-permis-de-conduire-classe-b
acheter-un-permis-de-conduire-francais-enregistre-en-prefecture
acheter-un-permis-de-conduire-sans-examens
acheter-un-permis-de-conduire-en-france
geregistreerd-rijbewijs-kopen-2022
koop-online-een-geregistreerd-rijbewijs
rijbewijs-klasse-b-kopen
rijbewijs-kopen-voor-nederland
rijbewijs-online-kopen
<a href="https://xn--eu-registrierterfhrerschein-y3c.com/“>rijbewijs-online-geregistreerd</a>

links said...

KAUFEN SIE EINEN FÜHRERSCHEIN OHNE PRÜFUNGEN
haufig-gestellte-fragen
registrierten-fuhrerschein-2021-kaufen
lkw-fuhrerschein-kaufen
fuhrerscheinklasse-b
fuhrerschein-kaufen-ohne-prufung
echten-fuhrerschein-kaufen
schweizer-fuhrerschein-kaufen
osterreichischen-fuhrerschein
fuhrerschein-kaufen-frankfurt
deutschen-fuhrerschein-kaufen
gefalschten-fuhrerschein-kaufen
schnell-deutscher-fuhrerschein
comprar-carnet-de-conducir
kopa-korkort
kob-korekort-b

links said...

KÖP KÖRKORT UTAN TEST
kopa-utlandskt-korkort
kopa-korkortsfragor
kopa-b-korkort
kopa-korkort-flashback
kopa-korkort-forum
kopa-korkort-i-sverige
kopa-korkort-pa-darknet
kopa-korkort-polen
kopa-korkort-sverige
kopa-korkortsboken-2022

links said...

ACQUISTA UNA PATENTE DI GUIDA SENZA PROVE
come-comprare-la-patente-senza-fare-gli-esami
comprare-la-patente-a-roma
comprare-la-patente-di-guida
comprare-la-patente-di-guida-a-napoli
dove-comprare-la-patente-di-guida
comprare-patente-vera-online
comprare-la-patente-e-legale
comprare-patente-registrata
comprare-patente-moto
comprare-la-patente-online
comprare-la-patente-legalmente

links said...

COMPRE UNA LICENCIA DE CONDUCIR SIN PRUEBAS
donde-comprar-licencia-de-conducir
comprar-carnet-conducir-b
comprar-carnet-de-conducir
comprar-carnet-de-conducir-en-malaga
comprar-carnet-de-conducir-legal
comprar-carnet-de-conducir-legal-espana
comprar-carnet-de-conducir-legal-sin-examen-espana
comprar-licencia-de-conducir
comprar-licencia-de-conducir-espana
comprar-licencia-de-conducir-legal
comprar-permiso-de-conducir



links said...

KAUFEN SIE EINEN FÜHRERSCHEIN OHNE PRÜFUNGEN
haufig-gestellte-fragen
registrierten-fuhrerschein-2021-kaufen
lkw-fuhrerschein-kaufen
fuhrerscheinklasse-b
fuhrerschein-kaufen-ohne-prufung
echten-fuhrerschein-kaufen
schweizer-fuhrerschein-kaufen
osterreichischen-fuhrerschein
fuhrerschein-kaufen-frankfurt
deutschen-fuhrerschein-kaufen
gefalschten-fuhrerschein-kaufen
schnell-deutscher-fuhrerschein
comprar-carnet-de-conducir
kopa-korkort
kob-korekort-b

links said...

KAUFEN SIE EINEN FÜHRERSCHEIN OHNE PRÜFUNGEN
kopa-korkort-online
kopa-korkort-utan-prov
comprar-carnet-de-conducir-legal-espana
comprar-licencia-de-conducir-2022
comprare-patente
comprare-patente-senza-esami
comprare-la-patente-a-napoli
acheter-un-permis-de-conduire
acheter-un-permis-de-conduire-en-suisse
acheter-un-permis-de-conduire-enregistre-en-ligne
rijbewijs-kopen
vrachtwagenrijbewijs-kopen
geregistreerd-rijbewijs
koop-authentiek-rijbewijs-online
rijbewijs-kopen-in-belgie
rijbewijs-voor-motorrijders
<a href="https://xn--eu-registrierterfhrerschein-y3c.com/“>rijbewijs-online-kopen</a>

links said...

COMPRE UMA LICENÇA DE CONDUÇÃO SEM EXAMES
comprar-carta-de-conducao-portugal
comprar-carteira-de-motorista-sem-exames
comprar-carta-de-conducao-verdadeira
comprar-carta-de-conducao-legal
comprar-carta-de-conducao-em-portugal
comprar-carteira-de-motorista-online
comprar-carta-de-conducao-lisboa
carta-de-conducao-2022
carta-de-conducao-brasil

links said...

KÖP KÖRKORT UTAN TEST
kopa-utlandskt-korkort
kopa-korkortsfragor
kopa-b-korkort
kopa-korkort-flashback
kopa-korkort-forum
kopa-korkort-i-sverige
kopa-korkort-pa-darknet
kopa-korkort-polen
kopa-korkort-sverige
kopa-korkortsboken-2022

links said...

ACQUISTA UNA PATENTE DI GUIDA SENZA PROVE
come-comprare-la-patente-senza-fare-gli-esami
comprare-la-patente-a-roma
comprare-la-patente-di-guida
comprare-la-patente-di-guida-a-napoli
dove-comprare-la-patente-di-guida
comprare-patente-vera-online
comprare-la-patente-e-legale
comprare-patente-registrata
comprare-patente-moto
comprare-la-patente-online
comprare-la-patente-legalmente

links said...

COMPRE UNA LICENCIA DE CONDUCIR SIN PRUEBAS
donde-comprar-licencia-de-conducir
comprar-carnet-conducir-b
comprar-carnet-de-conducir
comprar-carnet-de-conducir-en-malaga
comprar-carnet-de-conducir-legal
comprar-carnet-de-conducir-legal-espana
comprar-carnet-de-conducir-legal-sin-examen-espana
comprar-licencia-de-conducir
comprar-licencia-de-conducir-espana
comprar-licencia-de-conducir-legal
comprar-permiso-de-conducir

links said...

KAUFEN SIE EINEN FÜHRERSCHEIN OHNE PRÜFUNGEN
rijbewijs-online-geregistreerd
comprare-patente-b
compra-de-licencia-de-conducir
comprar-carnet-de-conducir-legal-sin-examen
comprar-permiso-de-conducir-original
acheter-un-permis-de-conduire-en-belgique
comprare-patente-online
comprare-patente-originale
acheter-un-permis-de-conduire-classe-b
acheter-un-permis-de-conduire-francais-enregistre-en-prefecture
acheter-un-permis-de-conduire-sans-examens
acheter-un-permis-de-conduire-en-france
geregistreerd-rijbewijs-kopen-2022
koop-online-een-geregistreerd-rijbewijs
rijbewijs-klasse-b-kopen
rijbewijs-kopen-voor-nederland
<a href="https://xn--eu-registrierterfhrerschein-y3c.com/“>rijbewijs-voor-motorrijders</a>

«Oldest ‹Older   201 – 225 of 225   Newer› Newest»