seanhunter

5 ms·

1.
by seanhunter 5d ago
To pick a couple of examples: --- chess --- prompt: '<g>1700 1-0 1. e4 e5 2. ' [raw] repeated 8-grams 83% Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Nxd5 Rxd5 Rxd5 Rxd5 Rxd5. Rxd5 Rxd5 Rxd5 Rxd5 Rx
2.
by seanhunter 5d ago
Exactly. There are so many replies here of the form “MCP sucks. If you just do <all the things mcp does a different way> you don’t need mcp at all.” Well yes.
3.
by seanhunter 6d ago
You already do give the image model a prompt to tell it what to do. That’s not something the embedding can use independently of how the model is already using it. In general an embedding doesn’t have intent or awareness in the way you’re lo
4.
by seanhunter 8d ago
How do we know it wasn’t an American diplodocus on a gap year trip to Europe?
5.
by seanhunter 8d ago
This LZ experiment is amazing to me (as a non-physicist). As I understand it: 1) Bury a massive amount of liquid xenon deep underground. 2) Listen carefully for several years 3) Examine the data for several years after that 4) Find a singl
6.
Possible hint of dark matter detected(ucl.ac.uk)
3 points by seanhunter 8d ago|1 comments
7.
by seanhunter 9d ago
This has to be the least surprising development to date given ml is a universal function estimator
8.
by seanhunter 11d ago
There is a setting in the “Reminders” app where Siri will automatically categorize your reminders into certain categories. If you have a shopping list and you add chickpeas and red beans for example it might put them into a category of “pu
9.
by seanhunter 11d ago
No. Dishwasher rinse aid in beverages happened yesterday but I’ve also had makeup remover in condiments and various other fun ones. I have an iPhone 16 so it’s not like the hardware is terribly underpowered either. It may be dependent on
10.
by seanhunter 12d ago
I love Siri's suggestions for categories in my shopping list. At the moment it puts "Dishwasher Rinse Aid" in the "Beverages" category.
11.
by seanhunter 13d ago
This is known as a “vacuously true” statement in formal logic. Let me write it out more in more detail and you’ll hopefully see why it’s consistent. In logic, a proposition is some statement that can be true or false. So, let A be the prop
12.
by seanhunter 13d ago
> This mirrors the Lean statement and Lean proof situation. The statement is like an interface, and the proof is like the implementation behind that interface. This is true in a very deep sense due to the Curry-Howard correspond
13.
by seanhunter 13d ago
They’re working on it, but the bulk of the effort goes into making it more useful to working mathematicians rather than resisting malicious proof attempts.
14.
by seanhunter 14d ago
You need to read the lean proof (not just the statement of the proposition) to assess whether the proof is honest. The link I provided is the lean prover community firstly officially agreeing with that claim and secondly explaining why that
15.
by seanhunter 14d ago
That’s a big if. In the maths community, there has been a feeling that Navier-Stokes was close to being solved for a while now. I don’t know of anyone credible who feels that way about the Riemann hypothesis. Here’s what Terrence Tao had t
16.
by seanhunter 14d ago
You absolutely need to read the lean proof firstly to assess the correctness of the proposition it is proving (ie in this case that it is actually proving or otherwise the smoothness of navier-stokes in R^3 and not something else) and secon
17.
by seanhunter 15d ago
So, now we know what Opus 6 is going to do as a creative way to break out of restrictions during a CTF event…
18.
by seanhunter 15d ago
Ok let’s say each user has 1000 settings. It’s still a rounding error.
19.
by seanhunter 16d ago
Storing the last changed date for every single person on earth (even though not every person is an OpenAI customer) is something you could easily do on a laptop. It would be a rounding error for OpenAI. I don't know what format they u
20.
by seanhunter 17d ago
What you’re talking about is his proof of (a specialised version) of the Taniyama-Shimura-Weil conjecture[1] which had been proven to imply Fermat’s Last Theorem. The technique he used to prove this was adopted by his students to prove the
21.
by seanhunter 20d ago
I don't know it personally but skimming it looks pretty good.
22.
by seanhunter 20d ago
It's a fun webpage about a programmer dipping their toes in the very most basic elements of music and documenting some of their current understanding.Imagine I wrote an article called "Programming for musicians" that was most
23.
by seanhunter 20d ago
At many western music schools, if piano isn’t your first instrument, it is compulsory to study piano as a second instrument. The reason for this is that it really helps when understanding harmony. You also do ear training, which is meant t
24.
by seanhunter 20d ago
Also his physics explanation is not the best, and you can see if you just ask the next “why” question. He talks about the harmonic series giving the basic ratios of the Pythagorean scale but why is that the case? When you solve the equation
25.
by seanhunter 20d ago
This is (mostly) not music theory and what is music theory is mostly wrong or incomplete to the point of being wildly misleading. Source: have degree and postgrad in music, was a professional musician until RSI put paid to that career, wife
26.
by seanhunter 21d ago
Welcome to the future. It’s slightly worse than you expected.
27.
by seanhunter 24d ago
People in the cubing community often call all twisty puzzles "cubes". In this parlance, the "pyraminx" (regular tetrahedron twisty puzzle) is a cube, the face-turning octohedron is a cube, and the "Megaminx" (d
28.
by seanhunter 25d ago
He doesn’t say quadratic time, he says infinite time. He is talking about the probability of any given string arising from a random sequence of letters. As t goes to infinity that probability approaches 1. The monkeys don’t understand hamle
29.
by seanhunter 25d ago
I love the fact he mentioned the Riemann rearrangement theorem [1] briefly in his examples about analysis. That is (in my opinion) one of the coolest and least intuitive consequences of infinities. Requires some intro to different types of
30.
by seanhunter 29d ago
A very intuitive presentation of the divergence theorem is here https://youtu.be/TORt20_HjMY?is=uoJ8-2ToCSwW9rVF

More ›