5840
Twitter
The Rust daemon on my Raspberry Pi router reporting metrics via StatsD + Graphite to Grafana is doing a pretty good…
from twitter_favs
16 hours ago
Twitter
I just received an enthusiastic report about it from my PhD student! Apparently, the speakers and organizers did a…
from twitter_favs
18 hours ago
Untitled (https://www.youtube.com/watch?v=b9psrghYiNQ)
As an intro to the art of formal verification of digital circuits you can watch
from twitter_favs
19 hours ago
Twitter
“Wikipedia on brutal mode” —
from twitter
2 days ago
nLab
“Wikipedia on brutal mode” —
from twitter
2 days ago
Twitter
Yeah that’s the thing I like the most about hpack :)
from twitter
3 days ago
Just raise your hand: How Glitch helps – Glitch – Medium
This is legit the coolest thing I've seen for teaching coding in like forever should start teaching classes this way
from twitter_favs
3 days ago
Twitter
Is Göbekli Tepe, one of the most ancient sites on the planet, actually a memorial to the worst day in history?…
from twitter_favs
3 days ago
Twitter
Graphics research from DCGI et el presents method of realtime style transfer focused on human faces…
from twitter_favs
3 days ago
Twitter
Funny how they also love charter schools. Almost as if they had a consistent vision of meaner capitalism with marke…
from twitter_favs
4 days ago
Papers
papers are up now at . Slides to follow when we get definitive versions from the authors.
langsec2017  from twitter_favs
4 days ago
Twitter
Pretty sbt errors 😍 with summary of all problematic line numbers in a single row
from twitter_favs
4 days ago
GitHub - Duhemm/sbt-errors-summary: sbt plugin to show a summary of compilation messages.
Pretty sbt errors 😍 with summary of all problematic line numbers in a single row
from twitter_favs
4 days ago
Twitter
functional programming in an assembler? got ya covered. /cc
c64  racketlang  asi64  6502asm  from twitter_favs
4 days ago
Prototype of GHC.Generics-based declaration of ADTs in Z3 · GitHub
Been playing with those today to prototype a generic encoder for Haskell ADTs with Z3:
from twitter
5 days ago
Twitter
Been playing with those today to prototype a generic encoder for Haskell ADTs with Z3:
from twitter
5 days ago
Twitter
Type-level metadata representation thanks to type-level literals and singleton types!
from twitter
5 days ago
Twitter
Pretty crazy to see how well LLVM is able to optimize them out.
from twitter
5 days ago
Twitter
Here’s the corresponding LLVM documentation:
from twitter
5 days ago
Coroutines in LLVM — LLVM 4 documentation
Here’s the corresponding LLVM documentation:
from twitter
5 days ago
Twitter
Please look at and treasure Dwarf Fortress patch notes for the rest of your lives
from twitter_favs
8 days ago
Paul Chiusano: Incrementalism
"The focus on incremental, measurable progress is often dangerous to innovation and bigger progress."
from twitter
11 days ago
Twitter
We recorded VC conversations and analyzed how differently they talk about female entrepreneurs…
from twitter_favs
12 days ago
(500) https://tmate.io
is really nice. how did i only hear about it now
from twitter_favs
13 days ago
Untitled (https://www.youtube.com/watch?v=rX0ItVEVjHc)
In case you haven't yet seen it, this talk by Mike Acton on "Data-Oriented Design" is excellent food for thought:
from twitter_favs
13 days ago
Twitter
Peer-to-peer blogging and RSS

◆ Reader app and blog served over dat://
◆ Built with choo
◆ Runs on
from twitter_favs
14 days ago
Twitter
I highly recommend `vcprompt` to get git (and others) branch information to show in your prompt. Tiny C program (av…
from twitter_favs
16 days ago
Twitter
RT : when you're debugging the wrong part of the code
from twitter
17 days ago
Twitter
MetaMetaPost: a toy STLC based language I talked about yesterday at
from twitter_favs
17 days ago
Zcash - Getting Started Developing for Zcash
New blog post: “Getting Started Developing with Zcash” by : Level 1 is as easy as using Bitcoin or Litecoin.
from twitter_favs
18 days ago
Twitter
So writing ShellKit, a framework to create command line utilities and ease shell invocation from Objective-C:…
from twitter_favs
18 days ago
Cubical Higher Type Theory as a Programming Language | Existential Type
Bob Harper re: cubical type theory, making a computable language from homotopy type theory
from twitter_favs
19 days ago
Download Limit Exceeded
GRIN Haskell backend stripped out from JHC
from twitter_favs
19 days ago
Twitter
. Euclidean geometry is the canonical constructive mathematical system, but I've never seen it formalized…
from twitter_favs
19 days ago
Twitter
"To hell with more. I want better."
bbcinsight  from twitter_favs
20 days ago
Twitter
Here’s the Scala one:
from twitter
21 days ago
Twitter
correctness is very important
from twitter_favs
21 days ago
(500) https://gt-wunderhorn.github.io/
A Horn-clause-based JVM verifier isn’t cool. You know what’s cool? A Horn-clause-based JVM verifier written in OCaml
from twitter_favs
21 days ago
Twitter
This thread offers an interesting perspective on the French election results
from twitter_favs
22 days ago
Twitter
Sinargues Estezargues, Granacha, côtes du Rhône Villages, Superb Grenache, organic, old vines... Black fruits, ligh…
from twitter_favs
22 days ago
Untitled (http://kcsrk.info/papers/system_effects_may_17.pdf)
"Concurrent System Programming with Effect Handlers" w/ Stephen Dolan, Leo White, , & .
from twitter_favs
22 days ago
Let Idris Take Care Of You: Variable Binding | Crunchy Type
I wrote a blog post about taking advantage of 's proof search to improve the representation of syntax.
from twitter_favs
22 days ago
Is the Internet Causing Political Polarization? Evidence from Demographics
no evidence for influence of fake news or social media bubbles driving polarization though
from twitter_favs
22 days ago
Untitled (https://www.bloomberg.com/view/articles/2017-01-23/the-numbers-are-in-fake-news-didn-t-work)
no evidence for influence of fake news or social media bubbles driving polarization though
from twitter_favs
22 days ago
Untitled (https://www.youtube.com/watch?v=xpopFe6isl0)
Modules, Abstraction, and Parametric Polymorphism - Karl Crary - POPL 2017
from twitter_favs
22 days ago
Untitled (https://www.youtube.com/watch?v=cINtOxgDWNc&feature=share)
Can't wait for the class to start! Hoping it will address my distaste for calculus and the way it's usually taught.
from twitter
22 days ago
Twitter
A fascinating subject, and a talk worth watching, whether you buy into ultrafinitism or not.
from twitter
23 days ago
Untitled (https://www.youtube.com/watch?v=hgOVbFdwMAM)
"A Socratic look at logical weaknesses in modern pure mathematics" by NJ Wildberger
from twitter
23 days ago
Twitter
Interesting talk by
It really hits home, the hurt is real

Watch
Check…
Spark  FP  from twitter_favs
23 days ago
How to make a scientific looking PDF from markdown (with bibliography) · GitHub
I just published "How to make a scientific looking PDF from markdown (with bibliography)"
from twitter_favs
24 days ago
Twitter
I just published "How to make a scientific looking PDF from markdown (with bibliography)"
from twitter_favs
24 days ago
Untitled (https://www.youtube.com/watch?v=_-GD8VJW8jU&feature=youtu.be&list=PL8NC5lCgGs6Pd7RCawHK4XN0oq23oRe7U)
Really great talk by on creating purely functional DSLs in Scala that Just Work™ (and how to Spark better!)
from twitter_favs
25 days ago
Untitled (https://www.youtube.com/watch?v=GNDxO8YcLwI)
Efficient Algorithms for Supersingular Isogeny Diffie Hellman
from twitter_favs
25 days ago
DM's Esoteric Programming Languages - Piet
And if you like modern art, you’ll like Piet as well:
from twitter
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 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 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: