Sujets créés par lthms
| Sujet | Date | Extrait |
|---|---|---|
|
Problème avec un dependent pattern matching
Comment aider Coq à se souvenir qu’ils font la même taille ? |
mardi 03 janvier 2017 à 18h27 | Bonjour à tous ! Il y a un petit moment déjà, j’avais écrit un article sur [le typage fort de Coq](http://leth.io/blog/strongly-specified-functions). Ayant depuis pris un peu de bouteille, je me s… |
|
Un Zeste de NaNoWriMo
Et si on essayait d’écrire 50 000 mots ? |
mardi 01 novembre 2016 à 13h01 | Salut à tous ! Aujourd’hui commence le [NaNoWriMo 2016](https://nanowrimo.org), un challenge international qui est lancé tous les ans aux écrivains amateurs et moins amateurs. Le but ? Écrire un «… |
|
Ogma
Visualiser une histoire dans le temps et dans l’esipace |
lundi 01 août 2016 à 21h08 | Bonjour à tous. Depuis maintenant plusieurs années, j’ai un projet qui me trotte dans la tête et que je repousse par manque de temps et motivation ; il se trouve si je manque toujours de temps, j’ai … |
|
Authentification externe et API Rest
Bon moyen de faire |
lundi 11 avril 2016 à 07h31 | Bonjour les zesteux. Depuis quelques temps, je travaille en dilettante sur un petit projet, qui a la particularité d’être une application/site web. Moi, à la base, je bosse plutôt avec les *bootlo… |
| vendredi 08 janvier 2016 à 14h36 | Bonjour, Depuis quelques temps, je louche de manière de plus en plus appuyées sur [NixOS](http://nixos.org), un système d’exploitation reposant sur le système de paquet *nix*. Les promesses de ce … | |
|
Ma première monade
À la recherche d’avis sur ce qui pourrait être amélioré |
samedi 10 octobre 2015 à 10h53 | Salut les zesteux ! TL;DR: Je demande l’avis des zesteux sur ce code https://gist.github.com/Ikyushii/52f797c5647ae94515aa Il y a quelques temps, je me suis mis à Haskell. Le langage m’intéress… |
|
L'UEFI : qu'est-ce que c'est ?
La séquence de démarrage du XXIe siècle |
lundi 28 septembre 2015 à 13h20 | -> [Lien de la beta du tutoriel : L'UEFI : qu'est-ce que c'est ?](http://zestedesavoir.com/tutoriels/beta/1227/luefi-quest-ce-que-cest/) <- Je poste ici plus pour prévenir qu'un tel tutoriel est e… |
|
République Numérique
Consultation citoyenne |
samedi 26 septembre 2015 à 20h01 | Il se passe quelque chose de sympa en France : [le gouvernement consulte ses citoyens sur son projet de Loi de la République Numérique](http://www.republique-numerique.fr/). Je pense que ça peut ê… |
|
Les fonctions fortement typées en Coq
Dis moi ton type, je te dirai ce que tu fais |
mercredi 23 septembre 2015 à 10h25 | -> [Lien de la beta du tutoriel : Les fonctions fortement typées en Coq](http://zestedesavoir.com/tutoriels/beta/1211/les-fonctions-fortement-typees-en-coq/) <- On va faire du *publish early, publ… |
|
Fonctions fortement typés (strongly-specified) en Coq
Discussions autour de cette fonctionnalité de Coq |
mercredi 15 juillet 2015 à 23h36 | Bonjour à tous. Récemment, j'ai écris un petit article sur les [fonctions fortement typés en Coq](http://ikyushii.github.io/strongly-specified-functions/). Je me suis dit que ça pourrait être inté… |
|
Retours d'expérience : Mediapart
Un abonnement, ça vaut le coup ? |
mercredi 08 juillet 2015 à 22h51 | Bonjour à tous, Depuis quelques temps, je lorgne du côté de Mediapart. J'ai bien envie de me prendre un abonnement, mais j'aimerai d'abord avoir des retours d'expérience d'abonnés. Neuf euros par … |
| vendredi 26 juin 2015 à 11h42 | Bonjour à tous, J'essaie de me (re)mettre intensivement à Coq, notamment en me mangeant le Coq'Art. Je commence à jouer avec les propriétés inductives, mais j'ai beaucoup de mal à les utiliser da… | |
|
Création d'une association
Quelques questions à ceux qui savent |
mercredi 04 février 2015 à 23h12 | Bonjour, Avec quelques amis, nous avons un projet qui avance tranquillement et qui pourrait, à partir d'un moment, engendré des coûts (locations de serveurs et de noms de domaine, par exemple). L'… |
| lundi 26 janvier 2015 à 23h11 | Bonjour à tous, Je viens aujourd'hui vous présenter l'avancement de mon premier projet de roman vraiment sérieux et je profite d'une occasion toute particulière pour le faire : le premier arc de n… | |
|
Utiliser Bandit sur SdZ
À investiguer |
mercredi 26 novembre 2014 à 09h24 | Salut, Ce matin, en parcourant mes flux RSS, je suis tombé sur [ce lien Reddit](http://www.reddit.com/r/netsec/comments/2ndtqp/introducing_bandit_a_python_code_security_analyzer/). Il parle de [Ba… |
|
Une dépêche Linuxfr pour la v1
Linuxfr, ou d'autres, d'ailleurs ! |
mardi 22 juillet 2014 à 14h08 | Bonjour à tous. Je me demandais ce qui était prévu comme « tapage médiatique » pour la sortie de la v1. J'avais pensé que ZdS était typiquement le genre de projet qui pourrait intéressé les gens d… |
|
Des ressources sur les bus PCI
Parce que bon, la doc ;D |
mercredi 16 juillet 2014 à 11h57 | Bonjour bonjour. Je ne savais pas trop si ça valait un topic à part entière, j'ai fini par me dire que ça ne pouvait pas forcément faire de mal. Qui sait, peut-être que ça intéressera des gens ? … |
|
À qui appartient cette adresse physique ?
Memory Controller, IO Controller, Memory-mapped IO, etc. |
mardi 08 juillet 2014 à 23h29 | (désolé pour le titre du sujet, je n'ai pas réussi à trouver quelque chose de plus parlant) Bonjour à tous, J'ai une petite question toute bête sur un détail auquel je n'ai pas encore réussi à … |