@Augustsson
 iPhone
Joined December 2008
  • Tweets928
  • Following200
  • Followers1.9K
8Media
Lennart Augustsson retweeted
Matti Palli
@tritloOct 19
I have a very intellectually rewarding job, hacking in Haskell on problems directly related to my PhD research i’m painfully aware that this is not the case for most of humanity i’m also realistic enough to know that i will have to continually adapt to new reality. Are you?
wise political commentator (derogatory)@b_n_d_l_eOct 19
the beautiful world we’re building with AI, where no one gets to have an intellectually rewarding job because this guy didn’t
10
16
3
359
446,336
Lennart Augustsson retweeted
Taelin
@VictorTaelinSep 1
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
79
1
2
183
23,920
Lennart Augustsson retweeted
JayHenge Publishing@JayHengePubKBFeb 3
💫 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 Publishing@JayHengePubKBFeb 8
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
JayHenge Publishing@JayHengePubKB7 Jun 2024
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

The Chorochronos Archives

Time travel. The desire to achieve this stems from the human need to KNOW. What really happened that day? What will happen in the future? How can we put a stop to that bad thing, or achieve this good...

amazon.com
1
1
4
732
Indeed.
1,299
112,059
3,621
633,153
26,504,811
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
4
13
4,928
Lennart Augustsson retweeted
Alexis King@lexi_lambda5 Feb 2023
“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"

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
1
33
7,966
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 !) xitter.cf/BrunoLevy01/status/159…
4
87
1
384
Lennart Augustsson retweeted
Jeremy Gibbons@jer_gib6 Jun 2022
An extended and more technical version is now on my blog: patternsinfp.wordpress.com/2…

Richard Bird, 1943-2022

My mentor, colleague, and friend Richard Bird died in April 2022 after a long battle with cancer. I wrote an obituary of him for The Guardian, his favoured newspaper; this post is a hybrid of that …

patternsinfp.wordpress.com
Jeremy Gibbons@jer_gib3 Jun 2022
Richard Bird's obituary is now online on The Guardian's website: theguardian.com/technology/2…

Richard Bird obituary

Other lives: Computer scientist whose polished style led to his being known as the ‘poet laureate of functional programming’

theguardian.com
6
23
Lennart Augustsson retweeted
Yaron (Ron) Minsky
@yminsky23 Mar 2022
I think this should be an exciting opportunity for PhD students in PL, compilers, verification, and related fields. Please RT! blog.janestreet.com/research…

Research internships in our Tools and Compilers group

We are excited to announce research internships in our Tools and Compilers group.

blog.janestreet.com
20
37
Lennart Augustsson retweeted
Yaron (Ron) Minsky
@yminsky19 May 2021
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-…

Do applied programming languages research at Jane Street!

As our Tools & Compilers team has grown, the kinds of projects we work on has become more ambitious. Here are some of the major things we’re currently wo...

blog.janestreet.com
12
91
4
196
Lennart Augustsson retweeted
Simon Peyton Jones@simonpj026 Jan 2021
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…

LAMBDA: Making Excel Turing-complete

Microsoft Excel the programming language is evolving. With the recent release of LAMBDA, users can now define new functions in the program’s formula language. Learn about the capability & its role in...

microsoft.com
14
289
86
905
Lennart Augustsson retweeted
JayHenge Publishing@JayHengePubKB5 Sep 2020
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

Whigmaleeries & Wives' Tales

Superstitions, Legends, Folklore and Old Wives' Tales--where do they come from? How did they get started? What's the "real" reason we throw spilled salt over our shoulder or avoid stepping on a...

amazon.com
3
1
6
This is actually... Not bad. At all.
Moshe Vardi@vardi17 Aug 2020
Programming Languages :-)
11
30
1
167
Lennart Augustsson retweeted
jordwalke
@jordwalke8 Aug 2020
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
5
112
Lennart Augustsson retweeted
Idris Language@idrislang25 May 2020
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!
50
2
163
Lennart Augustsson retweeted
Peter Shankman
@petershankman27 Mar 2020
When the #quarantine is over, I want to buy this man dinner. Who is he? This might be the best thing I've seen in weeks.
1,756
29,125
6,525
84,782
Lennart Augustsson retweeted
Lindsey@lindsey16 Mar 2020
hey, fellow overpaid technologists, if someone comes to clean your house periodically, maybe this month tell them not to come and also make sure they get paid anyway, thx
5
28
204
Lennart Augustsson retweeted
Graham Hutton@haskellhutt30 Dec 2019
Does anyone have 16 followers to lend for a couple of days? Aiming for 2K followers by 2020 ;-) – at Nottingham, England
6
10
29
Load more