xtal_freq
Re:Terence Tao: At the Erdos problem website, AI assistance now becomi...
on Monday November 24, 2025 @04:02AM (#46031863)
I wonder what the ultrafinist argument against theorems about the natural numbers as defined in Coq would be.
Re:Ask HN: Who wants to be hired? (October 2025)
on Friday October 03, 2025 @09:11AM (#45462601)
Location: London, UK
Remote: Yes
Willing to relocate: Yes
Technologies: C++, Linux
Resume: jtag.bearblog.dev/resume
Email: [email protected]
Hi. I'm a recent Computer Engineering graduate looking for my first role.
Re:A non-anthropomorphized view of LLMs
on Monday July 07, 2025 @04:25AM (#44487960)
Not that this is your main point, but I find this take representative, “do you believe there's anything about humans that exists outside the mathematical laws of physics?”There are things “about humans”, or at least things that our words denote, that are outside physic’s explanatory scope. For example, the experience of the colour red cannot be known, as an experience, by a person who only sees black and white. This is the case no matter what empirical propositions, or explanatory system, they understand.
Re:Ask HN: Who wants to be hired? (March 2025)
on Monday March 03, 2025 @02:05PM (#43245438)
Location: London, UK (Currently living in Waterloo, Canada)
Remote: Yes
Willing to relocate: Yes
Technologies: C, C++, Python, Linux
Résumé/CV: jtagrgh.github.io/resume.pdf
Email: [email protected]
Hi. I'm soon to be a new grad with internship experience writing and debugging C++ for embedded and desktop software. I would like to work in London, UK starting this fall, and I currently hold a Youth Mobility Visa. I am personable and always curious.
Re:Ask HN: Who wants to be hired? (January 2025)
on Saturday January 04, 2025 @10:54AM (#42595453)
Location: Toronto/Montreal Canada, Any US, Any EU, Any UK
Remote: Any
Willing to relocate: Yes
Technologies: C++, Qt, GNU Linux, Python, Pandas, SKLearn, Swift, SwiftUI
Résumé/CV: https://jtagrgh.github.io/resume.pdf
Email: [email protected]
I’m soon to be a new graduate from Canada. I have roughly 1.5 years of internship experience as a software developer with C++ and Python. I’m personable and enjoy collaborating. I’m looking for a big change and so I’m happy to move to any of my listed countries. I currently have a UK Student Visa.
Re:The GJK Algorithm: A weird and beautiful way to do a simple thing
on Friday June 14, 2024 @01:04AM (#40677628)
Huh I’m not too far familiar with vectors. How do we know that R dot (-p) > 0 always
Re:The GJK Algorithm: A weird and beautiful way to do a simple thing
on Thursday June 13, 2024 @02:30PM (#40672966)
How do you get a vector that's perpendicular to the line formed by p and S(-p) and in the direction of the origin?