5550
Creating digital circuits using CλaSH | SkillsCast | 6th October 2016
“Creating digital circuits using CλaSH” is a gentle introduction to programming FPGAs with Haskell:
from twitter_favs
11 hours ago
ImmutableCache.scala · GitHub
An immutable / persistent cache data structure, piggybacking on 's persistent maps and sets:
Scala  from twitter_favs
yesterday
S11001001 / plist — Bitbucket
Made for a short talk; amazed at how much GHC just...inferred. *This* is the standard for great inference.
Haskell  from twitter_favs
2 days ago
Verified Functional Programming in Agda
. Total functional programming is constructive theorem-proving. Try Agda.
from twitter_favs
3 days ago
Twitter
Wow this paper sure is interesting.
from twitter_favs
3 days ago
Twitter
RT : The use of join destroys some information but preserves the effects of the original computation.
from twitter
3 days ago
Twitter
RT : Exercise: Maximally simplify this type in a way that preserves all its structure.
from twitter
3 days ago
Prosecco
Prosecco from Inria has several crypto formal verification tool projects:
from twitter_favs
3 days ago
Twitter
RT : First a SHA-1 collision, then a memory overrun in a big HTTPS proxying service. It’s been an eventful 24 hours for…
from twitter
4 days ago
Go2Shell - ZipZapMac
Go2Shell -
then update config to use iterm
`open -a Go2Shell --args config`
from twitter_favs
5 days ago
Code Podcast
Type Systems: We'll talk about what they are and how they shape the way we work.
from twitter_favs
6 days ago
(500) https://mchav.github.io/
This madman is writing Android apps in Frege (Haskell for JVM): see his beautiful project
from twitter_favs
11 days ago
Untitled (https://www.irif.fr/~gc/papers/covcon-again.pdf)
Covariance and Contravariance: A fresh look at an old issue
from twitter_favs
12 days ago
Twitter
For the first time ever, Froid actually makes me want to write a mobile app. 😍
from twitter_favs
12 days ago
Twitter
The crypto relies on RustySecrets, our Shamir Secret Sharing library. Joint work with
from twitter_favs
12 days ago
Implementing the Giry Monad · jtobin.io
I wrote a couple of longish posts on the Giry monad.
from twitter_favs
13 days ago
Foundations of the Giry Monad · jtobin.io
I wrote a couple of longish posts on the Giry monad.
from twitter_favs
13 days ago
Twitter
RT : implementing content aware image resizing
from twitter_favs
13 days ago
mht.technology
RT : implementing content aware image resizing
from twitter_favs
13 days ago
DeepUI 1 - YouTube
I got a lot out of stepping through the video slowly, at 1080p, trying to understand exactly what's going on.
from twitter_favs
14 days ago
Twitter
Hyper has gotten a safer design based on indexed monads. Fresh documentation available here:…
from twitter_favs
14 days ago
CertSimple | An nginx config for 2017
An nginx config for 2017 - HTTP2, load balancing, IPv6, sorry page, separate server for non-app content, A+ HTTPS …
from twitter_favs
14 days ago
Untitled (http://www.taobackup.com/)
After skimming the GitLab postmortem, I'd like to remind everyone to read the Tao of Backup
from twitter_favs
16 days ago
Secrets of the Glasgow Haskell Compiler inliner - Microsoft Research
Since we may have hit an exponential problem in the GHC inliner in prod it's time to re-read this paper
haskell  from twitter_favs
17 days ago
questions about the blog post · Issue #2 · pvillega/free-monad-sample · GitHub
. 's post on the Free Monad is the best intro I've seen! But I still have questions, anyone able to help?
from twitter_favs
18 days ago
High Performance Browser Networking (O'Reilly)
It's reassuring that the "High Performance Browser Networking" book loads in a fraction of a second. Impressive!
from twitter_favs
18 days ago
Twitter
(ICYMI) This week on the blog... natural transformations explained!
from twitter_favs
20 days ago
What is a Natural Transformation? Definition and Examples — Math3ma
(ICYMI) This week on the blog... natural transformations explained!
from twitter_favs
20 days ago
Hackage dependency monitor
Haskell package maintainers: It's trivial to get emails when your upper-bounds are too restrictive with and IFTTT.
from twitter_favs
20 days ago
Monadic Logging and You - NE Scala 2016 - YouTube
I don't think a library should do I/O just for logging. Here's how I like to do it:
from twitter_favs
21 days ago
Untitled (http://www.npr.org/2017/01/24/510567860/strangers-in-their-own-land-the-deep-story-of-trump-supporters)
Interesting podcast interview, giving a nice empathic view of the reality a great many Trump supporters live in.
from twitter_favs
23 days ago
Twitter
Nice! Been interested in how complexity is managed in a large scale Pux application. Pux is v easy to reason about…
from twitter_favs
25 days ago
Twitter
RT : Preparing a new blog article called "Asynchronous Programming and Scala". It's going to be interesting 😏
from twitter
28 days ago
3 12 Combining Effects and Coeffects via Grading - YouTube
Combining Effects and Coeffects via Grading ! e.g. exceptions cancel allocations, security labels mask nondeterminsm.
from twitter_favs
4 weeks ago
The Future of User Interfaces — Brandur Leach
I wrote a contrarian piece arguing for user interfaces that are more like terminals, and less like the web.
from twitter_favs
4 weeks ago
Palantir, l'encombrant ami américain du renseignement français - L'actu Médias / Net - Télérama.fr
Great article in French about Palantir by . If you weren’t already scared by them, now you should be.
from twitter_favs
4 weeks ago
Takt Category Theory Session 8: Generalized Elements - YouTube
We're reading Category Theory by Steve Awodey at Takt and making weekly videos of our reading group discussion:
from twitter_favs
4 weeks ago
sql rewriting.hs · GitHub
Current status: term rewriting SQL expressions using uniplate and lens:

Warning. This is basically FP porn.
from twitter_favs
4 weeks ago
Twitter
This is speculation but it's absolutely fascinating speculation and I can't stop thinking about it. Thread:
from twitter_favs
4 weeks ago
Twitter
L’équipe de Trump a passé un sale quart d’heure au Sénat. Et c’est Bernie Sanders qui s’en est chargé.
from twitter_favs
4 weeks ago
Why we should all have a basic income | World Economic Forum
Very interesting article to read on the Basic Income. Debunking some preconceptions about effect on motivation.
from twitter_favs
4 weeks ago
On the "WhatsApp backdoor", Trade-Offs and Opportunistic Authentication
RT : My thoughts on the "WhatsApp is backdoored" story, security trade-offs and opportunistic authentication.
from twitter_favs
5 weeks ago
Twitter
Gabriel Scherer pushes the limits of decidable lambda calculus equivalence (arrow, products, sums, unit, void: mono…
from twitter_favs
5 weeks ago
Announcing Rust Language Server Alpha Release
Announcing the Language Server alpha release! 🎉🎉🎉
from twitter_favs
5 weeks ago
Twitter
My last big speech as Amb, on how we must confront the serious threat posed by – together:…
Russia  from twitter_favs
5 weeks ago
Journalism That Stands Apart - The New York Times
1/ I spent most of last year on an team analyzing our newsroom and future. The report is out today:
from twitter_favs
5 weeks ago
curtclifton.net
$ cdf

cd to the directory in the front-most Finder window 👍
from twitter_favs
6 weeks ago
Lightweight Soundness for Towers of Language Extensions - PEPM 2017
Lightweight Soundness for Towers of Language Extensions using a finally-tagless encoding. I love that encoding!
from twitter_favs
6 weeks 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 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 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: