HNHacker News
TopNewBestAskShowJobs

doormatt

175 karma · joined November 27, 2012

I do stuff with computers.

Launched AWS Step Functions.

submissionscomments
doormatt··on The forgotten meaning of "jerk"
Hell, most people are in a different book.
doormatt··on Pointer Pointer
This is amazing!
doormatt··on Show HN: Student attempt at proving P ≠ NP using geometry and lattices
Thanks so much for being so open and willing to discuss this!

Just to be clear though, if that lemma isn’t yet explicitly proven, then the core claim (that Algphys cannot simulate certain NP-complete solutions in polynomial time) has not been established. I agree the components may suggest difficulty in high-rigidity regions, but unless you formally prove that no polynomial-time Turing machine’s trajectory enters those regions, the P != NP conclusion doesn’t follow.

doormatt··on Show HN: Student attempt at proving P ≠ NP using geometry and lattices
You mention that Algphys can simulate any polynomial-time Turing algorithm with preserved complexity, but in your construction, the dynamics of Algphys are governed by physical properties: gradient norms, Hessian spectra, rigidity, etc. How do you guarantee that these geometric constraints don’t impose an exponential slowdown on some Turing algorithms that would otherwise run in polynomial time? Specifically, where do you prove that no such algorithm is mapped into a high-rigidity trajectory with exponential execution time?
doormatt··on Show HN: Student attempt at proving P ≠ NP using geometry and lattices
Thanks for the reply! Just to clarify, your proof is relying on the assumption that if an algorithm can be modeled in Algphys, then its execution time in Algphys reflects its true time complexity, right? But can you point to where you prove that modeling a polynomial-time Turing machine in Algphys necessarily results in a polynomial-time trajectory in your framework, across all problem instances? Specifically, how do you rule out the possibility that the mapping itself introduces exponential distortion in some cases?
doormatt··on Show HN: Student attempt at proving P ≠ NP using geometry and lattices
Just to clarify, how exactly does proving exponential lower bounds for Algphys translate into a proof that no polynomial time algorithm exists for NP-complete problems in the standard Turing model?

Isn’t it possible that your "hard" instances could be solvable in polynomial time by some algorithm that doesn’t rely on geometric modeling or Hamiltonian dynamics?

How do you justify that every polynomial-time Turing machine algorithm can be modeled as a trajectory in your Hamiltonian system?

doormatt··on 3D Line Drawings
I hate to "take you on", but I don't get it...
doormatt··on Hyrum's Law
We ran into this at SNS (AWS) all the time.
doormatt··on My 2.5 year old laptop can write Space Invaders in JavaScript now (GLM-4.5 Air)
runpod.io
doormatt··on Making Explainable Minesweeper
Bombe is easily one of my favorite games ever. 240+ hours of gameplay so far.
doormatt··on The 'ChatGPT Moment' in Robotics and Beyond
The whole thing reads like it's been written by an AI.
doormatt··on Student discovers fungus predicted by Albert Hoffman
> The researchers prepared a DNA sample and sent it away for genome sequencing, funded by a WVU Davis College Student Enhancement Grant obtained by Hazel. The sequencing confirmed the discovery of a new species and the sequence is now deposited in a gene bank with her name on it.

> “Sequencing a genome is a significant thing,” Panaccione said. “It’s amazing for a student.”

Question - how is it significant, considering they sent it off to another company to do the sequencing?

doormatt··on Protecting NATS and the integrity of open source
This is a month old, just FYI.
doormatt··on Show HN: Add 'unlock' to booking URL to auto-compare the same hotel across sites
So which domains does this work for?

Because it doesn't work with:

https://hotels.com/

https://trivago.ca/

https://www.ca.kayak.com/

http://agoda.com/

https://www.tripadvisor.ca/

doormatt··on Why Can't We Be Honest About the Rise of Mental Disorders as Consumer Products?
>We are told, with great aggression, that there’s nothing wrong with ADHD or autism, that having those conditions is not in any sense a negative but instead simply a different way of being; however,

As someone who has ADHD and is austistic, they're lying to you. Are there advantages (sometimes) to having these? Yes.

Is it always positive? Oh hell no.

doormatt··on Middle-aged man trading cards go viral in rural Japan town
Thank you! I knew it reminded me of something!
doormatt··on Goblin.tools: simple, single-task tools to help neurodivergent people with tasks
Vyvanse here. Very "soft" compared to other ADHD meds.
doormatt··on ESP32 WiFi Superstitions
I think they're claiming that it won't roam between APs with identical SSIDs.
doormatt··on A brain-eating amoeba preyed on a 6-year-old. That was just the beginning
That was a phenomenal read!
doormatt··on Show HN: I'm 6 months late, but I made a Natural Language theorem prover
Your OpenAI Key is still visible in the commit history.
doormatt··on YouTube, when the walls fell [video]
Nebula, its arms open.
doormatt··on Athena spacecraft declared dead after toppling over on moon
Surely it just needs to be 6 times lower? ;)
doormatt··on Sublinear Time Algorithms
That makes sense, thanks for explaining!
doormatt··on Sublinear Time Algorithms
So like HyperLogLog?
doormatt··on Partiful's Response to the Apple Invites App
Are they seriously that naive?
doormatt··on Turn any bicycle electric
>Asphalt concrete (commonly called asphalt, blacktop, or pavement in North America, and tarmac or bitumen macadam in the United Kingdom and the Republic of Ireland)

https://en.wikipedia.org/wiki/Asphalt_concrete

doormatt··on Hands-on Assignment – Therac-25 (2007)
http://web.mit.edu/6.033/2007/wwwdocs/assignments/handson-li...

>I fully recognize that there are dangers and risks to which I may be exposed by participating in Reproduction of Therac-25 accidents . The following is a description and/or examples of significant dangers and risks associated with this activity Acute gullibility, Failure to understand April Fool's jokes, Night terrors associated with medical radiation machines .

doormatt··on Show HN: Compile C to Not Gates
You sir, are amazing. Thank you for being so utterly transparent.
doormatt··on Ropey – A UTF8 text rope for manipulating and editing large text
Why do you assume sarcasm? I thought the readme was unsarcastically excellent as well.
doormatt··on First Color EPaper Art Poster
I don't really argue - it just seems like hyperbole itself.

Also, whatever is listening for updates has to be constantly active.

← PreviousPage 2 of 4Next →