6514
Monotonicity Types: Towards A Type System for Eventual Consistency
Monotonicity Types: Towards A Type System for Eventual Consistency
from twitter
3 hours ago
Untitled (https://www.youtube.com/watch?v=SGkZbxIGDNE)
great talk about wasm by
I’m excited to see even better wasm support for Rust :)
from twitter_favs
11 hours ago
Twitter
1. Your co-worker leaves computer unlocked
2. Browse here:
3. Select Windows Version
4. Pre…
from twitter_favs
yesterday
Fake Windows Update » the best browser prank ever
1. Your co-worker leaves computer unlocked
2. Browse here:
3. Select Windows Version
4. Pre…
from twitter_favs
yesterday
1ML - core and modules united
1Caml: an implementation of 1ML targeting the OCaml runtime

Paper:
from twitter
2 days ago
GitHub - google/puffs: Parsing Untrusted File Formats Safely
Puffs: a domain-specific language and library for parsing untrusted file formats safely
from twitter
2 days ago
Code together in real time with Teletype for Atom | blog.atom.io
RT : A CRDT-based collaborative editing feature for ! Exciting, CRDTs are catching on 😄
from twitter
3 days ago
Twitter
A Stoic Response to Rejection
from twitter_favs
4 days ago
Twitter
It's not really random it's based on paper called "imperative partially random paper name monoid"…
from twitter_favs
4 days ago
Twitter
RT : If you ever wonder why greenfield software research like Rust and Servo is worthwhile, consider that these projects…
from twitter
4 days ago
Twitter
Here's a look under the hood of Lens your Look​, a new multi-modal search that recommends outfits based on the clot…
from twitter_favs
4 days ago
Twitter
On that note, I really need to give reflex-dom a try.
from twitter
4 days ago
GitHub - reflex-frp/reflex-dom
On that note, I really need to give reflex-dom a try.
from twitter
4 days ago
Twitter
With some work, it should be possible to implement something Electron-like in top of it. I suspect that some of tha…
from twitter
4 days ago
GitHub - ghcjs/jsaddle: JavaScript interface that works with GHCJS or GHC
Interesting, this Haskell lib lets you drive a browser (eg. Chorme or a WKWebView) straight from GHC (not GHCJS):
from twitter
4 days ago
Twitter
Here’s a subsequent work that is specifically suited to message-passing systems:

(PDF)
from twitter
4 days ago
Untitled (http://mir.cs.illinois.edu/marinov/publications/TasharofiETAL12TransDPOR.pdf)
Here’s a subsequent work that is specifically suited to message-passing systems:

(PDF)
from twitter
4 days ago
Twitter
Paper of the day:

« Dynamic Partial-Order Reduction for Model Checking Software » by C. Flanagan & P. Godefroid…
from twitter
4 days ago
Twitter
Analysis of the shows no increase in suicides among adolescents. Risk factors are being male,…
swissnationalcohort  from twitter_favs
4 days ago
Twitter
Moving computations back and forth between two network nodes
Haskell  from twitter_favs
4 days ago
Twitter
Check, and mate, Pythagoras.
from twitter_favs
4 days ago
Twitter
. is trying to integrate 's vision for the future of programming into its interactive noteb…
from twitter_favs
5 days ago
Twitter
I just published my finally huge post
“[Experimental] Compiling into Closed Cartesian Categories language us…
Scala  from twitter_favs
5 days ago
Twitter
Privacy pass: an anonymous authentication protocol using a browser extension
it generates s…
from twitter_favs
5 days ago
Privacy Pass: A browser extension for anonymous authentication
Privacy pass: an anonymous authentication protocol using a browser extension
it generates s…
from twitter_favs
5 days ago
Twitter
TIL about static single information form (SSI), which strengthens SSA by splitting definitions when conditions reve…
from twitter_favs
6 days ago
Twitter
"Information Bottleneck" by Prof Naftali Tishby, an information theory view of Deep Learning. Interesting claims, g…
from twitter_favs
6 days ago
Twitter
Streaming fibonacci numbers from server to browser with an integrated server-browser program using Axiom, a full st…
from twitter_favs
6 days ago
Twitter
After ants, mold ! Natural systems are awesome :D
from twitter_favs
6 days ago
Twitter
An incredibly detailed StackOverflow answer about why a compiler sometimes generates faster code than handcrafted a…
from twitter_favs
7 days ago
Twitter
Hey, standing offer: if you’re interested in a job or intern opportunity I RT or mention, but have questions/want r…
from twitter_favs
8 days ago
Twitter
Rust is fine because for low level libs, which are often imperative or build on C APIs, and being able to easily re…
from twitter
8 days ago
Twitter
Oh, you think the Unicode is your ally, you merely adopted UTF-8. I was born in UT…
from twitter_favs
8 days ago
Twitter
afl-unicorn : Fuzzing Arbitrary Binary Code :
from twitter_favs
9 days ago
Twitter
As software practitioners we do have many methods we can apply to solving different parts of our problems. Sometime…
from twitter_favs
9 days ago
Twitter
I think the comonadic approach to specifying UIs extends nicely beyond the usual React/virtual-dom diffing approach…
from twitter_favs
9 days ago
Twitter
Mind blown. I was suspicious of how bad AVX512 throttling was. Now I just confirmed, using AVX512 for anything will…
from twitter_favs
10 days ago
Twitter
Whether or not that specific quote was meant as a joke does not invalidate the analysis. Other examples abound.
from twitter
10 days ago
Building a decentralized, peer-to-peer Photos app with Beaker and Dat
Building a decentralized, peer-to-peer Photos app with Beaker and Dat
from twitter
10 days ago
Twitter
RT : An article about x86-64 Machine Code Obfuscation -
from twitter
10 days ago
Untitled (https://www.youtube.com/watch?v=lR0nh-TdpVg&t=1s)
Read the article about Minix running in Intel CPUs? Now watch this video. Was 2 years ago:
from twitter_favs
11 days ago
MINIX — The most popular OS in the world, thanks to Intel | Network World
Read the article about Minix running in Intel CPUs? Now watch this video. Was 2 years ago:
from twitter_favs
11 days ago
Untitled (https://gizmodo.com/how-facebook-figures-out-everyone-youve-ever-met-1819822691)
Here's explaining how Facebook makes some awkward connections when it comes to who you know:
from twitter_favs
11 days ago
Simplicitly: Foundations and Applications of Implicit Function Types
Our '18 paper by et al. Simplicitly: Foundations and Applications of Implicit Function Types is up
from twitter_favs
11 days ago
Twitter
~$300M worth of ETH frozen forever (i.e. until the next hard fork) because of bad programming language design.…
from twitter_favs
11 days ago
Lambda calculus - Wikipedia
RT : Lambda calculus was & is the heart and soul of 'FP', not pattern matching or immutable collections or 'closures'.
from twitter
11 days ago
Twitter
RT : It takes so much time to describe the problems of to somebody who isn't an expert at it already. Totally unl…
Scala  from twitter
11 days ago
GitHub - namin/staged-miniKanren: explorations of multi-stage logic programming in miniKanren
Is staging + logic programming new??? step 1, functional to relational code by staging an interpreter in miniKanren:
from twitter_favs
11 days ago
Twitter
How the new decentralized web can be a more attractive foundation for product development.
Thread:
from twitter_favs
12 days ago
Twitter
Thanks to ' example, I now *truly* understand reflect/reify!! ()
from twitter_favs
12 days ago
Download Limit Exceeded
Thanks to ' example, I now *truly* understand reflect/reify!! ()
from twitter_favs
12 days ago
Twitter
So much gold in this report by on making opensource more sustainable. Please retweet.…
from twitter_favs
13 days ago
The First Woman to Translate the ‘Odyssey’ Into English - NYTimes.com
What a profound, powerful, and thoroughly interesting piece. This is like a Quanta article, but with a classicist.
from twitter_favs
13 days ago
Twitter
Someone figured out how to tweet 35,000 character tweets.
from twitter_favs
14 days ago
Twitter
Someone figured out how to tweet 35,000 character tweets.
from twitter_favs
14 days ago
Twitter
Glad to see the fact that the risks of inaction are potentially even greater than models suggest put into (comparat…
from twitter_favs
15 days ago
Twitter
Boards of Canada secret album
from twitter_favs
15 days ago
PeerPad
Something we’ve been working on for the last few months:

— built on top of and CRDT
IPFS  p2p  decentralized  from twitter_favs
15 days ago
Twitter
Would love to send the responsible employee to Guantanamo but statistically federal system is faster. SHOULD GET DE…
from twitter_favs
15 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 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 markdown math mathematics mobile monads 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 scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups statistics strangeloop 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: