6046
Postdoc Opportunity at CMU
Want a postdoc at CMU in the intersection of programming languages and healthcare with ? Apply now!
from twitter_favs
7 hours ago
Une application pour choisir vos activités estivales
[☀️Série d'été☀️] Une app basée sur le pour choisir ses sorties, par Thibault Asselborn, PhD
MachineLearning  from twitter_favs
10 hours ago
Twitter
More like "Behind every interesting programming language we retrospectively put an interesting model of computation…
from twitter_favs
yesterday
Untitled (https://www.youtube.com/watch?v=ZBdRAdSosv4)
This is pretty awesome: iOS 11’s ARKit turns that A-ha video into reality
from twitter_favs
yesterday
the ggh cryptosystem | kel.bz
Great introduction to lattice cryptography by :

Part 1:

Part 2:
from twitter_favs
yesterday
building lattice reduction (LLL) intuition | kel.bz
Great introduction to lattice cryptography by :

Part 1:

Part 2:
from twitter_favs
yesterday
Open F#
Taking cross platform to the next level: using F# to compile genotype specs to live DNA, with .
fsharp  from twitter_favs
2 days ago
Untitled (https://www.youtube.com/watch?v=zi0rHwfiX1Q)
Fantastic talk from John Hughes on QuickCheck and asynchronous state machine testing.
from twitter_favs
2 days ago
lo.logic - undecidable sentences of first-order arithmetic whose truth values are unknown - MathOverflow
Every statement is equivalent to an undecidable statement, with respect to any desired consistent base theory.
from twitter_favs
3 days ago
Twitter
whole book is like this (Representation and Inference for Natural Language)
from twitter_favs
3 days ago
The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)
For more reading on this line of thought, see and other Turner's papers, e.g
from twitter_favs
3 days ago
Untitled (https://moscow.sci-hub.cc/01d117d0838300d5afe7df8fd7d3d4e3/turner2013.pdf)
For more reading on this line of thought, see and other Turner's papers, e.g
from twitter_favs
3 days ago
VsCodeNeovim by Chillee · Pull Request #1897 · VSCodeVim/Vim · GitHub
Wow! Interesting PR VsCodeNeovim , Directly use neovim editor engine from VsCodeVim.
from twitter_favs
3 days ago
Twitter
From 2010: Scaramucci says Obama is beating up on him and Wall Street friends "like a piñata."

Watch how Obama res…
from twitter_favs
4 days ago
Twitter
RT : Root of the chain and the implementation is here.

No one ever told me about…
from twitter
4 days ago
Twitter
Möbius strip + Magnetic Levitation
from twitter_favs
4 days ago
Data.Compact
Compact Regions landed in GHC 8.2! Should help a lot with GC pauses in long-running applications.
from twitter
4 days ago
Twitter
“10,000 Hours With Claude Shannon: How A Genius Thinks, Works, and Lives” is a fascinating biography. Recommended!…
from twitter_favs
4 days ago
Twitter
goodbye ad-hoc FFI code, hello milkis :-DDD
from twitter_favs
4 days ago
(404) https://twitter.com/Aelkus/status/888824330469167104
Wow. Ethereum VM language Solidity appears to be an unholy combination of C++ and COBOL, except with bugs.
from twitter_favs
5 days ago
The Euclidean Algorithm — A guide to the PureScript numeric hierarchy latest documentation
New update to my numeric hierarchy guide - three new chapters which demystify the EuclideanRing class:
purescript  from twitter_favs
5 days ago
Twitter
A depressing verdict on fMRI studies of depression :-(
from twitter_favs
5 days ago
Untitled (https://nikivazou.github.io/static/Haskell17/a-tale.pdf)
A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq [PDF]
from twitter_favs
5 days ago
Twitter
Been playing around with lately and I'm really impressed with it! I built a little tool for laying out rooms…
ARKit  from twitter_favs
6 days ago
The Dock on Vimeo
RAD! Surfers using a dock made to float over big surf to launch off of:


Gets crazy when the surf gets big
from twitter_favs
6 days ago
Google Groups
Upcoming talk by on implementing crypto in Haskell -syd
fp-syd  from twitter_favs
6 days ago
Twitter
I’m a little sad that this low-complexity monster was never built and launched.
from twitter_favs
6 days ago
Sea Dragon (rocket) - Wikipedia
I’m a little sad that this low-complexity monster was never built and launched.
from twitter_favs
6 days ago
Twitter
RT : so the Wireguard protocol is now formally verified (with Tamarin)
Wireguard is a VPN using…
from twitter
7 days ago
Formal Verification - WireGuard
RT : so the Wireguard protocol is now formally verified (with Tamarin)
Wireguard is a VPN using…
from twitter
7 days ago
fogus: Pascal at Apple
Emblogginated "Pascal at Apple" --> (i.e. playing with Storify)
from twitter_favs
7 days ago
Searching for the Holy Grail · wincent.com
As promised, blog post on the never-ending but misguided search for the perfect programming language:
from twitter_favs
7 days ago
Untitled (http://www.riverpublishers.com/pdf/ebook/chapter/RP_9788793519817C10.pdf)
"Behavioural Types: from Theory to Tools" includes my chapter on overview of literature on session types in Haskell
from twitter_favs
7 days ago
What you need to know about bracket
Updated the bracket article with another example of why the release action may not run: signals
from twitter_favs
7 days ago
Twitter
Educational web-based computer programming environment by Google, based on a Haskell varia…
from twitter_favs
7 days ago
CodeWorld
Educational web-based computer programming environment by Google, based on a Haskell varia…
from twitter_favs
7 days ago
15-414 Bug Catching: Automated Program Verification and Testing
This looks like an excellent class on Automated Formal Verification:
from twitter_favs
9 days ago
Twitter
“Make Money: Don’t Raise Money” by is ON THE MONEY.
from twitter_favs
9 days ago
(404) https://twitter.com/java/status/885710948979355650
As a Haskell user this is utterly bewildering... how do people come up with this stuff?
from twitter_favs
9 days ago
Untitled (https://www.youtube.com/watch?v=pjzCMQBqjFw&index=2&list=PLLEUtp5eGr7AVVtjmtC6QjgCfzp1PyD-i)
Uber data visualization team is a gem among gems. I’ve seen most of this stuff but never fails to make my jaw drop
from twitter_favs
9 days ago
Twitter
Really nice to finally have a good chart of programming language usage share. (Source: )
from twitter_favs
10 days ago
Analyzing GitHub, how developers change programming languages over time · source{d} blog
Really nice to finally have a good chart of programming language usage share. (Source: )
from twitter_favs
10 days ago
Mental models and human reasoning
i recently learned of Philip Johnson-Laird and this great paper surveying human reasoning's discrepancies w/logic:
from twitter_favs
10 days ago
Name of Groans: The Search for the Most Truly Awful Restaurant Name in America - Eater
Welcome to day 1 of NAME OF GROANS: The Search for America's Most Truly Awful Restaurant Name
from twitter_favs
10 days ago
Untitled (https://arxiv.org/pdf/1707.02415.pdf)
Iosif & Serban: Complete Cyclic Proof Systems for Inductive Entailments
from twitter_favs
11 days ago
Untitled (http://www.ccs.neu.edu/home/amal/papers/funtal.pdf)
"FunTAL: Reasonably Mixing a Functional Language with Assembly"
from twitter_favs
11 days ago
(429) https://twitter.com/i/web/status/886354442467110912
New study supports a theory about the cumulative harm from mutations and the evolution of sex.…
from twitter_favs
11 days ago
Untitled (https://www.youtube.com/watch?v=65VMej8n23A)
TIL about passive scroll listeners in the browser; this is one of those things it seems too few people know about
from twitter_favs
12 days ago
Writing a JSON decoder using Purescript's RowToList - Qiita
wrote about using Purescript's RowToList to decode JSON from record type aliases with no setup
from twitter_favs
13 days ago
News | IUCAA
Most massive large-scale structures in the Universe, which spans 600 million light-years:
from twitter
13 days ago
Formal Verification - WireGuard
RT : Wireguard is the latest protocol to apply formal verification in the symbolic model:
from twitter_favs
13 days ago
Untitled (https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf)
RT : “RustBelt: Securing the Foundations of the Rust Programming Language,” w/ Coq code for machine-checked proofs:
from twitter
17 days ago
Profunctor Optics: The Categorical View |   Bartosz Milewski's Programming Cafe
RT : I finally put together the Yoneda derivation of profunctor optics including prisms and grates:
from twitter_favs
19 days ago
OpenTOC
Get your fix of fresh PL papers here ( , , , and many more!):
from twitter_favs
25 days ago
What's the weirdest/most disturbing/distressing, even unpleasant, piece of music you love? : Music
What's the weirdest/most disturbing/distressing, even unpleasant, piece of music you love?
from twitter
26 days ago
Presentate — A smarter way to make presentations
I did a very weird thing today. I made the beta open to everyone, because… ¯\_(ツ)_/¯
from twitter_favs
26 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 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: