Hacker Newsnew | past | comments | ask | show | jobs | submit | jtimdwyer's commentslogin

I may be misunderstanding your concern, but I believe this is what is meant by "Categoricity for the real numbers"


See, they install that TruCoat at the factory, there's nothin' we can do, but I'll talk to my boss.


Who does he calculate he is?!?


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: jtimdwyer@me.com

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.


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!


Yeah, that's a legit challenge that it would be great if there was a better built-in solution for (I'm fairly sure you can protect against it with policy as code via Sentinel or OPA, but now you're having to maintain a list of protected resources too).

That said the failure mode is also a bit more than "a badly reviewed PR". It's:

* reviewing and approving a PR that is removing a resource * approving a run that explicitly states how many resources are going to be destroyed, and lists them * (or having your runs auto approve)

I've long theorised the actual problem here is that in 99% of cases everything is fine, and so people develop a form of review fatigue and muscle memory for approving things without actually reviewing them critically.


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?


I would say, how it has helped me is :

My prof's teaching is not that good, he skips several things (not basic) while teaching & when I refer textbook, I don't get it.

Theorem consists of several statements, conditions, and understanding of those things where & why they are required, what happens without those conditions?

To understand theorems, I never asked it for providing examples. But I asked it to prove some difficult exercises from textbook and it was able to do it. In my experience, all this improves my learning.

Also sometimes for problem solving, I want to know, what are different techniques to solve that problem. And it does very good job.

I've never asked it to do basic additions or calculation, because I have heard from others, it does calculation wrong.

Some times it couldn't answer average question. But for my use case, I find it extremely beneficial.


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.


I find this is what works for me. I seem to be quite a nonlinear learner. I struggle with the methodical x leads to y leads to z approach.

I tend to try and take on the whole thing and not really understand it then repeat the process (often from different sources) after a while I just seem to understand more and more


In my experience many mathematicians enjoy things like juggling, change ringing etc. make of it what you will I guess.


I may be falling into a trap here by answering this, but you might enjoy The Structure of Scientific Revolutions by Thomas Kuhn.


I think it's a reference to this scene.

https://www.youtube.com/watch?v=fN-VAdAnoZ4


Yep, that's the one.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: