@PLMinusContext

All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic

Joined December 2018
  • Tweets72
  • Following0
  • Followers2K
56Media
PL Papers Minus Context retweeted
emil@EmilTheBonobo10 Nov 2022
Replying to @PLMinusContext
@PLMinusContext
Even soundness became expendable to some extent. This sounds horrific, but

ALT Even soundness became expendable to some extent. This sounds horrific, but

1
3
24
(credit: @Twisol)
"tempting to use the same code for computing the derivative. From the perspective of parsing, this has two chief drawbacks: 1. It doesn't work."

ALT "tempting to use the same code for computing the derivative. From the perspective of parsing, this has two chief drawbacks: 1. It doesn't work."

1
38
245
"different worlds can be viewed as different machines. Unfortunately, this led to difficulties in shipping"

ALT "different worlds can be viewed as different machines. Unfortunately, this led to difficulties in shipping"

3
29
"due to its lavish use of squiggly notation,"

ALT "due to its lavish use of squiggly notation,"

12
78
(credit: @hackedy)
"We choose to use a second, slightly more convoluted solution,"

ALT "We choose to use a second, slightly more convoluted solution,"

1
7
35
(credit: @Twisol)
"these models bear roughly the same relationship to reality as, for example, the postulate of frictionless surfaces does to reality in physics."

ALT "these models bear roughly the same relationship to reality as, for example, the postulate of frictionless surfaces does to reality in physics."

6
1
28
"sites i \in TI \subseteq I that have become *trusted* forever and *immortal*, so they can no longer be suspected"

ALT "sites i \in TI \subseteq I that have become *trusted* forever and *immortal*, so they can no longer be suspected"

1
1
1
22
(credit: @lysxia)
"Imagine a functional programmer gets stranded on a desert island on their way to ICFP’04. There, after much thought,"

ALT "Imagine a functional programmer gets stranded on a desert island on their way to ICFP’04. There, after much thought,"

3
45
"quickly degenerate into a nightmare of pointer manipulation"

ALT "quickly degenerate into a nightmare of pointer manipulation"

1
10
3
64
PL Papers Minus Context retweeted
Alexis King@lexi_lambda10 Jul 2022
Replying to @PLMinusContext
@PLMinusContext
7. Performance and complexity The implementation is brief. The code is pure. The theory is elegant. So, how does this perform in practice? In brief, it is awful.

ALT 7. Performance and complexity The implementation is brief. The code is pure. The theory is elegant. So, how does this perform in practice? In brief, it is awful.

8
55
368
PL Papers Minus Context retweeted
Rob Rix‎@rob_rix4 Apr 2022
Replying to @PLMinusContext
@PLMinusContext how's about this one? (I was going to cite the paper in question but it seems wrong somehow to provide context to this account.)
text from a paper's abstract reading "(even in the guise of the abhorred goto)."

ALT text from a paper's abstract reading "(even in the guise of the abhorred goto)."

1
1
8
(credit: @TaliaRinger via a student)
"Demonstrations of interactive theorem provers necessarily involve deception."

ALT "Demonstrations of interactive theorem provers necessarily involve deception."

6
1
57
(credit: @noop_noob)
An inference rule with "stupid warning" as one of the premises.

ALT An inference rule with "stupid warning" as one of the premises.

1
7
2
53
"'real code' that performs actual file system operations"

ALT "'real code' that performs actual file system operations"

1
6
40
"6.5 Generating Disks of Death"

ALT "6.5 Generating Disks of Death"

2
21
PL Papers Minus Context retweeted
Dani ✨🐚@starsandspirals1 Mar 2022
sadly not quite in the right area for @PLMinusContext but definitely has the right vibe
3
7
38
"are the theorems that we prove actually true? And if they are, how"

ALT "are the theorems that we prove actually true? And if they are, how"

13
1
76
"it is straightforward to support C/C++11's non-atomics, with 'catch-fire' semantics"

ALT "it is straightforward to support C/C++11's non-atomics, with 'catch-fire' semantics"

7
41
"Program verification is unusable."

ALT "Program verification is unusable."

2
9
54
"real-world, 'bug-free' distributed systems"

ALT "real-world, 'bug-free' distributed systems"

6
60
Load more