6514
Twitter
Next step, type providers?
from twitter
yesterday
Twitter
I had to wrap a clang-driver wrapper to re-introduce response files to deal with hundreds of flags, selectively pru…
from twitter_favs
yesterday
Twitter
Very interesting proposal for typelevel functional metaprogramming in Dotty (in addition to the implicit-based logi…
from twitter
yesterday
Twitter
Seen at an academic conference :-)
from twitter_favs
yesterday
Twitter
releases a "Deep Learning EP" with banging tracks such as "Convolution Neural Network" (no joke), "Bac…
from twitter_favs
yesterday
Twitter
This is the screen that set off the ballistic missile alert on Saturday. The operator clicked the PACOM (CDW) State…
from twitter_favs
2 days ago
Twitter
I did an interview about CRDTs, what production implementations exist, and why the big problems in distributed comp…
from twitter_favs
2 days ago
Twitter
Mobius Strip Reverse Engineering is announcing public sessions for its Static Reverse Engineering and SMT-Based Bin…
from twitter_favs
2 days ago
Twitter
Sorry y’all I was young and this coordinate system stuff was confusing
from twitter_favs
3 days ago
Dynamic Test Suites in Haskell using Hspec and Tasty | CODA — Haskell Programming Screencasts
My Haskell screencast now has a site with show notes!

It is soon too late to turn back.
from twitter_favs
3 days ago
Twitter
Information effects (aka “typed, universal, and reversible computation model in which information is treated as a l…
from twitter
3 days ago
Twitter
The Aziz Ansari story was not surprising or even disappointing to me. It is not because I don't think he is a nice…
from twitter_favs
3 days ago
Twitter
Bootstrap: a research project at Brown University that offers a series of curricular modules built around purely ma…
from twitter_favs
3 days ago
Twitter
Racket is the only language I've seen where you explicitly store a continuation in your exception. If somebody catc…
from twitter_favs
3 days ago
Twitter
Abductive functional programming:

Describes a call-by-value lambda calculus extended with a construct which allows…
from twitter
3 days ago
Twitter
RT : Last in the series! Simon Peyton-Jones, one of the key people behind Haskell, talks about seeing functional program…
from twitter_favs
4 days ago
Hourly Billing Is OK | Peter Lyons
Interesting post about hourly billing for software projects ("hourly billing is ok") .
from twitter_favs
4 days ago
GitHub - leftaroundabout/linearmap-family: Purely-functional, coordinate-free linear algebra
linearmap-family: Purely-functional, coordinate-free linear algebra. ~ Justus Sagemüller
Math  Haskell  from twitter_favs
4 days ago
Untitled (https://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.pdf)
A Language-Based Approach to Security - Schneider, et al

PDF:

Language-based l…
security  from twitter_favs
4 days ago
Twitter
A Language-Based Approach to Security - Schneider, et al

PDF:

Language-based l…
security  from twitter_favs
4 days ago
Twitter
RT : "Differentiable programming" is a lot better, but to be honest that seems a lot more general than what we do…
from twitter
4 days ago
Twitter
RT : "Neural networks" are a sad misnomer. They're neither neural nor even networks. They're chains of differentiable, p…
from twitter
4 days ago
Twitter
hilarious C++ fact : because of templates, the name mangling grammar includes... the complete C++ expression gram…
from twitter_favs
4 days ago
My Joke Cryptocurrency Hit $2 Billion and Something Is Very Wrong - Motherboard
Even dogecoin’s creator is sad to see cryptocurrencies become such a bubble
from twitter_favs
5 days ago
Twitter
Fun from the category theory reading group at Kent this afternoon: categorical semantics of the Call-By-Name effect…
from twitter_favs
5 days ago
Twitter
Now that my Comp Sci PhD is over, I finally have the mental space to train again for my climbing! Doing 5 pull ups…
from twitter_favs
5 days ago
Google Groups
Web Authentication enabled in Nightly! see the intent to ship (currently targetting Fx60)
from twitter_favs
6 days ago
1428918 - Web Authentication - Enable in Nightly
Web Authentication enabled in Nightly! see the intent to ship (currently targetting Fx60)
from twitter_favs
6 days ago
Twitter
➜ ~ cat test.hs
import Control.Exception
main = assert False (return ())
➜ ~ ghc --make -fno-ignore-asserts -O2 t…
from twitter_favs
7 days ago
Twitter
For some reason, Apple bought a sub-par headphones company + some music executives, and built Apple Music, which is…
from twitter_favs
7 days ago
Papers I Read and Loved in 2017
Great list of papers on functional programming & compilers:
from twitter
7 days ago
lol: A library for lattice cryptography.
Λ◦λ: Functional Lattice Cryptography in Haskell

Code:
Paper:
from twitter
7 days ago
Cryptology ePrint Archive: Report 2015/1134
Λ◦λ: Functional Lattice Cryptography in Haskell

Code:
Paper:
from twitter
7 days ago
[1712.10229] The Good, the Bad, and the Angry: An experimental study on the heterogeneity of people's (dis)honest behavior
H. Barcelo, V. Capraro, “The Good, the Bad, and the Angry: An exp. study on […] people's (dis)honest behavior”
from twitter_favs
7 days ago
Twitter
RT : With everyone talking about “differentiable programming,” it seems timely to reflect on my speculation of a future…
from twitter_favs
8 days ago
Twitter
Hezarfen: a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features. ~ Joomy…
from twitter_favs
8 days ago
Twitter
"Introduction to Singletons, Part 2" -- next part of my series on the library and design patte…
haskell  singletons  from twitter_favs
8 days ago
Twitter
mistake: thinking you will end up in hell

reality: you are already in hell
from twitter_favs
8 days ago
Twitter
Time to relocate scientific conferences outside of the US.
from twitter
8 days ago
Twitter
Division by zero is a mathematical challenging concept: see what happens when you try in on a mechanical calculator…
from twitter_favs
8 days ago
edwardkmett comments on The Comonad.Reader » The State Comonad
“That said, I find it more satisfying to make academics cite blog posts.” —

:P
from twitter
8 days ago
Twitter
👇 Check out my talk from CodeMesh 2017!

I show various ways, and highlight trade offs and benefits, of writing yo…
from twitter_favs
8 days ago
Twitter
I avoid incoherent instances like the plague, personally. The reasons won't fit in a tweet, but in par…
from twitter_favs
8 days ago
[unknown title]
RT : wait a second...this isn't SMT solving to improve fuzzing...this is using fuzzing to improv…
from twitter_favs
8 days ago
GitHub - delcypher/jfs: Constraint solver based on coverage-guided fuzzing
RT : wait a second...this isn't SMT solving to improve fuzzing...this is using fuzzing to improv…
from twitter_favs
8 days ago
Twitter
My bad, I misread that as argument involving infinite sets and whatnot. This is definitely different. But…
from twitter
11 days ago
Twitter
Can you point me towards any of those? Asking because since I’ve discovered constructivism and finitism, I…
from twitter
11 days ago
Twitter
Serious question: do you any redeeming qualities in Go or are you just using it out of anger? I don…
from twitter
11 days ago
Twitter
I got Hakyll to run "doctests" using Hint and a Pandoc filter. This is going to be all kinds of awesome.
from twitter_favs
11 days ago
Twitter
there's a silly variant of chess where you have exactly the normal starting configuration except the white pieces s…
from twitter_favs
12 days ago
Twitter
Just blown away by the caliber of engineering Google has put into defenses on this. Literally created new binary co…
from twitter_favs
13 days ago
Twitter
Modern x86 CPUs are so fast and complex, they cannot be completely tested, and every physical iteration takes 2 mon…
from twitter_favs
13 days ago
Twitter
Weirdly enough I kind of enjoy skimming through cutting-edge research on stuff I know nothing about, much like star…
from twitter
13 days ago
Twitter
This must be how I sound to my non-technical followers when I tweet about Haskell.
from twitter
13 days ago
Twitter
newtype X a = X (IO a)
deriving newtype Functor
deriving (Applicative, Alternative)
via Concurrently

this…
from twitter_favs
13 days ago
Twitter
Alright. Fine. I'll be the one.
from twitter_favs
14 days ago
Twitter
If one doesn't understand that with each passing year of slow inaction, the subsequent actions demanded of us—as in…
from twitter_favs
14 days ago
Twitter
The best New Year's climate resolution, by far?

To cast aside the false belief that small lifestyle actions mean a…
from twitter_favs
14 days ago
Twitter
The SIGPLAN highlights page is a fantastic resource for reading some of the best recent papers in programming langu…
from twitter_favs
14 days ago
Untitled (https://insideclimatenews.org/news/27092017/polar-vortex-cold-snap-arctic-ice-loss-global-warming-climate-change)
If you're wondering how a warming planet gives us insanely cold winters in the temperate zone, here's an explainer:
from twitter_favs
14 days ago
Building Static Haskell Binaries with Nix - Vaibhav Sagar
Finally answered a question I've had for a while now: how do you build a statically linked Haskell binary on Nix?
from twitter_favs
14 days ago
Twitter
Iran blocks internet infrastructure like which hosts circumvention tech like but ends up…
from twitter_favs
14 days ago
Twitter
'Character-level Recurrent Neural Networks in Practice: Comparing Training and Sampling Schemes'…
from twitter_favs
14 days ago
Twitter
Put together my reading list for the first month or so of 2018. (Trying to structure my reading more). Extremely ex…
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: