1154
showing only twitter [see all]
Untitled (http://www.di.unipi.it/%7Eottavian/files/semi_index_cikm.pdf)
G. Ottaviano & R. Grossi: Semi-Indexing Semi-Structured Data in Tiny Space
from twitter
yesterday
Twitter
RT : In seriousness, the problem with this (and with ML etc.) is that when it works it’s amazing. And when it doesn’t wo…
from twitter
2 days ago
doctest: Test interactive Haskell examples
It is! Haskell can do it too, just a shame it’s not a default:
from twitter
6 days ago
Twitter
It is! Haskell can do it too, just a shame it’s not a default:
from twitter
6 days ago
Twitter
Not my worst typo ever.
from twitter
6 days ago
About public and protected Tweets
I believe you can’t retweet protected tweets:
from twitter
12 days ago
Untitled (http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf)
Finally a good monad tutorial:

Closest in spirit to the original one by Wadler:
from twitter
15 days ago
Untitled (https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/)
Finally a good monad tutorial:

Closest in spirit to the original one by Wadler:
from twitter
15 days ago
Twitter
Sweet, now my code can finally look as rubbish as it is :p
from twitter
15 days ago
Twitter
Another good one by the same authors:

On the Practical Computational Power of Finite Precision RNNs for Language R…
from twitter
20 days ago
[1711.09576] Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Weiss, Goldberg & Yahav: Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
from twitter
20 days ago
Twitter
It should also be noted that it is still possible to join any Swiss university after doing an apprenticeship thanks…
from twitter
29 days ago
Twitter
MonoSAT: SMT solver with support for graph predicates: reachability, shortest paths, maximum s-t flow, minimum span…
from twitter
5 weeks ago
Twitter
> At last, a module that combines the dynamic flexibility of Haskell with the strong design principles of PHP!…
from twitter
6 weeks ago
In Defense of Humanity—How Complex Systems Failed in Westworld  **spoilers** - High Scalability -
« Who wants entry into heaven decided on how we behave playing Grand Theft Auto? »
from twitter
6 weeks ago
C2Rust Demonstration
RT : If you haven't already, check out , an open source tool that translates C into semantically equivalent Rust code.
from twitter
7 weeks ago
Twitter
Nice! I was actually just in the need for something like this, and ended up porting…
from twitter
8 weeks ago
Twitter
“In one extreme case, I ended up rolling around on the floor with my eyes closed in order to understand the effect…
from twitter
8 weeks ago
Twitter
“However, almost all real numbers contain an infinite amount of information. Since a finite volume of space can’t c…
from twitter
9 weeks ago
Untitled (https://arxiv.org/pdf/1803.06824.pdf)
Nicolas Gisin ~ Indeterminism in Physics, Classical Chaos and Bohmian Mechanics. Are Real Numbers Really Real?
from twitter
9 weeks ago
Untitled (https://www.usenix.org/legacy/event/ssv10/tech/full_papers/Sinz.pdf)
Sinz et al. ~ A Precise Memory Model for Low-Level Bounded Model Checking
from twitter
9 weeks ago
Untitled (http://www.cse.chalmers.se/~russo/publications_files/plas2017.pdf)
Algehed & Russo: Encoding the Dependency Core Calculus in Haskell

(pdf)
from twitter
9 weeks ago
Twitter
Stoicism really resonated with me since I discovered that school of thought while in therapy, and I was not surpris…
from twitter
11 weeks ago
Twitter
Been subscribed to for a few weeks now, and I highly recommend it. Every day it brings me a piece of th…
from twitter
11 weeks ago
Twitter
RT : It's day! One Thing Less (by ) is an app that helps enforce these new protections: they ask compani…
GDPR  from twitter
11 weeks ago
GitHub - harpocrates/inline-rust: Use snippets of Rust inline in your Haskell programs
Can’t wait for GHC 8.6 to be released so that I can finally call into Rust code with `inline-rust`:
from twitter
12 weeks ago
Untitled (http://www.cs.ox.ac.uk/jeremy.gibbons/publications/ringads.pdf)
From list comprehensions to database queries via ringads, monad morphisms, and heterogeneous comprehensions: (pdf)
from twitter
12 weeks ago
Twitter
Q: What are Graal & Truffle?
A:
from twitter
12 weeks ago
Twitter
Evolution is a much more interesting learning algorithm than most people realize, by
from twitter
12 weeks ago
[1805.07518] Linear logic for constructive mathematics
Michael Schulman: Linear Logic for Constructive Mathematics
from twitter
12 weeks ago
Twitter
IMHO you’re better off as a beginner to start with standard chess and develop a good understanding of th…
from twitter
12 weeks ago
Twitter
Watch these 5 videos by , then play as many 15+ min games you can and try to follow those pri…
from twitter
12 weeks ago
Twitter
RT : maybe you could formalise the abstraction <-> empathy discussion with a natural transformation of…
from twitter
may 2018
Twitter
RT : What's great about cat theory is that it's flexible enough to be used as a descriptor for your do…
from twitter
may 2018
Twitter
And we were apparently not the only ones to make that connection: :)
from twitter
may 2018
Twitter
And we were apparently not the only ones to make that connection: :)
from twitter
may 2018
Twitter
Not there yet, but I can definitely see the potential:

and I once had a very inspired discussion about t…
from twitter
may 2018
Twitter
Layers as functions, or when machine learning falls in love with functional
programming <3
from twitter
may 2018
Twitter
Ah if only! I’d just rather have those attention-begging red dots in the same app than scattered amon…
from twitter
may 2018
Twitter
RT : Yay! Our new journal is finally here! It's called "Compositionality". It's all about building big things from…
from twitter
may 2018
Twitter
Yeah seems like Twitter’s become very lenient with those verified account,…
from twitter
may 2018
Twitter
Whether you are into Game of Life or not (yet), go check out ’s new app:

Comes wit…
from twitter
may 2018
Twitter
RT : WhatsApp about ads (2012): "Remember, when advertising is involved you the user are the product."…
from twitter
may 2018
Untitled (https://www.meetup.com/Formal-Methods-and-Verified-software-meetup/events/250347977/)
Excited to be talking about refinement types at the next Formal Methods meetup on the 31st of May at EPFL!
from twitter
may 2018
Twitter
But of course, makes sense, right ?
from twitter
may 2018
Git - git-worktree Documentation
TIL one can multiple working trees for the same Git repository:
from twitter
may 2018
Twitter
How editorial decisions can reveal a worrying lack of diversity in news coverage. “ML personalisation methods have…
from twitter
april 2018
Twitter
Let’s just travel back in time, I could use some of that stuff even if it meant writing g…
from twitter
april 2018
Twitter
Get outta here, Rob :p
from twitter
april 2018
Twitter
But that was my favorite part of the game! How am I gonna make money now? I can’t program anything…
from twitter
april 2018
Twitter
Kanye vs Reactive Programming
from twitter
april 2018
Twitter
RT : I'll be presenting our work (with ) titled "Selection Bias in News Coverage: Learning it, Fighting it", pre…
from twitter
april 2018
« earlier      
3d akka algorithms animation api app architecture art assembly async authentication backbone backup bitcoin book books browser business c canvas career categorytheory chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coroutines course crdt cryptography cs css css3 culture data database datastructures debug debugging dependent-types deployment design development devops distributed-systems dns docker documentation dom dotty dropbox ebook ecc economics economy editor education effects elmlang email entrepreneurship erlang ferguson font formal-verification fp fp101x framework free-monads functional future gamedev games garbage-collector generator ghc git github go golang hacking happiness hardware hash hashing haskell heartbleed history hosting html html5 http humor icons idris innovation interview ios iphone java javascript job jquery json jvm language language-design latex learning lifehacks linux lisp llvm logic lua mac macos markdown math mathematics mobile monads mooc music mvc mysql neovim network networking nginx node.js nodejs nosql nsa objective-c om online open-source opensource os osx p2p papers parser parsing peg performance philosophy php physics plt plugin politics postgres presentation privacy productivity profiling programming promises psychology purescript python rails react reactive reactjs reactnative reader recursion recursion-schemes reddit redis redux reference research responsive rest ruby rust rustlang rx rxjs sass scala scaladays scalajs scalaz scaling scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups static statistics strangeloop swift switzerland talk talks tech technology ted templating test testing tex tls tool tools tor transducers tutorial type type-theory types typo3 typography ui ux vector video virtualization visualization vm web webgl webrtc writing

Copy this bookmark:



description:


tags: