HN user

Leynos

997 karma

I use Python at work and am interested in retro tech.

https://github.com/leynos

meet.hn/city/55.9533456,-3.1883749/City-of-Edinburgh

Posts55
Comments480
View on HN
arxiv.org 5mo ago

Remote Labor Index: Measuring AI Automation of Remote Work

Leynos
2pts0
coup.khoj.dev 11mo ago

Blink Twice: Measuring Strategic Deception Amongst LLMs

Leynos
2pts0
medium.com 1y ago

How to Supercharge "Vibe Coding" with CodeRabbit and OpenAI Codex

Leynos
2pts1
www.youtube.com 1y ago

Ty: Astral's New Type Checker (Formerly Red-Knot) – Talk Python Live Stream [video]

Leynos
1pts1
openrouter.ai 1y ago

Quasar Alpha

Leynos
1pts0
www.phoronix.com 1y ago

Servo Browser Adds Android Downloads, Improved Tabbing and More

Leynos
1pts0
www.techradar.com 8y ago

Instagram Shopping rolls out in eight new countries, including UK and Australia

Leynos
1pts0
www.reddit.com 8y ago

Stylo shipping in Firefox Nightly

Leynos
305pts69
www.anandtech.com 9y ago

Toshiba Weds 3D NAND and TSV

Leynos
1pts0
www.eenewseurope.com 9y ago

3D IC Combines CNT Transistors, ReRAMs and Sensors

Leynos
47pts2
news.xinhuanet.com 9y ago

Famed heart transplant surgeon a heart pump pioneer

Leynos
1pts0
spectrum.ieee.org 9y ago

Completely Artificial Hearts: Coming to a Chest Cavity Near You

Leynos
1pts0
www.avsforum.com 9y ago

The Sony A1E 4K HDR OLED TV Is the Screen and the Speaker

Leynos
3pts0
www.sciencedaily.com 9y ago

Antibiotic spider silk for drug delivery and regenerative medicine

Leynos
1pts0
caps0ff.blogspot.com 9y ago

Taking Down #45 Tatakae Big Fighter, the Lazarus ROM

Leynos
2pts0
www.theregister.co.uk 10y ago

Go DevOps before your bosses force you to. It'll be easier that way

Leynos
2pts0
arewee10syet.com 10y ago

Are we e10s yet?

Leynos
1pts0
www.techdirt.com 11y ago

UK Confuses Gullible Reporter into Believing It Changed Position on Encryption

Leynos
3pts0
ello.co 11y ago

Ballparking Ello's active user statistics

Leynos
33pts29
goughlui.com 11y ago

JJC/9VF Kyodo News Radio Fax (2013)

Leynos
1pts0
www.fastcompany.com 11y ago

Can Ello Finally Explain Its Existence?

Leynos
3pts1
dembot.com 11y ago

The State of Ello

Leynos
24pts11
thomashawk.com 11y ago

What TechCrunch Gets Wrong About Ello

Leynos
1pts0
betabeat.com 11y ago

There Is a ‘Picture-Book for Grownups’ All About Ello

Leynos
1pts0
www.ft.com 11y ago

Upstart startups: Lessons for small fry taking on big fish

Leynos
1pts0
uk.businessinsider.com 11y ago

Interview with Ello Founder Paul Budnitz

Leynos
1pts0
www.newsweek.com 11y ago

Ello CEO Explains How His Ad-Free Social Media Network Will Make Money

Leynos
3pts0
ello.co 11y ago

Ello converts to a PBC with a charter forbidding advertising as a revenue source

Leynos
1pts0
gigaom.com 11y ago

Ello co-founder: Funding or not, we hate ads and we want to “shift values”

Leynos
2pts1
bits.blogs.nytimes.com 12y ago

Making Twitter Easier to Use

Leynos
1pts0

I'd prefer a tag to the mounds of "this looks like it is AI generated, I can tell from the pixels and from having seen quite a few AIs in my time" comments. That way the people who reject AI content can filter it out rather than having to argue about it in the comments.

For normal building work I use Opus to plan and GPT 5.6 Terra to build. The point is, these are not normal constrained building tasks.

Perhaps I should have had more faith in Opus's ability to complete tasks like these, but it just hasn't been my experience to date. Opus and 5.5 work great within constrained user story type tasks, but I just don't have confidence in them to complete a large unbounded task like: "find out why the shared dependabot automerge component isn't working on this one repo, then formulate a strategy to roll it out across these 90 other repos, ensuring that Python, Rust, Typescript, go, sensible, and GitHub actions are all correctly updated. Address any CI failures, codex and codescene review comments in your PRs, then merge on green."

The sort of thing Fable and Sol excel at are long horizon tasks. The sort of thing I have been using them for is migrating large numbers of repositories to new tooling simultaneously (adopting new linters, enabling dependabot automerge, rolling out mutation testing).

Some of that can be done mechanically or trivially, and Fable knows to write a script or deploy Sonnet for those instances, but other times there are complications that need to be overcome that need to be escalated. Then there are patterns that can be picked up in large migrations and fed into template repos or tooling.

I won't use Fable for everything, but if there is ground to be broken on a new concept, being able to build a prototype with Fable might be useful.

I also have some substantive migration tasks such as replacing a static front end with solidjs or moving from NLL to Polonius that I would like to use Fable for.

It certainly feels like over the last fortnight it has enabled a substantial amount of transformative change in my codebases.

Things that I reckon will become a lot more important from a developer's perspective over the next year:

- Shaping work so it is more decomposable, legible, verifiable and understandable

- Property testing, formal verification (exhaustive proofs, and bounded model checking), and test verification (e.g. mutation testing)

- Understanding product market fit and opportunity space

- Application of product management techniques (e.g., constraint, risk, and management by exception)

- Hypothesis forming, validation and falsification

- Evaluation of systems (agentic systems and toolsets used by agents)

- Effectively shaping domain knowledge into agent context in a way that stays current

- A greater awareness of o11y and cost recovery

- User experience, developer experience and agent experience

I'm not suggesting that developers should replace UX engineers or product managers (in fact, I think that demand for experts in these fields will grow with the volume of software). I am also not suggesting that these growth areas are not things developers need to be mindful of now, but that the need for by default application of automated development rigor will grow.

I see this as more or less analogous to the DevOps shift of the mid 2010s. Developers will grow their horizons, become comfortable with achieving more and moving faster safely, and ultimately put more trust in observable and legible delegated systems rather than doing things by hand.

Yeah, I went through a period after 4.7 launched of not using Claude for code work at all because of the condescending refusals. (Kept using it for planning and design work). Still had three pretty bad refusals from 4.8, but not the same quantity as from 4.7.

Claude.ai is pretty frustrating too. It will talk to me as if anything I ask for is below it. Could be the system prompt I use, but I did not have this issue with 4.6.

Yes, I tend to prefer GPT, but I can't remember having GPT ever refuse a direct instruction that wasn't an obvious ToS violation.

AI 2040: Plan A 11 days ago

While there are some coding focused models (composer, for example), the majority of frontier models are pitched as general purpose. The coding harnesses for Claude and GPT are even being repurposed as general purpose knowledge work harnesses.

Currently, there are things pylint does that ruff doesn't. To use these, I was running pylint on pypy to get it running at a reasonable speed.

Having pylint reimplemented in Rust seems like a very useful thing to have from my perspective. I get another several x speed up, and I can stop having to worry about a separate python interpreter used for one tool that is a few Python versions behind my codebase.

AI is slowing down 1 month ago

I quite like my mechanical spider from Wild Wild West and the coffee it makes with a 50% success rate

MAI-Thinking-1 2 months ago

Or the speaker is just not in the mood to argue with someone whose response will be, "you trust anything Microsoft say?"