 |
Posts by [email protected] |
 |
Post #AvTkyhRW8R1i5cR8IS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Update: so I got a 2019 RadWagon ("the minivan of bikes") with less t… |
|
|
|
Post #AvTkz1DMclaZPVy70q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@steve Thanks! I was already an ebike convert and ride mine all the time, but m… |
|
|
|
Post #AvYEHPhU03Rhrq1HrE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@sainati what the fuck |
|
|
|
Post #AvZNdUEkuHZF3P8uzg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
NICE |
|
|
|
Post #AvZNdUL8WYfhNC80wK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
OK, now that I made the required joke, time to say what this paper is actually … |
|
|
|
Post #AvbbsjNyeacs3TXV2W by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Be advised. |
|
|
|
Post #AvbbsjWU8xQoTrWIIi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Look, *somebody's* gotta do the crafting while @kaflurbaleen is out of town… |
|
|
|
Post #AvchIlqqnpFOA0EykS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Question for the parallel computing folks: I think it's the case that paral… |
|
|
|
Post #AvchIxTXaJjQDBQX56 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pkhuong Thanks! Yeah, my understanding is that if you only have fork-join comp… |
|
|
|
Post #AvlUFmqj5MgBPC4JUm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
whoa, this paper sounds like it's "we did abstract interpretation to f… |
|
|
|
Post #AvlUFwHI1yH8eBZ9eK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@sperbsen Nice! Love the title |
|
|
|
Post #Aw1Nvrk9gncDb2TIiu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
POPL writing workflow:1) write "<thing I want to have be true>, beca… |
|
|
|
Post #Aw8EPqTtJA6YvxExhA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The kind of calendar notification you get when you're married to @alexr |
|
|
|
Post #AwBNApMqeFbeCKjuka by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Proof assistant folks: what's the state of the art these days for extractin… |
|
|
|
Post #AwBNAsJ3inMFJRzQlE by [email protected] |
|
0 likes, 1 repeats |
|
|
|
A bunch of folks are suggesting Lean, so let's see what Lean does for my Pe… |
|
|
|
Post #AwBNAsMbVcC3UReGHo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
(This is -- for now -- leaving aside concerns about the large TCB of the extrac… |
|
|
|
Post #AwByRyHeRpSD4tLYvY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zmagg oh yeah, Kyle is great!! I had no idea you were friends! |
|
|
|
Post #AwBySvHL6dGG30ee8G by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bentnib well, now I want "agda2hs-to-coq" to exist, for no reason ot… |
|
|
|
Post #AwEZWlUHXL4XSWK6z2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Continuing with this "what *is* emulation, anyway?" theme: you might … |
|
|
|
Post #AwEZWouGpAdw3zVPPM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
And then there are emulators that (somehow -- it seems like a monumental engine… |
