1229
showing only twitter [see all]
Twitter
Second day of the Workshop on Dependable and Secure Software Systems at . Looking forward to another round o…
from twitter
2 days ago
ghc-proposals/0013-unlifted-newtypes.rst at master · ghc-proposals/ghc-proposals · GitHub
Oh, GHC is getting unlifted newtypes:

eg.

newtype Interval = Interval (# Int#, Int# #)
from twitter
2 days ago
Twitter
“[…] the bad design of protobuffers is so persuasive that these problems manage to leak their way into your code as…
from twitter
5 days ago
Emulating the elegance of JavaScript's `new Array` in Haskell · GitHub
Someone finally ported JavaScript’s ‘new Array’ semantics to Haskell
from twitter
10 days ago
Twitter
Best thing you’ll see all day.
from twitter
11 days ago
Twitter
Of course but still, with the price we pay, they could at least get a server to reliably serve a JSON f…
from twitter
12 days ago
Twitter
The real shame is once again that the hard problem (getting buses to arrive on time) is here solved reliably, while…
from twitter
12 days ago
Twitter
It might not be easy to accurately report arrival times in real-time, but the least you could do is harden your web…
from twitter
12 days ago
Twitter
Hey , I think it’s time you hire some real iOS developers, your app has been reporting incorrect timetables…
from twitter
12 days ago
Twitter
RT : Swiss research couldn’t thrive without international networks. Therefore Switzerland must be seen as a reliable con…
from twitter
14 days ago
GitHub - alexwl/haskell-code-explorer: Web application for exploring and understanding Haskell codebases
Haskell code explorer: Web application for exploring and understanding Haskell codebases
from twitter
17 days ago
Twitter
Has the ‘Self’ type already been introduced yet? If not my guess would be that they didn’t want to…
from twitter
18 days ago
Twitter
Great post, really enjoyed it! Would love to hear your thoughts about learning Rust instead of C as a…
from twitter
19 days ago
GitHub - haskell/haskell-ide-engine: The engine for haskell ide-integration. Not an IDE
FWIW I had no problem building for GHC 8.2.1, 8.2.2, 8.4.2 and 8.4.3 on Mojave using Stack.
from twitter
20 days ago
Twitter
How to use Nix to automatically create multi-layered Docker images, allowing a high amount of caching between image…
from twitter
20 days ago
Twitter
TLA+ for modeling and verifying concurrent systems as I’ve so far always stuck to functional properties of determin…
from twitter
20 days ago
Twitter
Such a shame. Organ donation really ought to be opt-out instead of opt-in.
from twitter
20 days ago
Twitter
Skip: A programming language to skip the things you have already computed, featuring:

- Caching with Reactive Inva…
from twitter
25 days ago
Twitter
Damn that tweet just solved my impostor syndrome, if only temporarily. Never too late to start learning something n…
from twitter
25 days ago
Twitter
RT : A couple of good threads on Atiyah's talk claiming a proof of the Riemann Hypothesis. Seems like history is not bei…
from twitter
28 days ago
Untitled (https://www.apple.com/business/site/docs/iOS_Security_Guide.pdf)
RT : Happy iOS 12 day! Our updated iOS Security Guide is hot off the presses:
from twitter
4 weeks ago
Azul GUI Framework
: A functional GUI framework for Rust applications
from twitter
5 weeks ago
Azul GUI Framework
: A functional GUI framework for Rust applications
from twitter
5 weeks ago
Twitter
RT : Tired of budgeting an event using Excel?
With Sketch-n-sketch, it can become very easy. Check out this new video wi…
from twitter
5 weeks ago
Twitter
And here’s the paper!
from twitter
5 weeks ago
Twitter
And here’s the paper!
from twitter
5 weeks ago
[1809.04209] Bidirectional Evaluation with Direct Manipulation
M. Mayer, V. Kunčak, R. Chugh: Bidirectional Evaluation with Direct Manipulation

Paper:

D…
from twitter
5 weeks ago
Twitter
M. Mayer, V. Kunčak, R. Chugh: Bidirectional Evaluation with Direct Manipulation

Paper:

D…
from twitter
5 weeks ago
Twitter


main = putStrLn "Hello World"

from twitter
5 weeks ago
Untitled (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tldi10-vytiniotis.pdf)
D. Vytiniotis, S. Peyton Jones & T. Schrijvers: Let Bindings Should Not Be Generalised

(pdf)
from twitter
5 weeks ago
Twitter
AMP breaking the web once more…
from twitter
5 weeks ago
rust/RELEASES.md at stable · rust-lang/rust · GitHub
Clippy and cargo-fix will finally be available on Rust stable, starting with Rust 1.29.0 :)
from twitter
5 weeks ago
The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler
The Architecture of Open Source Applications: The Glasgow Haskell Compiler
from twitter
5 weeks ago
Twitter
Cool, congrats! Feel free to drop by when you’re there; our offices are lit…
from twitter
5 weeks ago
Twitter
Formal Reasoning in PL and Crypto
from twitter
5 weeks ago
Checking Dependent Types with Normalization by Evaluation: A Tutorial
Checking Dependent Types with Normalization by Evaluation: A Tutorial by
from twitter
5 weeks ago
Twitter
Cool paper by the way! And look out for ’s paper on reversible lambda calculus that shoul…
from twitter
5 weeks ago
Twitter
Oh I’ve been following you for a while, even before I was at LARA. You likely have one of the best si…
from twitter
5 weeks ago
Twitter
Awesome! Looking forward to having you around here. Come say hi to us people at…
from twitter
6 weeks ago
Twitter
PureScript doesn’t really support npm afaik, try maybe defining your own bundle for psc-package or fo…
from twitter
6 weeks ago
Untitled (http://cl-informatik.uibk.ac.at/cek/coqhammer/coqhammer.pdf)
Ł. Czajka and C. Kaliszyk. Hammer for Coq: Automation for Dependent Type Theory

Paper:

Gi…
from twitter
6 weeks ago
Twitter
Ł. Czajka and C. Kaliszyk. Hammer for Coq: Automation for Dependent Type Theory

Paper:

Gi…
from twitter
6 weeks ago
Twitter
Cai, Giarrusso, Rendel, Ostermann: A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by S…
from twitter
6 weeks ago
Twitter
RT : Apply to the best Data Science Lab in West(ern) Europe! Perks include: industrious and flamboyant advisor, long wal…
from twitter
6 weeks ago
Twitter
RT : what you need to know to be good at Haskell:
- purity
- immutability
- laziness

what you do not need t…
from twitter
7 weeks ago
GitHub - aergoio/litetree: SQLite with Branches
LiteTree: SQLite with support for git-like branching
from twitter
7 weeks ago
Twitter
Generics!? What is this, 1970?
from twitter
7 weeks ago
Twitter
Yeah fuck Starbucks. I hope they will be held accountable but as usual I am not holding my breath…
from twitter
7 weeks ago
Twitter
If you are thinking on jumping on the iOS 12 beta train: don’t. Never had such a bug riddled/poor performance one.…
from twitter
9 weeks ago
Twitter
Rust implementation here:
from twitter
9 weeks ago
Download Limit Exceeded
John Lamping: An Algorithm for Optimal Lambda Calculus Reduction
from twitter
9 weeks ago
Untitled (http://www.di.unipi.it/%7Eottavian/files/semi_index_cikm.pdf)
G. Ottaviano & R. Grossi: Semi-Indexing Semi-Structured Data in Tiny Space
from twitter
9 weeks ago
Twitter
RT : In seriousness, the problem with this (and with ML etc.) is that when it works it’s amazing. And when it doesn’t wo…
from twitter
9 weeks ago
Twitter
It is! Haskell can do it too, just a shame it’s not a default:
from twitter
10 weeks ago
doctest: Test interactive Haskell examples
It is! Haskell can do it too, just a shame it’s not a default:
from twitter
10 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 cats chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coq 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 functionalprogramming future gamedev games garbage-collector 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 macos markdown math mathematics mobile monads mooc 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 scaling scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups static statistics strangeloop swift 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: