calhoun137

6 ms·

1.
Detecting Hallucinations in LLM with Cohomology(mathinspector.com)
2 points by calhoun137 8mo ago|0 comments
2.
by calhoun137 8mo ago
You can find the live demo here: https://base-1-srrnmbhh3rkmnk8ygcxhvb.streamlit.app/ It seems that waking up the demo from the iframe doesn't always work, but directly visiting the embed url can wake it up. By the way
3.
by calhoun137 8mo ago
OP here. this has been a valuable learning experience for me. i was so excited to share what i was working on and i blew it. i will rewrite the blog post and readme later. let me at least briefly explain what i did as a reply to your commen
4.
by calhoun137 8mo ago
OP here, you completely caught me. I used ai to generate that blog post and lightly edited it. lesson learned! moving forward i will type up from scratch any blog post i post on here. sorry about that. there is more to this post than just a
5.
by calhoun137 8mo ago
My experience leads to the same conclusion that the models are very good at math reasoning, but you have to really know what you are doing and be aware of the blatant lies that result from poorly phrased queries. I recently prompted Gemini
6.
by calhoun137 8mo ago
> Does replacing that lengthy text with "if you aren't sure of the answer say you don't know" have the same exact effect? i believe it makes a substantial difference. the reason is that a short query contains a small
7.
Show HN: Base-1 - A laboratory for computational numerical experiments(github.com)
2 points by calhoun137 8mo ago|0 comments
8.
Visualizing the Collatz Conjecture as a Phase Transition(mathinspector.com)
9 points by calhoun137 8mo ago|7 comments
9.
by calhoun137 2y ago
OP here, I just am getting back into my open source work and decided to write up all the scripts for my new video's in LaTex. You can find a video version of this paper on my channel here: https://www.youtube.com/watch
10.
The Complete Classification of Boolean Expressions [pdf](mathinspector.com)
2 points by calhoun137 2y ago|1 comments
11.
by calhoun137 3y ago
my understandinf is that conservation of momentum does not mean momentum is conserved as time passes. it means if you have a (closed) system in a certain configuration (not in an external field) and compute the total momentum, the result i
12.
by calhoun137 3y ago
The key point is that energy, momentum, and angular momentum are additive constants of the motion, and this additivity is a very important property that ultimately derives from the geometry of the space-time in which the motion takes place.
13.
by calhoun137 3y ago
Very nice article! I recently had a long chat with chatgpt on this topic, although from a slightly different perspective. A neural network is a type of machine that solves non linear optimization problems, and the principle of least action
14.
by calhoun137 3y ago
I don't see any evidence here for "self awareness", among other things, ChatGPT is simultaneously answering a very very large number of queries, and the underlying hardware is just a bunch of servers in the cloud. Furthermor
15.
by calhoun137 5y ago
This is so awesome! I have wanted to make something like this for like 20 years, this is much better than anything I made though. Great work
16.
by calhoun137 5y ago
I stand corrected. You make a good point.
17.
by calhoun137 5y ago
This is an excellent point! Thank you for pointing that out +1
18.
by calhoun137 5y ago
Since there is no way to 100% fingerprint a device, therefore there is no way to uniquely identify anyone with 100% confidence using pure fingerprinting techniques. My view is that fingerprinting is a set of tools which can be used for &quo
19.
by calhoun137 5y ago
+1 just because fingerprinting with WebGL has practical applications and legitimate use cases, this does not mean it's not fingerprinting
20.
by calhoun137 5y ago
Thats true! But thats sort of like saying there was an accident on the highway because 2 cars crashed. There are lots of ways a configuration change could disrupt service, all I am getting at in my previous comment was having even more tr
21.
by calhoun137 5y ago
This must be a configuration update that went wrong. I am sure of this because thats always the PR angle. Does anyone know what is really going on here?
22.
by calhoun137 6y ago
Since these vaccines got emergency use authorization, that means they did not follow the standard procedure for clinical trials. Therefore, precautionary measures which respond dynamically to trends detected in newly available data, is the
23.
by calhoun137 6y ago
> Doesn't even a week's delay in vaccinating predictably increase the number of deaths in a country One of the many unknowns about these vaccines is the length of time they give immunity, this can only be determined with confid
24.
by calhoun137 6y ago
I think the reason mathematicians use single letter variables is because mathematics is about the way that people think about patterns, understand patterns, and the relationship between them. Therefore the letter is used to help our brain
25.
by calhoun137 6y ago
> take the average Joe so much beyond what even Gauss, Newtown, Grothendieck or Archimedes had at their disposal I think this comment really sums up very well what is at the core of our discussion: the future of mathematics and science.
26.
by calhoun137 6y ago
Thank you!!! It's so funny that you mentioned "scriptable notebooks like Jupyter or Mathematica" since I have been spending all of my time on mathinspector recently. I think our points of view are actually very strongly alig
27.
by calhoun137 6y ago
> I expect that mathematics will be rewritten to suit computing, rather than vice versa I agree with this. I believe pure mathematics is suffering greatly because many mathematicians refuse to fully embrace the computational power of mo
28.
by calhoun137 6y ago
> I've kind of given up on expecting an epiphany from this stuff that's applicable coding in a way that significantly changes my practice Same. It makes me kind of sad that pure math is not more helpful here! I think its poss
29.
by calhoun137 6y ago
+1 for the request for a rephrasing. When Faraday was asked about what the practical use of his discovery of electromagnetic induction was, he famously replied, "what is the use of a newborn baby?" Which is how I read the OP
30.
by calhoun137 6y ago
> None of Zuse, Babbage, Torres y Quevedo, Ludgate, Dickinson, Desch, Atanasoff–Berry, Mauchly / Eckert, nor many of the other pioneers of computing came via Hilbert and FOM problems I don't think this is a fair comparison. Th

More ›