8001
Twitter
has, for the first time, conducted a completely blind review of telescope proposals- hooray!! The…
from twitter_favs
yesterday
Twitter
Been very happy with Safari + 1Blocker so far.
from twitter
yesterday
The Dhall configuration language
RT : Check out the new website for the Dhall configuration language, which includes a live demo:
from twitter
yesterday
Twitter
Counterpoint: systems which aren’t vying for the dubious role of planetary attention choke-point, with attendant hy…
from twitter_favs
yesterday
Twitter
I recreated Byrne's 1847 edition of Euclid's Elements including interactive diagrams, cross references, and a new p…
from twitter_favs
2 days ago
Twitter
I was fascinated by this theorem as a teenager, and I still find it remarkable.

Full paper:
from twitter_favs
2 days ago
Untitled (https://pdfs.semanticscholar.org/1528/72f15e69e5a1a29e4657c7eb398be2fb97e6.pdf)
I was fascinated by this theorem as a teenager, and I still find it remarkable.

Full paper:
from twitter_favs
2 days ago
Twitter
Announcement: we got together with and produced a new take on a PureScript package manager and build tool…
from twitter_favs
3 days ago
Twitter
Wow, that is so cool.
from twitter
3 days ago
Twitter
In any case, if you are not writing a physics engine, you are probably better off with Rational or BigDecimal and c…
from twitter
3 days ago
Twitter
Can’t tell anymore whether IEEE754 is a clusterfuck or if I just have PTSD from writing too much JavaScript back in…
from twitter
3 days ago
Twitter
While looking for literature on commutative monads, I came across an awesome talk "Commutative Monads, Diagrams and…
from twitter_favs
3 days ago
Twitter
Yeah fuck the blockchain bros and their thirst for quick money at all costs. Happy to see this bullshit bubble is f…
from twitter
5 days ago
Twitter
The evidence needed to prove ideas like string theory exists at scales we can’t reach. What does that mean for the…
from twitter_favs
5 days ago
Twitter
The team continues to murder data janitor work for our clients

1. Press this button
2. Get detailed, b…
from twitter_favs
5 days ago
Twitter
This is such a powerful collision between democracy and MarketWorld.

A political leader who is pained to give a $1…
from twitter_favs
5 days ago
Twitter
Behold, the Universal Data Structure:

newtype Funcy = Funcy (Funcy -> Funcy)
from twitter_favs
6 days ago
Twitter
I just joined The Correspondent, a movement for un-breaking the news. I truly believe it's a worthy cause. Plus, th…
from twitter_favs
6 days ago
dotty/derivation.md at add-derive-2 · dotty-staging/dotty · GitHub
RT : I somehow missed this when it was posted a couple weeks ago — type class derivation proposal for Scala 3:
from twitter
6 days ago
Twitter
RT : Interesting article on the reliance from different tech companies on advertisement-related revenue…
from twitter_favs
6 days ago
Twitter
This is one of the saddest things I’ve read. God bless you Gillian.
from twitter_favs
7 days ago
Twitter
This report on 's verification of RANDAO's possible randomness bias under worst-case adversarial conditions…
from twitter_favs
7 days ago
Twitter
An open letter to , , and regarding algorithms and my son's birth:
from twitter_favs
7 days ago
Twitter
A verified compiler for a linear imperative/functional intermediate language. ~ S. Schneider.…
from twitter_favs
7 days ago
Twitter
Honestly, I see no reason for any podcast app to support that kind of tracking and reporting.

There’s no clear ben…
from twitter_favs
7 days ago
Twitter
It also has -0 = 0, but 1/(-0) != 1/0, so IEEE made both mistakes. Mind you they did it for what th…
from twitter_favs
7 days ago
Twitter
This very complete document is a great adjunct to my own more limited 'Modern C++ for C Programmers' -…
from twitter_favs
8 days ago
Twitter
This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or…
from twitter_favs
8 days ago
(429) https://twitter.com/i/web/status/1072283552383873024
This “minimum wage” is more than PhD students make in France, and foreign students are usually utterly ripped off b…
from twitter_favs
8 days ago
(429) https://twitter.com/i/web/status/1072213163901366278
Thus a programming-language comparison like 2==2.0f must either be false, or produce a compile-time error to report…
from twitter_favs
8 days ago
(429) https://twitter.com/i/web/status/1072212532939681792
The key mathematical property of equality is that a=b implies f(a)=f(b) for all possible functions f. It was a mist…
from twitter_favs
8 days ago
Building a Language and Compiler for Machine Learning
Julia: Building a Language and Compiler for Machine Learning
from twitter
9 days ago
Twitter
What books would people recommend on the (supposed) rise of modern populism across the globe? You probably know wha…
from twitter_favs
9 days ago
Twitter
"For academic scientists, especially the more junior among us, we will have to contend with whether it’s strategica…
from twitter_favs
9 days ago
Untitled (https://www.youtube.com/watch?v=vKrCdO5NgrA)
Functional Domain Modeling with Effects by clearly articulates advantages of using parametric algebras
from twitter_favs
9 days ago
Twitter
Love software feudalism where I don’t own any of the programs I pay hundreds of dollars for and can’t do anything t…
from twitter_favs
9 days ago
Twitter
been reading up on that "71% of global emissions are from just 100 companies" stat floating around. first, here's t…
from twitter_favs
9 days ago
Twitter
Anyone that worked at a startup where one of the founders came back from Burning Man and proceeded to schedule a lo…
from twitter_favs
9 days ago
Twitter
“A Tiebreak Win and the Problem of Draws” <- Insightful analysis of the latest World Chess Championship results tog…
from twitter
10 days ago
Twitter
Girl spends Saturday desperately seeking another bookshelf
from twitter_favs
10 days ago
Twitter
What does 'smart contracts' even mean? It's a buzzword that everyone talks about but nobody uses for anyt…
from twitter_favs
11 days ago
Twitter
I know I'm old fashioned-a bit of a dinosaur and all that-but I can't shake the idea that when a fellow scholar say…
from twitter_favs
11 days ago
Twitter
It's weird how all at once every person in an entire generation got the same disease where your brain cant make the…
from twitter_favs
11 days ago
Twitter
Metals v0.3 is out with simple installation, accurate diagnostics and goto definition 🎉 Works with VS Code, Atom, v…
from twitter_favs
11 days ago
Twitter
Yeah it’s not for everyone, just clumsy people like me :) Isn’t it possible to disable it in Chrome th…
from twitter
12 days ago
Twitter
> Since Arbitrary does not allow the use of Reader, how do we get that user-supplied value into the arbitrary funct…
from twitter_favs
12 days ago
Twitter
I wish Safari had the same feature. In the meantime, I have remapped Cmd-Q to Cmd-Alt-Q in Safari, which gets the j…
from twitter
12 days ago
Twitter
RT : Don’t waste your 20s. It’s not worth it.

I know many people in their 30s who did this and now struggle a lot.
- Do…
from twitter
13 days ago
Twitter
If you really wanted accurate prediction of what the user is going to type you’d just auto-suggest “()” after every…
from twitter_favs
13 days ago
Twitter
RT : Wrote a Scala compiler plugin to treat `???` as a typed hole and output a compiler warning about it, à la Haskell.…
from twitter_favs
13 days ago
Twitter
In a world with federated or decentralized services everyone would choose who they associate with, and moderate con…
from twitter_favs
13 days ago
Twitter
The insanity of a future where every app is backed by a slightly different version of the chrome binary, uselessly…
from twitter_favs
14 days ago
Twitter
Should I apply for a talk next year on Advanced concepts in cryptography @ lambdaconf?

Lattice-based crypto, in-de…
from twitter_favs
14 days ago
Twitter
Just had an idea for an interesting technical talk idea -- take a densely packed statement by a tech luminary (so t…
from twitter_favs
14 days ago
Twitter
The video of my PLMW talk is out! Wherein in I show how to use an SMT solver for angelic programming, pro…
from twitter_favs
15 days ago
Twitter
Episode 💯 of the What Got You There Podcast with ! David & I discuss

-Meta learning
-Beginners mind
-"There's…
from twitter_favs
15 days ago
Twitter
Ladies, if he:

- is an indivisible substance
- is endowed with perception and appetite
- is a perpetual living m…
from twitter_favs
17 days ago
Twitter
made 'underhill (2018.12 mixtape)'!
3h random mix of soft house, chillout dub techno etc for the winter.
- spotify:…
from twitter_favs
17 days ago
Twitter
Castagna, Lanvin, Petrucciani & Siek: Gradual Typing: a New Perspective

Let-Polymorphism, Subtyping, and Set-Theor…
from twitter_favs
18 days ago
Twitter
SIMD-Visualizer: A tool to graphically visualize SIMD code
from twitter_favs
19 days ago
SIMD Visualizer
SIMD-Visualizer: A tool to graphically visualize SIMD code
from twitter_favs
19 days ago
Twitter
I need more vi jokes in my life
from twitter
19 days ago
Twitter
I really like the new (provisional?) Rust motto: “The programming language that empowers everyone to become a syst…
from twitter
19 days ago
Twitter
RT : The Brits did it!

A real life Condorcet cycle:

REMAIN
↗️ ↘️…
from twitter_favs
19 days ago
Twitter
RT : This is truly outrageous. The PM doesn't realise that ending free movement for EU citizens into the UK will work th…
from twitter_favs
19 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: