Auteur Message
Administrateur
Avatar de l’utilisateur
« Tableau(x) » (avec le pluriel et singulier correct)

Citation : 
Tableaux method […]

A tableau proof for the propositional formula ((a ∨ ~b) & b) → a.

[…] Further information: Method of analytic tableaux […]

— First-order logic (en.wikipedia.org). Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« À la »

Citation : 
Kuehner seemed to be the most interesting. Its stack type operating mode was similar to the management of procedure calls in a standard programming language and was thus particularly well-suited to processing non-determinism by backtracking à la Robert Floyd [1967] rather than by copying and saving the resolvents.

— Document disparu du web, dont je ne peux plus donner l’URL. Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« Née » (au lieu de born)

Citation : 
Ada will be 30 on 2010 Dec 10 (the 195th anniversary of the birth of Augusta Ada King, Countess of Lovelace, nee Byron).

— Package's private parts and protected types (comp.lang.ada). Février 2010.

Citation : 
Notice that the uber née super method is still available to the privileged methods.

— Classical Inheritance in JavaScript (crockford.com). Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« Raison d’être »

Citation : 
In my own work and play with programming, I have absolutely no doubt that it is a wonderful way of designing and writing code, and I have myself reaped the benefits of OO that are it's raison d'etre. Sure, [...]

— Objective scientific proof of OOP's validity? (lambda-the-ultimate.org). Août 2005.

Citation : 
[…] for example, incorporating untried bleeding-edge ideas is the raison d’etre of a research compiler […]

— 7.1.1 How does Mythryl relate to SML/NJ? (mythryl.org). Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« La grammaire de l’absurde »

Citation : 
bienvenue!
Welcome to Tex's French Grammar (
la grammaire de l'absurde), a pedagogical reference grammar that combines explanations with surreal dialogues and cartoon images. [...]

— Tex's French Grammar (utexas.edu). Date inconnue.

(oui, c’est bien la grammaire française qu’il appel « la grammaire de l’absurde » Hahaha! )
Profil
Administrateur
Avatar de l’utilisateur
« Née » (encore une fois, mais cette‑fois, sans oublier l’accent)

Citation : 
wxOSX née wxMac

— Development: wxMac (wxwidgets.org). Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« Carte blanche »

Citation : 
This would be carte blanche for withholding […]

— Frequently Asked Questions about the GNU Licenses (gnu.org). Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« Plateau »

Citation : 
Traditional CISC designs were reaching a performance plateau, and it wasn't clear it could be overcome.

— Transputer (en.wikipedia.org). Date inconnue.
Profil
Administrateur
Avatar de l’utilisateur
« Débâcle » (écrit sans les accents)

Citation : 
Incredibly, even after this grand debacle, Microsoft refuses to take the simple and obvious security measure of disabling the unnecessary UPnP Internet service.

— UnPlug n' Pray (grc.com). Décembre 2001.
Profil
Administrateur
Avatar de l’utilisateur
« Premier »

Citation : 
As mentioned above, Ada remains the premier language for safety, security, multi-threading, and real-time control.

— The A-Z of Programming Languages: Ada (techworld.com.au). Juin 2008.
Profil