Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View defeo's full-sized avatar

Luca De Feo defeo

155 followers · 14 following
View GitHub Profile
@defeo
defeo / ODK-kickoff-UVSQ.md
Last active September 2, 2015 00:47
UVSQ presentation at ODK kickoff meeting

class: middle, center

Université de Versailles – Saint-Quentin-en-Yvelines

UVSQ

by Luca De Feo

Sep 2, 2015. OpenDreamKit kickoff meeting.

@defeo
defeo / ODK-kickoff-WP3.md
Last active September 2, 2015 02:08
ODK kickoff meeting – Description of WP3
@defeo
defeo / ODK-kickoff-SageMath.md
Last active September 2, 2015 14:53
ODK kickoff meeting – SageMath presentation
@defeo
defeo / Frobenius.ipynb
Created February 21, 2016 21:57
A demonstration of Lemma 1.1
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@defeo
defeo / gmail-monospace.css
Created March 8, 2016 11:31
Stylish CSS override for Gmail
@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document domain("mail.google.com") {
.a3s, .editable {
font-family: monospace !important;
font-size: 10pt !important;
}
}
@defeo
defeo / Closest points.ipynb
Created April 1, 2016 13:09
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@defeo
defeo / chairman.html
Created July 13, 2016 13:58
A fullscreen glowing "5 minutes" sign for chairmen
<!Doctype html>
<html>
<head>
<meta charset="utf-8">
<title></title>
<style>
@keyframes flash {
from { color: #000; background-color: #fff; }
to { color: #444; background-color: #ddd; }
}
@defeo
defeo / keybase.md
Created August 3, 2016 00:37

Keybase proof

I hereby claim:

  • I am defeo on github.
  • I am defeo (https://keybase.io/defeo) on keybase.
  • I have a public key ASBiFdsX9PjUPmWWxxW3isjHl51qgL32rv_eVPMQRx2HJwo

To claim this, I am signing this object:

@defeo
defeo / VTTCue-example.js
Created August 3, 2016 00:52
A pure ES6 example using the VTTCue API to add subtitles to a video track + speech synthesis for fun
fetch('oneview.md')
.then((res) => res.text())
.then((subtitles) => {
// Je parse votre fichier de sous-titres
const lines = subtitles.split("\n")[Symbol.iterator]();
const track = {
label: lines.next().value,
cues: []
};
@defeo
defeo / algebras.md
Last active August 28, 2016 09:12
Pimp my Algebra

Field Embeddings

What we need

GF(q^m)
  |
GF(q = p^s)
  |
GF(p)