8001
Twitter
Ever see a unicode character that embodies a whole new philosophical idea? This is my favorite: the symbol for "in…
from twitter_favs
3 hours ago
Twitter
I am happy to announce the release of dhall-eta: an library that wraps the haskell implementation of…
from twitter_favs
3 hours ago
Twitter
Voici les images de l’impressionnante foule de la "grève du climat" à . Des milliers d'écoliers, apprentis…
Lausanne  from twitter_favs
13 hours ago
Twitter
More open source from me; a delightful, robust pathing library:
from twitter_favs
yesterday
Twitter
So this malware used telegram for C2 purposes. Telegram is such a piece of shit that they could recover the entire…
from twitter_favs
yesterday
Twitter
"Davos is a family reunion for the people who broke the world," says on
from twitter_favs
yesterday
Twitter
who can clue me in on "maramafication"??

"Maramafication means the design of visual ‘twins’ of existing programmin…
from twitter_favs
yesterday
Untitled (https://hal.inria.fr/hal-01977585/document)
Verifiable certificates for predicate subtyping. ~ F. Gilbert.
PVS  ITP  from twitter_favs
2 days ago
Twitter
Today, I discovered , a small project that lets you figure out what open sour…
from twitter_favs
2 days ago
Untitled (https://backyourstack.com/)
Today, I discovered , a small project that lets you figure out what open sour…
from twitter_favs
2 days ago
Twitter
Signal-flow diagrams in control theory

<=>

String diagrams in the symmetric monoidal category finite-dimensional…
from twitter
2 days ago
Twitter
Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong & David Spivak…
from twitter
2 days ago
Twitter
Yay! David Spivak and Brendan Fong are teaching a course on applied category theory based on their book, and the l…
from twitter_favs
3 days ago
Twitter
Here's an algorithm that, rather than solve the task at hand, "solved" it by deleting the answer key.
from…
from twitter_favs
3 days ago
Twitter
To go mainstream, a functional programming language must be:

- Focused on language-oriented program…
from twitter_favs
3 days ago
Twitter
I mean, he’s not wrong. And it’s perfectly legitimate to see this as liberating.
from twitter_favs
3 days ago
Twitter
Most design work in OOP centers on philosophical questions of identity that don’t have a clearly correct an…
from twitter_favs
3 days ago
Twitter
Takeaway from Frank’s talk at plmw
POPL2019  from twitter_favs
3 days ago
Twitter
This past week or so I have been writing Python and Haskell and I am here to tell you how much I love Haskell.
from twitter_favs
3 days ago
$ chunkwm - tiling wm
Quite happy with chunkvm and skhd

I do keep forgetting their names all the time though.
from twitter_favs
3 days ago
Haskell, Nix and Vim: Getting started · tblog
I just published another blog post:

Suggestions on how to set up a nice Haskell environment using Vim and Nix.
from twitter_favs
4 days ago
Twitter
Meet `tomland` — library for bidirectional TOML serialization. It combines a lot of fun stuff like GADTs,…
haskell  from twitter_favs
4 days ago
Twitter
An excellent read by Simon Thompson on Type Theory & Functional Programming, the link is…
from twitter_favs
4 days ago
(429) https://twitter.com/i/web/status/1084341093188067329
You might be interested in these papers for getting started:

* A Tutorial Implementation of a Dependen…
from twitter_favs
5 days ago
Twitter
I am surprised to read claims that “most” or even close to most people want Rust to change less and/or change slowe…
from twitter_favs
6 days ago
Donald Knuth Lectures - YouTube
RT : Stanford uploads 111 lectures by Donald Knuth. There go your next five years of spare time…
from twitter
6 days ago
Twitter
Talks from the Lean forward workshop.
Can't wait for the day where Lean is stable enough for actual use :-)
from twitter_favs
6 days ago
Twitter
Does anyone in the Haskell community know of any best practices for converting SOPs (standard haskell ADTs) into re…
from twitter_favs
6 days ago
Twitter
Model of Tokyo Subway System
from twitter_favs
6 days ago
Twitter
"La loi anticasseurs permet à la police de fabriquer sur place un «délit» et un «délinquant» sur lesquels la procé…
from twitter_favs
6 days ago
Twitter
I have a similar recorded talk about building a servant server that listens to GitHub…
from twitter_favs
7 days ago
Hydra - Overview
1) the MacOS hardware running in are all running NixOS on ZFS. The macOS VM…
from twitter_favs
7 days ago
Twitter
1) the MacOS hardware running in are all running NixOS on ZFS. The macOS VM…
from twitter_favs
7 days ago
Twitter
Solid point today at : formal verification of cryptographic protocols shouldn’t involve verifiers a…
realworldcrypto  from twitter_favs
7 days ago
Twitter
At least on the WebKit side, the WebKit blog has a pretty good chronicle of a lot of their…
from twitter_favs
8 days ago
Twitter
We're writing an excited systems article, w/ lots of exclamation points, words like delightful & pesky,…
from twitter_favs
8 days ago
Twitter
Such a stupid title… That’s not fake news, but researchers admitting they made a mistake and promptly retracting th…
from twitter
8 days ago
Twitter
RT : Is there an infinite set that's bigger than the set of integers but smaller than the set of real numbers? Cantor g…
from twitter_favs
9 days ago
Twitter
Now Hugo Krawczyk goes on to explain a new password-authenticated key exchange algorithm called OPAQUE.

Paper:…
from twitter_favs
9 days ago
Twitter
« Just stop with the blockchain stuff already » ❤️
from twitter
9 days ago
Twitter
Infer POPL'19 paper: "The purpose of this paper is to state and prove a theorem that has come about by reacting to…
from twitter_favs
10 days ago
Twitter
I figured out the stock price issue once and for all. Expect a podcast shortly
from twitter_favs
11 days ago
Untitled (http://vst.cs.princeton.edu/download/VC.pdf)
"Verifiable C. Applying the Verified Software Toolchain to C programs",by Andrew W. Appel:
cs  2018  spec  from twitter_favs
11 days ago
Untitled (https://www.pgcli.com/)
Postgres CLI with autocompletion and syntax highlighting
from twitter
11 days ago
Twitter
We can rev engineer the definition of liftA2, here's a neat trick with Debug.SimpleReflect
from twitter_favs
12 days ago
Twitter
Liquid Haskell Tutorial, Andres Löh
from twitter_favs
12 days ago
Liquid Haskell Tutorial
Liquid Haskell Tutorial, Andres Löh
from twitter_favs
12 days ago
Twitter
Hey technologies, please stop
from twitter_favs
12 days ago
Twitter
Welcome to 2019, traveler from 2009. The brief:
-sysadmins are now "ops"
-servers are all just "cloud" something
-a…
from twitter_favs
13 days ago
Twitter
I wish Apple had a dedicated app for Reading List or at least an API that would allow standalone apps like Instapap…
from twitter
14 days ago
Twitter
finally reading Gerald Weinberg's Psychology of Computer Programming, very grateful to those of you who recommended…
from twitter_favs
14 days ago
Twitter
This is my team's work, and here is some more insight into how we got this done. What did we do beyond being Applie…
from twitter_favs
15 days ago
Twitter
While there is certainly nothing wrong with making individual low-carbon choices, I am increasingly concerned with…
from twitter_favs
15 days ago
Twitter
“I judge you unfortunate because you have never lived through misfortune. You have passed through life without an o…
from twitter_favs
16 days ago
PANE
Now this is how you do visual programming right!
from twitter_favs
16 days ago
« earlier      
3d akka algorithms animation api app architecture art assembly async authentication backbone backup bitcoin book books browser business c canvas career categorytheory cats chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coq 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 functionalprogramming 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: