Mot de passe oublié ?

Blogs sur: Types

Blog vedette

Improving exception-management in OCaml

Short version Catch me if you can is a small library for OCaml 3.10. The latest release is version 0.2, which you may find here. This library improves management of errors in OCaml. It is released und… la suite →

Il y a du thé renversé au bord de la table

Boycott du restaurant Teddy's Deli & Bar de Pointe-aux-Trembles Pourboires: un droit ou un privilège? — 3 comments

raymondviger wrote 3 months ago: Boycott du restaurant Teddy’s Deli & Bar de Pointe-aux-Trembles Pourboires: un droit ou un … more →

Mots-clefs : Restaurant, combien de pourboire donner, combien de pourboire laisser, impôts à déclarer sur les pourboires, impôts à payer sur les pourboires, Pourboire, pourboires, restaurant Teddy Bear, restaurant Teddy Bear Pointe-aux-Trembles

Essai typographique

alinemarche wrote 6 months ago: Une idée m’étant venue à l’esprit ce soir, je me suis mise en tête de la réaliser, je de … more →

Mots-clefs : Design graphique, Typographie, Femme, woman, typography, man ray, Le Violon d'Ingres, Ingres, violin

Improving exception-management in OCaml — 7 comments

yoric wrote 1 year ago: Short version Catch me if you can is a small library for OCaml 3.10. The latest release is version 0 … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, In English | en Anglais, OCaml, Static Analysis, Programming, camlp4, Java, functional programming

Extrapol and Korset

yoric wrote 1 year ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Extrapol, Static Analysis, Safety, Security

Extrapol source code available (not)

yoric wrote 1 year ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Extrapol, batteries included, Static Analysis, Safety

Toronto Shopping — 1 comment

mademoisellelek wrote 1 year ago: “Hey honey, take a walk on the wild side”* of the West Queen West:  the centre of the independent cu … more →

Mots-clefs : Shopping in..., Art Photo Studio, barbies, boutiques, Cafés, Canada, City Guide, Eel Boy, Etam Egoyan

Nietzsche, le nihilisme, la musique

cercamon wrote 3 years ago: Je cherche dans Nietzsche (et trouve – post à venir) de quoi éclairer mon scepti … more →

Mots-clefs : Musique, Nietzsche, Heidegger, nihilisme


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS