Pinned toot
otini

Hi everyone! I'm new here so, time for an ?

I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )
•
•
•

Today I program a lot in , because French research teams use it a lot, but I also use and I like dependently-typed languages like .

For some work I have done on the OCaml compiler you can check out otini.chnik.fr/.

Glad to be here :)

0
otini boosted
typochon

My PhD supervisor makes his slides using a very old package. This package is not supported anymore and he can't update his LaTeX distribution because he wouldn't be able to compile his old slides anymore. (1/2)

1+
otini boosted
Katharina Nocun

I have a dream. #publiccode

0
otini

But seriously. What is the point of including Javascript from other domains, such as ajax.googleapis.com, in your website? I don't get it.

(next step: explain me what the is hell are content delivery networks for)

1
otini boosted
Matrix.org

This Week In Matrix is upon us, feat. MSCs for E2E cross-signing & verif, WASM-based Olm (~20x faster!), Full E2EE in Seaglass, Py3 Synapse (2x less RAM!), State compression (10x less disk!), Nheko 0.6.0, Jeon, Spectral, libqmatrixclient VoIP +Matrix Live! matrix.org/blog/2018/09/21/thi

1
otini boosted
Tissevert
@otini «Writing a thesis (vb.): progressively learning to be ok with it» ?
0
otini

Doing bibliography (vb.): spending hours discovering that other researchers did stuff better than yours.

1
otini

Hey @dinosaure c'est quoi le surcoût, en termes de taille, de stocker des gros fichiers PDF dans un dépôt git plutôt que sur un FTP tout simple ?

1
otini

OCaml
stack traces
do
not
work

0
otini boosted
Daniel Barlow 🚴

Ah, unmung.com/mastoview is what I need

0
otini boosted
La Quadrature du Net

Ce soir @Calimaq sera sur @franceinfo pour parler de la directive droit d'auteur à partir de 22h50 !

0
otini boosted
crowd42

Exploit vendor drops Tor Browser zero-day on Twitter | ZDNet zdnet.com/article/exploit-vend #infosec

0
otini boosted
Chocobozzz

To celebrate reaching more than 20,000 videos on #PeerTube (instances.joinpeertube.org/ins), we just released the beta 12!

Adds user subscriptions, videos overview page, keyboard shortcuts and many more! github.com/Chocobozzz/PeerTube

Thanks to all contributors, instance admins, uploaders and viewers <3

1+
otini

⬆️ This type of tracking only matters to people that are behind VPNs or Tor, doesn't it? Because otherwise it is so much simpler to track you using simply your IP.

1+
otini boosted
Zipheir

You know you've been writing too much when you see the symbol --<<==>>-- in a book (as a joke) and start trying to remember what operator it is.

0
otini boosted
Zack Spec

@otini you have to make a new one yourself, yeah. right click in the editor and there'll be a New option

1
otini

Apparently there's a “hidden” Firefox option to disable TLS session resumption, but I can't find it: news.ycombinator.com/item?id=1

1
otini

TLS session resumption mechanism allows for tracking of Web users, for up to eight days.

“it allows for a web browser to stay offline for over a day, and still be recognized as the same web browser the next day.”
youbroketheinternet.org/tracke
😑

1+
otini boosted
Framasoft

Khrys’presso du lundi 10 septembre
framablog.org/2018/09/10/khrys
#DRM #espionnage #Facebook #GAFAM #Internet #Revuedeweb #Surveillance #veille #webrevue

0
otini boosted
Alain IMBAUD aka Aisyk

#FuckOffGoogle : à Berlin, le Campus Google est occupé par des militants en colère :
numerama.com/pop-culture/41566

0
otini

Has in-repo search been disabled in Github?

0
Show more

otini's choices:

Functional Café

functional.cafe is an instance for people interested in functional programming and languages.

Resources

Developers

What is Mastodon?

functional.cafe

More…