|
Stephen Diehl
@
smdiehl
London, England
|
|
Entrepreneur and Haskeller
|
|
|
11.815
Tweetovi
|
2.535
Pratim
|
8.379
Osobe koje vas prate
|
| Tweetovi |
| Stephen Diehl proslijedio/la je tweet | ||
|
Refurio Anachro
@RAnachro
|
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
|
||
|
|
||
|
Stephen Diehl
@smdiehl
|
5 h |
|
Barclays perhaps.
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Soham Chowdhury
@mrkgrnao
|
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!
colimit.net/posts/normalis…
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Csaba Hruska
@csaba_hruska
|
10 h |
|
The plan is to plug different backends into a common framework. i.e. pic.twitter.com/FeC1krcwDo
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Igal Tabachnik
@hmemcpy
|
1. velj |
|
What started as a long, detailed post about manually installing an HIE-based #Haskell development environment with @code is now a much shorter post about how to get from zero to a Haskell IDE in a matter of minutes, thanks to devcontainers!
hmemcpy.com/2020/02/settin…
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
tante
@tante
|
13 h |
|
Facebook's Libra is so shady that bloody Mastercard couldn't deal with it:
ft.com/content/16bec8…
(via @davidgerard) pic.twitter.com/0wqJE3427D
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Jacob Stanley
@jacobstanley
|
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.
jacobstanley.io/how-to-use-hed…
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Armando Santos
@_bolt12
|
1. velj |
|
I think I polished my laop library enough to publish it! So there you have it: hackage.haskell.org/package/laop-0…
I'll try and give updates on its state and development!
|
||
|
|
||
|
Stephen Diehl
@smdiehl
|
2. velj |
|
Every Yaml parser is a custom Yaml parser. 😱
matrix.yaml.io/valid.html
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Daniel Brice
@fried_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.
|
||
|
|
||
|
Stephen Diehl
@smdiehl
|
2. velj |
|
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.
github.com/achirkin/fastv…
github.com/pierric/neural…
|
||
|
|
||
|
Stephen Diehl
@smdiehl
|
2. velj |
|
Nice stuff. These manual STG modules are non-trivial. This should be in the GHC wiki. 👍
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Csaba Hruska
@csaba_hruska
|
1. velj |
|
For anyone dares to try out:
github.com/csabahruska/ma…
This is quite raw. But I'm working on a better/cleaner solution to make GHC codegen/RTS reusable.
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Tim Sweeney
@TimSweeneyEpic
|
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.
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Austin Huang
@austinvhuang
|
30. sij |
|
Timely post on Jax’s vmap in Haskell by @ezyang. Will have to give these ideas a try in @hasktorch! twitter.com/Jose_A_Alonso/…
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
Tungsteno
@74WTungsteno
|
1. velj |
|
Concepts without words: Integration and Riemann Sums 🟨🟩🟦
bit.ly/2E7iNU3
#math #science #iteachmath #mtbos #visualization pic.twitter.com/xVK85dBXMo
|
||
|
|
||
|
Stephen Diehl
@smdiehl
|
1. velj |
|
Don't apologise ... you created more Haskell jobs and taught a bunch of junior engineers Haskell. Which is way more than most people do.
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
𓅵ふみ
@fumieval
|
1. velj |
|
Haskell pic.twitter.com/yHBLX22jwb
|
||
|
|
||
|
Stephen Diehl
@smdiehl
|
1. velj |
|
Type Equality in LLVM
lowlevelbits.org/type-equality-…
|
||
|
|
||
| Stephen Diehl proslijedio/la je tweet | ||
|
gelisam
@haskell_cat
|
31. sij |
|
Switch to another wire format, surprisingly most of them support algebraic types: gist.github.com/gelisam/13d04a…
|
||
|
|
||