Lennart Augustsson retweeted
Fable 5.1 is looking good... I wonder if I should...
8%
no Taelin
6%
stop Taelin
30%
Taelin, DO NOT
56%
go Taelin
3,100 votes • Final results
80
1
182
23,863
Lennart Augustsson retweeted
💫 February Treat! 💫
Love classic, thoughtful scifi with heart? Now thru Sunday, you can grab a free digital copy of Tales of the Middle Stars, Vol. 1.
Curl up somewhere comfy, grab a warm drink, and enjoy a little journey beyond the ordinary. 💙📖✨
zurl.co/490yJ
1
3
2
237
Lennart Augustsson retweeted
JayHenge is so happy to announce Volume 2 of Masque & Maelström: The Overzealous Reinterment of Edgar Allan Poe!
zurl.co/iAk19
3
2
210
Lennart Augustsson retweeted
Jessica is celebrating her 50th birthday milestone putt-putting along at 3mph down the Llangollen Canal in Wales. Because she can no longer tell where she is in time or space, she wishes to share that sensation with you! Free now and through Tuesday!
zurl.co/eOsc
1
1
4
732
Lennart Augustsson retweeted
JayHenge is happy to announce the release of AI, Robot, an antho of spec-fic stories about AI...and robots! :D This one was a challenge to bring together and we're so proud to see it venture out into the world. Thanks to all the fantastic authors!
zurl.co/7tEF
8
14
4,928
Lennart Augustsson retweeted
“Is Sound Gradual Typing Dead?” github.com/racket/typed-rack…
![$ cat bug.rkt
#lang typed/racket
(define-signature a^ ([x : (Pairof Integer Integer)]))
(define-unit get-x@
(import a^)
(export)
x)
(define v : (Pairof Integer Integer)
(let ()
(define-syntax (x stx)
#'(quote not-an-integer))
(invoke-unit get-x@ (import a^))))
(+ (car v) (cdr v))
$ ./8.7/bin/racket bug.rkt
644225852946515978
$ ./8.7/bin/racket bug.rkt
67765100643092482
$ ./8.7/bin/racket bug.rkt
+: contract violation
expected: number?
given: #<garbage>
context...:
body of "/home/alexis/Downloads/racket/bug.rkt"
$ ./8.7/bin/racket bug.rkt
+: contract violation
expected: number?
given: #<foreign>
context...:
body of "/home/alexis/Downloads/racket/bug.rkt"
$ ./8.7/bin/racket bug.rkt
invalid memory reference. Some debugging context lost
context...:
body of "/home/alexis/Downloads/racket/bug.rkt"](/pic/orig/media%2FFoLEKfsXEAAOS5Q.jpg)
ALT $ cat bug.rkt #lang typed/racket (define-signature a^ ([x : (Pairof Integer Integer)])) (define-unit get-x@ (import a^) (export) x) (define v : (Pairof Integer Integer) (let () (define-syntax (x stx) #'(quote not-an-integer)) (invoke-unit get-x@ (import a^)))) (+ (car v) (cdr v)) $ ./8.7/bin/racket bug.rkt 644225852946515978 $ ./8.7/bin/racket bug.rkt 67765100643092482 $ ./8.7/bin/racket bug.rkt +: contract violation expected: number? given: #<garbage> context...: body of "/home/alexis/Downloads/racket/bug.rkt" $ ./8.7/bin/racket bug.rkt +: contract violation expected: number? given: #<foreign> context...: body of "/home/alexis/Downloads/racket/bug.rkt" $ ./8.7/bin/racket bug.rkt invalid memory reference. Some debugging context lost context...: body of "/home/alexis/Downloads/racket/bug.rkt"
2
3
33
7,963
Lennart Augustsson retweeted
Amazing!
RT @BrunoLevy01: What's that ? It is the *complete* VERILOG source of a fully functional RISC-V processor. Fits on a postcard (and there is even enough room for the stamp !) nitter.net/BrunoLevy01/status/159…
4
87
384
Lennart Augustsson retweeted
An extended and more technical version is now on my blog: patternsinfp.wordpress.com/2…
Richard Bird's obituary is now online on The Guardian's website: theguardian.com/technology/2…
6
23
Lennart Augustsson retweeted
I think this should be an exciting opportunity for PhD students in PL, compilers, verification, and related fields. Please RT!
blog.janestreet.com/research…
20
37
Lennart Augustsson retweeted
Interested in type systems and applied PL research? Jane Street is (still) growing our compilers team. There's a ton of ambitious projects underway, and more to come if we can find more of the right people.
(would love some retweets on this!)
blog.janestreet.com/applied-…
12
91
196
Since @smdiehl does not allow direct replies, I do this.
I'm trying to understand what you're saying "no" to. No, it is not a problem? No, blockchain is not a solution?
No, the fundamental problem "solved" by cryptocurrency is creating predatory get-rich-quick investment bubbles that siphon money from the public to libertarian grifters and alt-right trolls.
2
10
Lennart Augustsson retweeted
I'm delighted that Excel now supports first-class, lexically scoped lambda-expressions. Excel just became a Turing-complete programming language!
microsoft.com/en-us/research…
14
289
906
Lennart Augustsson retweeted
JayHenge is proud to announce the release of our latest anthology! Whigmaleeries and Wives' Tales is now available on Amazon in both Kindle and paperback formats!
(Use the same end number (B08HGL7LNY) to quickly find this in international Amazon stores.)
amazon.com/dp/B08HGL7LNY
3
6
Lennart Augustsson retweeted
I don’t get the “multiple monitors over one high res monitor” people.
They must look at a beautiful, large continuous display and think
“You know what *this* needs? A giant friggin line right down the center in most important part”
32
11
112
Lennart Augustsson retweeted
Idris 2 v0.2.0 has been released. Full details here: idris-lang.org/idris-2-versi…
The signficance of this version is that it's the first released version that can compile itself. Have fun!
51
163