polyglotfacto

12 ms·

1.
by polyglotfacto 7d ago
disagree; been using flash as my exclusive model (other contributors have used other models) to build a complicated software project, a web engine. See https://github.com/gterzian/formal-web , which as you can see comes
2.
How to build fast and responsive agentic (coding) UIs(medium.com)
2 points by polyglotfacto 28d ago|0 comments
3.
Show HN: Always responsive UI for a coding agent
3 points by polyglotfacto 1mo ago|0 comments
4.
by polyglotfacto 6mo ago
I implemented MessagePort in Servo back in 2019 — it was the hardest concurrency problem I'd encountered, because ports can be transferred between event loops while messages are still in flight. This weekend I finally got around to for
5.
by polyglotfacto 6mo ago
I've been implementing the WebNN Web Standard on a personal Servo branch with AI coding assistance (main bans AI), and switched to GPT 5.4 this week. It introduced a race condition that compiled cleanly, passed tests, and would have be
6.
by polyglotfacto 7mo ago
I am in the third week of my experiment with AI-assisted coding on a personal branch of Servo (which still bans all AI contributions). First, the least relevant metric: LOC. Almost doubled from 7k to 12k in a week. Current WPT pass rate, co
7.
Lean and AI caught a bug in my 2-year-old TLA+ spec(medium.com)
1 points by polyglotfacto 7mo ago|1 comments
8.
by polyglotfacto 7mo ago
I’ve used TLA+ for six years to "debug my thinking," but I always treated the jump from spec to implementation as a leap of faith. What surprised me in this experiment with Lean was that the AI-assisted formalization actually caug
9.
Implementing WebNN with the Help of AI(medium.com)
1 points by polyglotfacto 7mo ago|1 comments
10.
by polyglotfacto 7mo ago
I am a maintainer of the Servo web engine. Two years ago, our project banned AI-generated contributions. I was a dissenting voice on that policy, and have continued to experiment with AI on side-projects. This is perhaps the most ambitious
11.
Federal Reserve use of AI coding(federalreserve.gov)
1 points by polyglotfacto 7mo ago|1 comments
12.
by polyglotfacto 7mo ago
Within the Federal Reserve System, we have also been exploring the use of AI in our own operations and have established an AI program and governance framework for the use of AI technologies. One internal application of GenAI that shows cons
13.
by polyglotfacto 7mo ago
> FWIW, an inefficient but working product is pretty much the definition of a startup MVP It depends on what kind of start-up we're talking about. A compiler start-up probably should show some kind of efficiency gain even in an MVP.
14.
by polyglotfacto 7mo ago
> its value comes from fulfilling its requirements. The requirements will have to come from somewhere, and they will have to be quite precise although probably higher-level than code written today. You're talking about just a new ki
15.
Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun'(nytimes.com)
2 points by polyglotfacto 7mo ago|1 comments
16.
by polyglotfacto 7mo ago
> When a friend asked me to convert a large, thorny data set, I downloaded it, cleaned it up and made it pretty and easy to explore. In the past I would have charged $350,000 > (..) it implies a product manager, a designer, two engine
17.
by polyglotfacto 7mo ago
My review of the article, as a conversation with an agent: https://medium.com/@polyglot_factotum/slop-review-with-ai-th ... Here is the AI's final verdict (following an initial enthusiastic take to which I replied
18.
by polyglotfacto 7mo ago
After seeing the autonomous browser and compiler projects trend here, and having been a vocal critic in the comments, I felt compelled to write a long-form rebuttal. My thesis: AI agents are powerful tools for experts, but the current &quot
19.
by polyglotfacto 7mo ago
So let’s say you fund a single engineer for an open‑source project with $20k. The outcome will be a prototype with some interesting ideas. And yes, with a few hundred bucks' worth of AI assistance that single engineer might get much fu
20.
by polyglotfacto 7mo ago
Point is: it doesn't matter if agents can do it faster and cheaper than a team of humans: it's slop. It's like writing a novel in a week that no one wants to read. If in six months you can do it in an hour, there is still zer
21.
by polyglotfacto 7mo ago
So as a software engineer with experience with coding agents, when I look at https://github.com/anthropics/knowledge-work-plugins I'm like: oh that's it, a bunch of skills files? So the value of a skill file
22.
by polyglotfacto 7mo ago
So I do think one can get value from coding agents, but that value is out of proportion compared to the investments made by the AI labs, so now they're pushing this kind of stuff which I find to be a borderline scam. Let me explain why
23.
by polyglotfacto 7mo ago
You can look at the Web as a starter: https://html.spec.whatwg.org/#history-2 > The WHATWG was based on several core principles, (..) and that specifications need to be detailed enough that implementations can achieve co
24.
Show HN: Prompt-injection‑resistant agent runtime that writes web apps(github.com)
1 points by polyglotfacto 7mo ago|0 comments
25.
by polyglotfacto 8mo ago
you're welcome.
26.
by polyglotfacto 8mo ago
This is not legal advice, but I think one should always add a license, not so much for copyrights but for the "no warranty" part. If someone claims copyright once can add whatever license was used in the original work.
27.
by polyglotfacto 8mo ago
This one's really nice. - clear code structure and good architecture(modular approach reminiscent of Blitz but not as radical, like Blitz-lite). - Very easy to follow the code and understand how the main render loop works: - For
28.
by polyglotfacto 8mo ago
> That is a wonderful write up. Thanks. > what would be the best approach? I don't know but it sounds like an interesting research topic.
29.
by polyglotfacto 8mo ago
> The question then becomes who would fund such a thing Historically new web engines came about when a new challenger wanted to have a stake in web standards development. The way it happened was never from scratch but with a fork of an e
30.
by polyglotfacto 8mo ago
So I think that's an easy way to achieve ecstasy for you then. I suggest giving it a try. A good place to look for how one could do this, is https://github.com/DioxusLabs/blitz/tree/main That project I c

More ›