joshuaisaact

5 ms·

1.
by joshuaisaact 6mo ago
This was a really interesting paper but there's a massive gap in what they didn't try, which is inference-time temperature changes based on the fork/lock distinction. Maybe I'll try that myself, because it feels like it
2.
by joshuaisaact 7mo ago
ASML is European and is arguably the most strategically important company in the entire semiconductor supply chain.
3.
by joshuaisaact 7mo ago
Have you heard of a little company called Arm Holdings? It was a travesty that the UK government let it be sold, admittedly.
4.
I proved my AI agent can't skip the approval step (196 states, zero bypasses)(joshtuddenham.dev)
1 points by joshuaisaact 7mo ago|1 comments
5.
by joshuaisaact 7mo ago
I've been exploring Petri nets as a formalism for AI agent safety, specifically, proving properties like termination and human-gate enforcement exhaustively across every reachable state, rather than testing them on sample inputs. This
6.
by joshuaisaact 8mo ago
I don't think you need two separate models for this - I get similarly good results re-prompting with Claude. Well, not re-prompting, I just have a skill that wipes the context then gets Claude to review the current PR and make improvem
7.
You're Building Petri Nets. You're Just Building Them Badly(joshtuddenham.dev)
2 points by joshuaisaact 8mo ago|1 comments
8.
Show HN: FizzBuzz Enterprise Edition 2026. AI-powered divisibility detection(github.com)
2 points by joshuaisaact 8mo ago|0 comments
9.
by joshuaisaact 8mo ago
Couldn't disagree with this article more. I think the future of software engineering is more T-shaped. Look at the 'Product Engineer' roles we are seeing spreading in forward-thinking startups and scaleups. That's the fu
10.
by joshuaisaact 8mo ago
Fair push back. The distinction I'm drawing is between: A. Using a role prompt to configure a single function's scope ("you are a code reviewer, focus on X") - totally reasonable, leverages training B. Building an elabor
11.
by joshuaisaact 8mo ago
Fair point on the date - the paper was updated October 2024 with Llama-3 and Qwen2.5 (up to 72B), same findings. The v1 to v3 revision is interesting. They initially found personas helped, then reversed their conclusion after expanding to m
12.
by joshuaisaact 8mo ago
This has been pretty comprehensively disproven: https://arxiv.org/abs/2311.10054 Key findings: -Tested 162 personas across 6 types of interpersonal relationships and 8 domains of expertise, with 4 LLM families and 2,41
13.
by joshuaisaact 8mo ago
This feels like massively overengineering something very simple. Agents are stateless functions with a limited heap (context window) that degrades in quality as it fills. Once you see it that way, the whole swarm paradigm is just function s
14.
by joshuaisaact 8mo ago
Fair. I'll retire 'bringing people along with you' before it ends up on a motivational poster with a stock photo of a rowing team. Though you're right that there's no I in team. There is one in AI though, which prob
15.
Speed Vertigo: A New Kind of Engineering Debt(joshtuddenham.dev)
1 points by joshuaisaact 8mo ago|0 comments
16.
by joshuaisaact 8mo ago
This is a brilliant library, thanks so much for sharing it
17.
by joshuaisaact 8mo ago
I may have misread your comment, but I don't think soft skills are a 'narrow thing' at all. Effective communication, building trust, bringing people along with you - these are fundamental to being an effective human, not some
18.
by joshuaisaact 8mo ago
This couldn't ring more true to me - I think one of the consequences of the rapid change in the profession we are seeing is that skills that typically were required only at more senior levels become required further down the stack. If
19.
by joshuaisaact 9mo ago
I notice one of the things you don't really talk about in the blog post (or if you did, I missed it) is unnecessary tests, which is one of the key problems LLMs have with test writing. In my experience, if you just ask an LLM to write