Pinned toot

If you make a lot of noise, you're my personal enemy. Sooner or later I'll get to you. Enjoy your life so far.

Pinned toot

economics? Show more

Pinned toot

aphorism Show more

Pinned toot

aphorism Show more

« Integer #multiplication in time O(n log n) »
#DavidHarvey #JorisVanDerHoeven

« Deux chercheurs ont développé une nouvelle méthode pour multiplier les très grands nombres. Une avancée potentiellement historique pour l’#informatique. »

[en] (un)translatable joke/pun/aphorism Show more

[ru] untranslatable joke/pun/aphorism Show more

Knowledge is knowing a tomato is a fruit. Wisdom is not putting it in a fruit salad. -- Miles Kington

careers, academia Show more

hot programming take Show more

🎉 #FirstToot 🎉

#CodiMD is a real-time, multi-platform collaborative markdown editor that can be used on desktop, tablet, or mobile!

There's a night mode to save your eyes as well as fine-grained permissions so you can decide how much access (if any) others have to your notes 😉

There are multiple editor modes as well; #Vim, #Emacs, and #Sublime are available at the click of a button!

Check out our demo below and take a look at the rest of the amazing features!

Coq, associativity of vectors Show more

Coq, associativity of vectors Show more

Thinking about dependently typed languages has brought back another question: Can you just state the associativity of append on length indexed lists in #Idris or #Agda?
Because Coq you can't because a type mismatch: (a + (b + c)) is not convertible to ((a + b) + c).

That seems to be a pretty annoying problem for the usability of dependently typed languages.


- I'm not sure what the future holds below 7nm, because even at 22nm you are having to deal with quantum tunneling. It only gets worse the smaller you get.
- At the end of the day it has to do with transistor density. The future may be in 3d-stacked die, where transistor density isn't measured in m^2 anymore, but m^3. But that has it's own set of problems, not the least of which is heat dissipation

Show more
Functional Café is an instance for people interested in functional programming and languages.