7601
Twitter
If you are thinking on jumping on the iOS 12 beta train: don’t. Never had such a bug riddled/poor performance one.…
from twitter
15 hours ago
GitHub - musalbas/smt: A Go library that implements a Sparse Merkle tree for a key-value map.
Annoyed that there was no standalone complete Go Sparse Merkle tree library so I made one:
from twitter_favs
20 hours ago
These are the best movies of the 2000s - The Washington Post
From ‘Children of Men’ to ‘Spirited Away,’ here are the 23 best movies of the 2000s.
from twitter_favs
yesterday
Twitter
Genomic Innovation (NYGC 200) is listed in the course catalog of many NYC-area universities.

Here are the course…
from twitter_favs
yesterday
GitHub - Plume-org/Plume: Federated blogging application, thanks to ActivityPub
Still developing, but Plume is blogging software that is embracing ActivityPub Here…
from twitter_favs
yesterday
Twitter
Still developing, but Plume is blogging software that is embracing ActivityPub Here…
from twitter_favs
yesterday
Micro.blog
seems to be half–way to that…
from twitter_favs
yesterday
Twitter
"More and more, antisemitism, racism and xenophobia are portrayed as the cry of the oppressed while antiracism is c…
from twitter_favs
2 days ago
Twitter
"monads give rise to the accessible point-wise comprehension notation that exemplifies the relational calculus, whe…
from twitter_favs
2 days ago
Twitter
I'll be teaching a seminar on Deep Learning for Symbolic Reasoning this Fall: Any important…
from twitter_favs
2 days ago
CS590 Deep Learning for Symbolic Reasoning
I'll be teaching a seminar on Deep Learning for Symbolic Reasoning this Fall: Any important…
from twitter_favs
2 days ago
Twitter
Answer: nothing. We don’t cater to fads and Silicon Valley buzzwords. We have work to do.
from twitter_favs
3 days ago
Twitter
in beta, BigQuery GIS in alpha, and more: read about the latest announcements →…
BigQueryML  BigQuery  from twitter_favs
3 days ago
Twitter
Rust implementation here:
from twitter
3 days ago
Download Limit Exceeded
John Lamping: An Algorithm for Optimal Lambda Calculus Reduction
from twitter
3 days ago
Twitter
Recently found myself looking for resources to brush up on bitsliced implementations of crypto algorithms. Didn't f…
from twitter_favs
4 days ago
Twitter
On your first day at the new job, squash every commit from the repo into a single commit with message "Legacy code"…
from twitter_favs
4 days ago
Twitter
Summoning the powers of the p2p scuttleverse to guard cryptographic secrets
from twitter_favs
5 days ago
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
5 days ago
Twitter
Just uploaded: "Type Theory as a Framework for Modelling and Programming" - a position paper for "Towards a Unified…
from twitter_favs
5 days ago
Twitter
Next time someone says that we need safer programming languages because bugs in critical systems could kill people.…
from twitter_favs
5 days ago
GitHub - mikewest/http-state-tokens: Incrementally better HTTP state management.
I have some not-fully-baked thoughts about cookies, and I'd appreciate feedback:

TL;DR: W…
from twitter_favs
6 days ago
Twitter
I have some not-fully-baked thoughts about cookies, and I'd appreciate feedback:

TL;DR: W…
from twitter_favs
6 days ago
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
6 days ago
Twitter
I gravitate to types, formal verification, and langsec because I aspire to build things that protect people (their…
from twitter_favs
6 days ago
Twitter
Facebook awards Galois $100,000 grant to explore 1) adding C++ verification capabilities to SAW, 2) proving two ver…
from twitter_favs
6 days ago
Twitter
Over the last few months I've been working on the investigation of ML methods to be used in the Upg…
from twitter_favs
6 days ago
Twitter
Thanks for steering clear of sensationalism! A textbook example of how heuristic studies should be reported 🙌
from twitter_favs
6 days ago
Untitled (https://www.youtube.com/watch?v=WVEZTGnLIxM)
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory
from twitter_favs
6 days ago
Twitter
Sain Systems I III O IIIIIIII I IIIIIIII
from twitter_favs
7 days ago
Twitter
Reminder that we should be using the 🥖 Baguette emoji as the directory separator
from twitter_favs
7 days ago
C Is Not a Low-level Language - ACM Queue
"C Is Not a Low-level Language" I really liked this article. We've been doubling down on th…
from twitter_favs
8 days ago
Twitter
"C Is Not a Low-level Language" I really liked this article. We've been doubling down on th…
from twitter_favs
8 days ago
Twitter
It is! Haskell can do it too, just a shame it’s not a default:
from twitter
10 days ago
doctest: Test interactive Haskell examples
It is! Haskell can do it too, just a shame it’s not a default:
from twitter
10 days ago
Twitter
Not my worst typo ever.
from twitter
10 days ago
Twitter
seems like no HKT encoding for yet? or am I doing something wrong? The RFC for GATs seems to indicate thi…
rustlang  from twitter_favs
10 days ago
Twitter
New book by Christopher Bishop et al.: Model-based Machine Learning (Free early access)!
from twitter_favs
10 days ago
Model-Based Machine Learning (Early Access): an online book
New book by Christopher Bishop et al.: Model-based Machine Learning (Free early access)!
from twitter_favs
10 days ago
Twitter
Sheep get themselves into the most interesting predicaments
from twitter_favs
12 days ago
Twitter
"The temperature of Heaven can be rather accurately computed. ... Using the Stefan-Boltzmann law for radiation, ...…
from twitter_favs
12 days ago
Twitter
Let’s play a game: send your favourite funny, lesser known comic. Can be political or non-political, but can’t be o…
from twitter_favs
12 days ago
apfelmus - HyperHaskell — Release of version 0.2.1.0
HyperHaskell — the strongly hyped Haskell interpreter — version 0.2.1.0
from twitter_favs
13 days ago
Twitter
"Lemmas do the work in mathematics: theorems, like management,…
from twitter_favs
14 days ago
About public and protected Tweets
I believe you can’t retweet protected tweets:
from twitter
15 days ago
Twitter
Unretweetable tweet ? 🧐
from twitter_favs
15 days ago
purerl updates for 0.12
Announcement: purerl (PureScript Erlang backend) updated for 0.12 including package set and pursuit instance
from twitter_favs
15 days ago
Twitter
Neural networks enhanced with Neural Arithmetic Logic Units (NALU) can learn to track time, perform arithmetic over…
from twitter_favs
16 days ago
Twitter
I've somehow missed that one: Mark S. Miller () found a company called focusing on securing s…
from twitter_favs
16 days ago
Twitter
When alcohol literally makes you see things.

A beautiful example of augmented reality from 19 Crimes. (And the win…
from twitter_favs
17 days ago
bound-extras: ScopeH and ScopeT extras for bound
[ANN] , I have been playing with different calculi this summer: with `bound-extras` it's pos…
from twitter_favs
17 days ago
Twitter
[ANN] , I have been playing with different calculi this summer: with `bound-extras` it's pos…
from twitter_favs
17 days ago
Twitter
GUYS!!! I met another full time black woman software engineer at my company, for the first time!!! It's okay if you…
from twitter_favs
18 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
19 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
19 days ago
Twitter
Sweet, now my code can finally look as rubbish as it is :p
from twitter
19 days ago
Twitter
Well, today was my last day ! Thanks to everyone for such an amazing 6 months: learned a lot a…
from twitter_favs
19 days ago
Twitter
Huh. LocustDB ("Massively parallel, high performance analytics database that will rapidly devour all of your data.…
from twitter_favs
19 days ago
Twitter
New Post: Augmenting Agile with Formal Methods

People think formal methods are slow and expensive. They're not. Us…
from twitter_favs
20 days ago
Streaming UTF-8 in Haskell and Rust
Streaming UTF-8 in Haskell and Rust, or: how to get Haskell ergonomics without runtime exceptions
from twitter_favs
20 days ago
Twitter
My mom needs a new basic website (~20 pages with text and photos). I have no time to make her a custom one, nor man…
from twitter_favs
21 days ago
Untitled (https://insomnia.rest/)
Smart how redirects (the old hackathon project of and ) to…
from twitter_favs
24 days ago
Twitter
Smart how redirects (the old hackathon project of and ) to…
from twitter_favs
24 days ago
Untitled (https://hal.inria.fr/hal-01828344/file/main.pdf)
CoqTL: an internal DSL for model transformation in Coq. ~ M. Tisi, Z. Cheng
Coq  ITP  from twitter_favs
24 days ago
Twitter
We've started a book club at work reading the Accelerate (). It describes how to build succe…
from twitter_favs
24 days ago
Accelerate - IT Revolution
We've started a book club at work reading the Accelerate (). It describes how to build succe…
from twitter_favs
24 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 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: