Sabitlenmiş Tweet
ghc: smells like uptack in here?
me: what’s uptack?
ghc: not much, wh*** Exception: Prelude.head: empty list
English
Matt Noonan
1.7K posts
Matt Noonan
@BanjoTragedy
Static analysis by day, old-time music by night. Writing compilers to stop the baddies. @[email protected]
Ithaca, NY Katılım Ağustos 2017
288 Takip Edilen332 Takipçiler
@natefoster Hey @satnam6502, Nate finally sourced us some sustainable local upstate NY limes!
English
@DRMacIver Braess's paradox: adding capacity to a road network can make everybody's travel time slower (and removing capacity can make everybody's travel faster).
I like that it doesn't rely on some crazy network pathology. It shows up all the time in real cities. blogs.cornell.edu/info2040/2022/…
English
@krismicinski @satnam6502 Ah, so you and your girlfriend were the ones who finally exhausted upstate NY’s citrus resources? For shame.
English
After exhausting all the other options I find myself back at the no citrus bar, Watershed. This time I ordered a Negroni for an easy life.
English
@satnam6502 Or Bickering Twins for a margarita and a literal underground feel.
English
I'm visiting Ithaca (Cornell University) for a few days and I need a recommendation for a suitable cocktail bar where I can get a decent margarita but also not feel totally out of place in some uber-hipster-den. Which bar is the closest to a stylish New York style speakeasy?
English
@Carnage4Life A close relative of “Wow! This man is super wrong but also a billionaire, so who knows”
English
@pwr2dppl The dot product of v with a unit vector u is the length of the projection of v onto the line through u. So if you visualize v + w as tip-to-tail addition, the length of its shadow on the line through u is the length of v's shadow, plus the length of w's shadow.
English
@kerckhove_ts I’m disappointed at the lack of `deriving Ord` here, for maximum cursedness
English
@yburyug @kerckhove_ts No, it's the people who know a tiny amount signaling to beginners they aren't smart enough. The rest of us are happily writing programs and getting on with life. Unfortunately a beginner can't easily tell when some dipshit wannabe category theorist is just talking out their ass.
English
@kerckhove_ts Isn't Haskell's whole deal the people who know it telling the people who don't they aren't smart enough or are wrong tho? Lol, or atleast that was my experience
English
When Haskell-learners ask "How do I get the String out of the IO String?" they don't know that they don't want the real answer to the question. They want to know that they need to use "<-".
English
The 2020s are really just going to be a nonstop slog of “guess I need to update my priors about the population proportion of bootlickers”, huh?
English
Danielle: “you are not allowed to wear that shirt anymore, I can’t believe you lectured in that shirt”
Me: “what do you mean? I love this shirt”
The shirt:
English
One group of exploited workers is going to unionize? I suspect this will tip the balance so that faculty prefer, at the margin, to hire a different group of exploited workers. I am very smart.
Nicholas A. Christakis@NAChristakis
Graduate students are primarily students and trainees, not ordinary workers. Academia is a calling. I suspect unionization will tip the balance so faculty prefer, at the margin, to hire post-docs to do research in their labs rather than students. yaledailynews.com/blog/2022/10/2…
English
Learning some golang for great good. Send thoughts and prayers.
English
@geofflangdale @johnregehr @AndrewCMyers @mboehme_ When even JavaScript and Python are stumbling their way into type systems, you have to wonder if the advantages are *really* overestimated after all?
English
@johnregehr @AndrewCMyers @mboehme_ To clarify, "overestimates the powers of types systems" should really be "overestimates how easy it will be to create a type system that's powerful but also usable by programmers who aren't type theorists and/or math geniuses".
English
It's time for the research community to move on from C and put the effort into optimizing safer languages that are also better suited to modern hardware.
Ben L. Titzer@TitzerBL
This keeps happening. This protocol was released in 2015. Memory safety? We've tried nothing and are all out of ideas. Shall we take bets on the *last* year that buffer overflows in C cause new CVEs? mouha.be/sha-3-buffer-o…
English
@plt_amy ...unless...
twitter.com/garius/status/…
John Bull@garius
It's Friday. Have some history. So you know Hadrian's Wall? Well for over 1000 years everyone thought it was built by someone else. Until, in 1840, John Hodgson, an unknown Northumbrian clergyman published the LONGEST footnote in history. Read on... /1
English
Someone congratulate me for writing 4 pages without ANY footnotes
... and yeah, I'm only posting this because page 5 has like three footnotes
English
@satnam6502 Isn't throwing *yourself* under the bus part and parcel of being a senior engineer?
English
Senior engineers, don't throw your co-workers under the bus. It's never a good look. Sure, people make mistakes, but almost always mistakes are not due to the sole actions of a single person, but instead the combination of individual actions and decisions and actions of others.
English
@iximeow @thingskatedid This seems like "three novel ideas, a PhD thesis, and several good papers" work right here.
English