Twitter | Pretraživanje | |
Stephen Diehl
Entrepreneur and Haskeller
11.815
Tweetovi
2.535
Pratim
8.379
Osobe koje vas prate
Tweetovi
Stephen Diehl proslijedio/la je tweet
Refurio Anachro 2. velj
An adjunction is a way to relate two objects a and c, but not directly: C(a,c) Instead, we get two maps, (L)eft and (R)ight, which allow to relate them: C(L(a),c) <=> A(a,R(c)) 1/n
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl 5 h
Odgovor korisniku/ci @cartazio
Barclays perhaps.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Soham Chowdhury 10 h
Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Csaba Hruska 10 h
Odgovor korisniku/ci @dorchard @madgen_
The plan is to plug different backends into a common framework. i.e.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Igal Tabachnik 1. velj
What started as a long, detailed post about manually installing an HIE-based development environment with is now a much shorter post about how to get from zero to a Haskell IDE in a matter of minutes, thanks to devcontainers!
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
tante 13 h
Facebook's Libra is so shady that bloody Mastercard couldn't deal with it: (via )
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Jacob Stanley 11 h
If you've ever tried to test a stateful app in QuickCheck, Hedgehog or any other property-based testing library you'll know it can be seriously difficult! Check out this tutorial for a simple way to test stateful apps using Hedgehog.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Armando Santos 1. velj
I think I polished my laop library enough to publish it! So there you have it: I'll try and give updates on its state and development!
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl 2. velj
Every Yaml parser is a custom Yaml parser. 😱
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Daniel Brice 1. velj
"Haskell is reliable because of its advanced type system" misses half the story. The other half is Haskell's support for (rather, insistence on) expression-oriented programming. When you're doing mostly statement-oriented programming, a fabulous type system does you little good.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl 2. velj
Odgovor korisniku/ci @csaba_hruska @cutculus
I went down this rabbit hole a while back. There are a few libraries using SIMD intrinsics, but it's really just a few linear algebra experiments not surprisingly.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl 2. velj
Odgovor korisniku/ci @csaba_hruska
Nice stuff. These manual STG modules are non-trivial. This should be in the GHC wiki. 👍
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Csaba Hruska 1. velj
For anyone dares to try out: This is quite raw. But I'm working on a better/cleaner solution to make GHC codegen/RTS reusable.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Tim Sweeney 1. velj
Programming languages without garbage collection send us down a long path of design decisions that lead to slow compile times and fragile runtime performance cliffs.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Austin Huang 30. sij
Timely post on Jax’s vmap in Haskell by . Will have to give these ideas a try in !
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
Tungsteno 1. velj
Concepts without words: Integration and Riemann Sums 🟨🟩🟦
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl 1. velj
Odgovor korisniku/ci @mojobojo
Don't apologise ... you created more Haskell jobs and taught a bunch of junior engineers Haskell. Which is way more than most people do.
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
𓅵ふみ 1. velj
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl 1. velj
Type Equality in LLVM
Reply Retweet Označi sa "sviđa mi se"
Stephen Diehl proslijedio/la je tweet
gelisam 31. sij
Odgovor korisniku/ci @arachnocapital2
Switch to another wire format, surprisingly most of them support algebraic types:
Reply Retweet Označi sa "sviđa mi se"