5803
GitHub - takenobu-hs/haskell-ghc-illustrated: haskell ghc-illustrated
An illustrated document about the GHC(Glasgow Haskell Compiler). For hardware persons!
haskell  from twitter_favs
19 hours ago
"Mathematical Reasoning: Writing and Proof" by Ted Sundstrom
A free text on how to write proofs, for college students making the transition from calculus to rigorous math
from twitter_favs
yesterday
Twitter
RT : Do you work in or think about tech? *Please* read this talk. We're building the tools of authoritarianism…
from twitter_favs
2 days ago
Transient-Transient-Universe-HPlay/Lobby - Gitter
activity report: improved services,relay communications, realistic testsuite, exceptions
haskell  transient  from twitter_favs
2 days ago
Program Analysis Reading List — Möbius Strip Reverse Engineering
I updated the "mathematics" heading of my program analysis reading list:
from twitter_favs
2 days ago
Untitled (http://cr.openjdk.java.net/~briangoetz/amber/pattern-match.html)
Pattern-matching on its way to Java? Let’s hope so….

Nicely done, . Liking the proposal.
from twitter_favs
3 days ago
GitHub - dpiponi/math-vim: Some useful key bindings for mathematics
Updated Unicode math vim script. For stuff like … → H̃₀(A∩B) → H̃₀(A)⊕H̃₀(B) → H̃₀(X) → 0 in vim Hope you have fonts
from twitter_favs
4 days ago
Type Tailoring
A new blog, on domain-specific type checkers in Racket!
from twitter_favs
4 days ago
Lost in Technopolis
Submitting Haskell functions to Z3
from twitter_favs
4 days ago
Twitter
. The specification of the CHVote Swiss internet-voting software hit IACR eprint. Looking forward t…
from twitter_favs
4 days ago
Twitter
Read some of 's early work on this - some good reading!
from twitter_favs
4 days ago
Quark: A Purely-Functional Scala DSL for Data Processing & Analytics
Cool slide deck on pure functional data processing from . Favorite quote: "Don't solve the problem, describe…
from twitter_favs
4 days ago
CPU.scala · GitHub
Last fun project: a simple CPU definition in Scala, in hardware, designed and simulated in using the Chisel library.
from twitter_favs
5 days ago
(500) https://mpilquist.github.io/blog/2017/03/11/stackless-function-composition/
RT : I wrote a thing on stackless function composition, free monads, coyonedas, and efficient data structures:
from twitter
5 days ago
Value | The n-Category Caf
The mathematics of assigning values ―at the n-Category Café.
from twitter_favs
6 days ago
Untitled (http://www.contrib.andrew.cmu.edu/~sbaugh/midterm_grading_function.pdf)
A multiple choice exam where you assign probabilities to the different options. More interesting and informative!
from twitter_favs
8 days ago
tikv/src/raft at master · pingcap/tikv · GitHub
I need a raft implementation in . Debating on improving or trying to tease out
rustlang  from twitter_favs
8 days ago
GitHub - Hoverbear/raft-rs: [Incomplete] A Raft implementation in Rust
I need a raft implementation in . Debating on improving or trying to tease out
rustlang  from twitter_favs
8 days ago
Twitter
oh my god Hedgehog's output is amazing
haskell  from twitter_favs
8 days ago
Twitter
This is completely fascinating (you may have to read first)
from twitter_favs
12 days ago
Formal Concept Analysis | The n-Category Caf
This is completely fascinating (you may have to read first)
from twitter_favs
12 days ago
Relation algebra - Wikipedia
Properties of binary relations as seen in a relation algebra.
from twitter_favs
13 days ago
Twitter
Properties of binary relations as seen in a relation algebra.
from twitter_favs
13 days ago
Existential types in Scala
RT : This is the best explanation of existential types that I've ever seen:
from twitter_favs
14 days ago
Compiling to categories
Compiling GHC Core to various cartesian-closed categories, by
from twitter
15 days ago
Gist comments and mentions don't trigger notifications · Issue #21 · isaacs/github · GitHub
RT : Hey , can we get Gist notification? Please please please? See .
Others: RT if you agree!
from twitter
18 days ago
Twitter
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner

PDF:

types  from twitter_favs
19 days ago
Verify your Typeclass Instances in Haskell Today! · in Code
(blog post) Verify your Typeclass Instances at Compile-time in Today, using Singletons!
Haskell  from twitter_favs
21 days ago
Twitter
Why not? I'm game to see what happens.
from twitter_favs
21 days ago
mastodon.social - Mastodon
Why not? I'm game to see what happens.
from twitter_favs
21 days ago
Twitter
Best physics paper title EVAR, but too long to fit in a tweet:
from twitter_favs
21 days ago
Twitter
How I compile lenses in optika:
from twitter_favs
22 days ago
Twitter
"A string is not an integer, so any arithmetic operation with strings is handled as a floating point operation."
from twitter_favs
23 days ago
Rerere Your Boat...
TIL about `git rerere`:

Would have saved me so much effort countless times!
from twitter
23 days ago
Twitter
Upping the ante... programs that can write programs which are probably better than those you could write yourself!…
from twitter_favs
23 days ago
Twitter
Ohm is a parser generator and toolkit for quickly building parsers, compilers, and interpreters:…
from twitter_favs
24 days ago
Twitter
It's here! And the printing and bounding is super nice!
from twitter_favs
25 days ago
Twitter
Remember, it all started there. Frustrate me enough and I'll write a good protocol library
from twitter_favs
25 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 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: