Tootfinder

"Code is, ultimately, characters on a screen, and software engineers do nothing but hammer that code into shapes that spark Joy and Money. The fear and dread comes from a culture where people feel bad that they can't work quickly enough in the terrible codebase, where they feel judged for slowing down to hammer the code into better shapes that sadly aren't on the Jira board, and where management looks down on people who practice craftsmanship."
-- Ludicity

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

[ May 30, 2025 - June 7, 2025] Conference or similar: BACK to the THINGS THEMSELVES! 2025 https://philevents.org/event/show/123722

BACK to the THINGS THEMSELVES! 2025
Back to the Things Themselves! (BTTTT!) is an annual attempt to put aside the more conventional scholarly practice of textual exegesis and critique, and return to the lived world to divine the essential structures of experience through careful phenomenological description. In short, BTTTT!‘s main aim is to “do phenomenology”—that is, to generate original descriptions of phenomena in the lifeworld.  BTTTT! is part of the Society for Existential and Phenomenological Theory and Cultu…

Call for Papers: “Understanding the Intersection”: Rhetoric, Race, and Religion https://relcfp.com/2024/12/12/understanding-rhetoric-race-religion/

Call for Papers: “Understanding the Intersection”: Rhetoric, Race, and Religion
The Center for the Study of Rhetoric, Race, and Religion is excited to announce a call for submissions for its upcoming virtual conference on March 13-14, 2025. This interdisciplinary conference aims to delve into the intricate interplay between rhetoric, race, and religion, focusing on both historical and contemporary contexts. We seek thought-provoking papers investigating how these three critical domains converge, exert influence, and collectively shape social, cultural, and political landsc…