solresol

10 ms·

1.
by solresol 18d ago
The second case mentioned in the article is interesting because no other case about employee choice had gone to merits before. Thus it might be the first example of AI winning a case that sets some kind of precedent. At the very least it sh
2.
AI wins landmark Fair Work Commission case for Macquarie academic(afr.com)
4 points by solresol 1mo ago|0 comments
3.
by solresol 3mo ago
In some fields, all of those statements are true already. In a large number of few fields, all of those statements will be true in the near future (10 years maximum). There's no reason that the Humboldtian model should be the right str
4.
by solresol 7mo ago
I got banned for violating terms of use apparently, but I'm mystified as to what I rule I broke, and appealing just vanishes into the ether.
5.
We're all called Julia, or maybe ChatGPT calls itself Julia(solresol.substack.com)
3 points by solresol 7mo ago|1 comments
6.
by solresol 7mo ago
Has anyone else got examples of reasoning traces where it uses a word in a way that no human being would?
7.
by solresol 7mo ago
I just proved that constraint solving problems can be encoded as p-adic linear regression problems[+], and that therefore we can use machine learning optimisation techniques to get exact answers. So of course no journal or conference is in
8.
by solresol 8mo ago
Stephanos of Byzantium wrote what we would call an encyclopedia of people and places. Most of it has been lost, but shortened versions still exist. I've set up a bot to scan a version of what we have, translate it, extract out the prop
9.
by solresol 9mo ago
I create a separate Linux user (which doesn't have sudo rights) for each project. I have to log each user in to Claude code or codex, but then I can use ordinary Unix permissions to keep the bots under control and isolated.
10.
by solresol 10mo ago
> The volume of cargo carried by sailing vessels in the old days was orders of magnitude lower. Surprisingly, no, it wasn't. I'll slightly fudge the numbers and talk in terms of proportion of world trade that was carried by oce
11.
It's 2025 – Narrative Learning is the new baseline to beat for explainable ML(arxiv.org)
1 points by solresol 11mo ago|0 comments
12.
by solresol 11mo ago
Writing a course for a customer on how to use Claude Code well, especially around brownfield development (working on existing code bases, not so much around vibe-coding something new).
13.
by solresol 1y ago
If the "outcompeting" is possible because of Chinese government subsidies, then it's important to protect local industry from unfair competition. It's similar to the logic behind anti-trust actions against monopolists. I
14.
by solresol 1y ago
Indeed. The obvious counter-example to the claim is "rainbows" which were definitely the topic of heated scientific argument for hundreds of years (and non-scientific ones before that).
15.
by solresol 1y ago
I think of it as trying to encourage the LLM to want to give answers from a particular part of the phase space. You can do it by fine tuning it to be more likely to return values from there, or you can prompt it to get into that part of the
16.
Elder care and AI agents via accounting and software development(solresol.substack.com)
1 points by solresol 1y ago|0 comments
17.
by solresol 1y ago
I have been wrestling with this too. I only see two options: no tech university or AI wrangling university. https://solresol.substack.com/p/you-can-no-longer-set-an-und...
18.
by solresol 1y ago
A beautiful implementation of the most exotic sorting algorithm I'm going to teach this semester: https://bead-sort.arithmetic.guru/ Oh, and also a PhD on p-adic machine learning, but no one will remember that.
19.
The answer to the million dollar question is 2031(solresol.substack.com)
2 points by solresol 1y ago|0 comments
20.
by solresol 1y ago
I'm not sure what's wrong with me, but I just wasted several hours wrestling codex to make it behave. Here's my workflow that keeps failing: - it writes some code. It looks good a first glance - I push it to github - automate
21.
by solresol 1y ago
Trying to measure how well LLMs can make scientific hypotheses, and more generally, execute on the scientific process (as part of a pivot in my PhD).
22.
by solresol 1y ago
At the time when they need to be making connections and needing patronage you want PhD students to be showing up integrity and honesty problems and asking awkward questions about the powerful people in the community? Of course that's w
23.
by solresol 1y ago
It seems to be the season for scraping SEC filing archives and running them through AI bots to extract information. I made this: https://boards.industrial-linguistics.com/ It only looks at information about directors on com
24.
by solresol 2y ago
(Australia) I received my notice from the land valuer general yesterday (for unimproved land value). Looking at building costs for my area and what other houses are going for in the street, the valuation looks spot-on.
25.
by solresol 2y ago
I tried... it started with the idea was that log loss might not be the best option for training, and maybe it should be a loss related to how wrong the predicted word was. Predicting "dog" instead of "cat" should be less
26.
by solresol 2y ago
When I last looked up the literature, Keto diet was one of the least effective interventions. That is, if you follow it, I'm sure it works. But the vast majority of people drop out of keto diets very quickly. So it's lousy advice
27.
Maybe ChatGPT has some pre-frontal cortex problems(solresol.substack.com)
19 points by solresol 2y ago|8 comments
28.
by solresol 2y ago
I administered the CDT to ChatGPT and got Claude to diagnose what was wrong with the "patient" based on the results. There are signs of pre-frontal cortex damage or early stage dementia.
29.
by solresol 2y ago
Writing up a paper for my PhD on machine learning with non-Euclidean loss functions. Taking over the affairs of one of my elderly relatives now that she can't manage by herself. A project with a medical insurer for adjudicating insuran
30.
by solresol 2y ago
I wrote about this phenomenon 4 years ago: https://blog.ifost.org.au/2020/09/something-funny-is-about-t...

More ›