jtimdwyer
Re:What are the real numbers, really? (2024)
on Thursday August 14, 2025 @04:34PM (#44905382)
I may be misunderstanding your concern, but I believe this is what is meant by "Categoricity for the real numbers"
Re:Canada investigates whether Tesla helped itself to a subsidy-fueled...
on Monday March 31, 2025 @07:09PM (#43540979)
See, they install that TruCoat at the factory, there's nothin' we can do, but I'll talk to my boss.
Re:OpenAI adds MCP support to Agents SDK
on Wednesday March 26, 2025 @04:54PM (#43487197)
Who does he calculate he is?!?
Re:Ask HN: Who wants to be hired? (March 2025)
on Monday March 03, 2025 @12:27PM (#43244296)
Location: Los Angeles, CA
Remote: Yes
Willing to relocate: Unlikely
Technologies: Python, Postgres, Docker, Linux & AWS are some favorites but I am open minded
Resume: https://timdwyer.net/resume.pdf
Email: [email protected]
LinkedIn: https://www.linkedin.com/in/jtimdwyer/
--
Experienced software engineer with experience at small VC backed companies and one large national corporation. I've mostly worked on backend systems and infrastructure but also lots of web frontend, and more recently done some mobile app development. Open to regular meetings in LA & Denver and occasional travel outside.
Re:IBM Completes Acquisition of HashiCorp
on Thursday February 27, 2025 @11:16PM (#43201633)
I think the previous post is saying a resource removed from a configuration file rather than an invocation explicitly deleting the resource in a command line. Of course if it’s removed from the config file, presumably the lifecycle configuration was as well!
Re:Ask HN: What AI tools changed your work/life?
on Thursday December 05, 2024 @12:39PM (#42330414)
I’m extremely curious to hear more about your experiences with this! Is it a matter of providing working examples to understand the boundaries of different theorems?
Re:The Deceptively Asymmetric Unit Sphere
on Friday November 22, 2024 @02:11PM (#42216559)
To be clear I am not being sarcastic in saying this but the only method I’ve found to work with any consistency is: Try, try again.
Re:Claude Shannon: Mathematician, Engineer, Genius and Juggler?
on Friday November 08, 2024 @10:01AM (#42087336)
In my experience many mathematicians enjoy things like juggling, change ringing etc. make of it what you will I guess.
Re:How the Square Root of 2 Became a Number
on Friday June 21, 2024 @05:41PM (#40754114)
I may be falling into a trap here by answering this, but you might enjoy The Structure of Scientific Revolutions by Thomas Kuhn.
Re:Stack Overflow CEO announces 10% reduction in force (58 employees)
on Wednesday May 10, 2023 @06:48PM (#35894524)
I think it's a reference to this scene.
Re:How can some infinities be bigger than others?
on Wednesday April 19, 2023 @09:41PM (#35635391)
very carefully
Re:2000 Years of Matrix Multiplication
on Saturday February 04, 2023 @11:54AM (#34655878)
If you have not, you may be interested in reading Thomas Kuhn's book -- The Structure of Scientific Revolutions.
Re:Intermediate Algebra
on Monday September 06, 2021 @08:43PM (#28439642)
Two historically trick ones!
Re:Intermediate Algebra
on Monday September 06, 2021 @07:58PM (#28439404)
Now define distance :)