7601
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
19 hours ago
Twitter
Summoning the powers of the p2p scuttleverse to guard cryptographic secrets
from twitter_favs
yesterday
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
Just uploaded: "Type Theory as a Framework for Modelling and Programming" - a position paper for "Towards a Unified…
from twitter_favs
yesterday
Twitter
Next time someone says that we need safer programming languages because bugs in critical systems could kill people.…
from twitter_favs
yesterday
Twitter
I have some not-fully-baked thoughts about cookies, and I'd appreciate feedback:

TL;DR: W…
from twitter_favs
yesterday
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
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
Twitter
I gravitate to types, formal verification, and langsec because I aspire to build things that protect people (their…
from twitter_favs
2 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
2 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
2 days ago
Twitter
Thanks for steering clear of sensationalism! A textbook example of how heuristic studies should be reported 🙌
from twitter_favs
2 days ago
Untitled (https://www.youtube.com/watch?v=WVEZTGnLIxM)
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory
from twitter_favs
2 days ago
Twitter
Sain Systems I III O IIIIIIII I IIIIIIII
from twitter_favs
3 days ago
Twitter
Reminder that we should be using the 🥖 Baguette emoji as the directory separator
from twitter_favs
3 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
4 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
4 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
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
6 days ago
Twitter
New book by Christopher Bishop et al.: Model-based Machine Learning (Free early access)!
from twitter_favs
6 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
6 days ago
Twitter
Sheep get themselves into the most interesting predicaments
from twitter_favs
8 days ago
Twitter
"The temperature of Heaven can be rather accurately computed. ... Using the Stefan-Boltzmann law for radiation, ...…
from twitter_favs
8 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
8 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
9 days ago
Twitter
"Lemmas do the work in mathematics: theorems, like management,…
from twitter_favs
10 days ago
About public and protected Tweets
I believe you can’t retweet protected tweets:
from twitter
11 days ago
Twitter
Unretweetable tweet ? 🧐
from twitter_favs
11 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
11 days ago
Twitter
Neural networks enhanced with Neural Arithmetic Logic Units (NALU) can learn to track time, perform arithmetic over…
from twitter_favs
12 days ago
Twitter
I've somehow missed that one: Mark S. Miller () found a company called focusing on securing s…
from twitter_favs
12 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
13 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
13 days ago
Twitter
[ANN] , I have been playing with different calculi this summer: with `bound-extras` it's pos…
from twitter_favs
13 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
14 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
Well, today was my last day ! Thanks to everyone for such an amazing 6 months: learned a lot a…
from twitter_favs
15 days ago
Twitter
Huh. LocustDB ("Massively parallel, high performance analytics database that will rapidly devour all of your data.…
from twitter_favs
15 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
16 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
16 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
17 days ago
Untitled (https://insomnia.rest/)
Smart how redirects (the old hackathon project of and ) to…
from twitter_favs
20 days ago
Twitter
Smart how redirects (the old hackathon project of and ) to…
from twitter_favs
20 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
20 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
20 days ago
Twitter
We've started a book club at work reading the Accelerate (). It describes how to build succe…
from twitter_favs
20 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
Cracking the Walls of the Safari Sandbox | Ret2 Systems Blog
Cracking the Walls of the Safari Sandbox: Fuzzing the macOS WindowServer for Exploitable Vulnerabilities
from twitter_favs
21 days ago
Twitter
Charles Ehresmann had a convention to name categories according to their morphisms (so 'the category of sets' becom…
from twitter_favs
21 days ago
Twitter
the slogan “eat the rich” fell out of favor when they started uploading themselves to the cloud. but we did scrap s…
from twitter_favs
22 days ago
Privacy Pass
This is really exciting! Privacy Pass has has a bright future.
from twitter_favs
22 days ago
Twitter
This is really exciting! Privacy Pass has has a bright future.
from twitter_favs
22 days ago
Twitter
It's excruciatingly painful to watch developers reinvent severely-impaired, poorly-abstracted versions of monads fo…
from twitter_favs
22 days ago
Twitter
Paper of new Spectre variant called SpectreRSB is out: „none of the known defenses including Retpoline and Intel's…
from twitter_favs
23 days ago
Twitter
applied to analysis of GHC language extension. TL;DR: 20 language extensions cover 95…
Haskell  DataScience  Python  from twitter_favs
24 days ago
Twitter
when I was younger, older people always said in a condescending voice that my views would get more conservative ove…
from twitter_favs
24 days ago
Twitter
finally, the closest I've done to a progressive metal/jazz fusion album, A Castle of Candied Misery (for LMAOCEAN,…
from twitter_favs
24 days ago
Twitter
a solo album, *andfall, that clearly deserved a few more months of work, but think of it as a series of neat drafts…
from twitter_favs
24 days ago
Twitter
Artist reimagines everyday household items as cool spaceships
from twitter_favs
24 days ago
Twitter
The software to create the black hole in the movie 'Interstellar' is a full implementation of Einstein's equations…
from twitter_favs
25 days ago
Contracts — Uplink Documentation
Learn how Adjoint added collections types to smart contracts while still preserving totality and static analysis.
from twitter_favs
25 days ago
Twitter
A cool pedagogical introduction into the logic behind different Noise protocol handshake patterns. If you’re intere…
from twitter_favs
27 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: