wyum

5 ms·

1.
by wyum 9d ago
I have the same feeling when I come across a new one. It's easy to throw something together that's good enough. That's why I open sourced spekk. I don't think there's a product here, just a way of thinking and doing
2.
by wyum 9d ago
I think modeling languages for code gen fall short because they aren't expressive enough and basically have to become programming languages and their users, programmers. This is the line of thinking that leads to "the specs are th
3.
by wyum 9d ago
No offense taken. I'd also say I overthink things, so this question hits home. The existence of similar tools has certainly given me pause several times. I was aware of SpecKit (GitHub) and Kiro (Amazon) when I started in January of th
4.
by wyum 9d ago
Thanks for having a look! On removing cruft: one of the key features of spekk is an "observer" agent role that is tasked with finding drift. On a production codebase, I run this daily in a sandbox. It pulls the latest changes and
5.
by wyum 9d ago
This is my first time seeing openspec, and it seems to share a similar philosophy to what I've been working on this year. If you like this / SDD, I'd appreciate your feedback: https://github.com/spekk-ai/
6.
by wyum 26d ago
That's right. I think this is The Way: https://docs.kernel.org/process/coding-assistants.html
7.
by wyum 27d ago
The trouble with AI attribution is that there are basically three categories: 1. 100% human 0% AI. 2. 100% AI, 0% human. 3. Everything in between. 1 and 2 are easy enough, but in 3 the human effort is not clearly legible or even measurable.
8.
by wyum 27d ago
Agreed - we need a different designation than "co-author."
9.
by wyum 27d ago
I'm not sure who did it first (CoPilot maybe?), but for me it was Claude Code that started putting its name on everything. Advertising seems like the main reason, and maybe trying to over-anthropomorphize the tools.
10.
by wyum 27d ago
Attribution as a "source" I would agree, and I used to put stack overflow links in my docstrings/comments for reference. But I would not ever call the StackOverflow user a "co-author" on my commits. I think that dis
11.
by wyum 27d ago
I immediately prohibited Claude and other agents from adding themselves as co-authors. I have never liked this. I take responsibility when I am driving the AI. I wouldn't call my vehicle the "co-driver," even in cruise contr
12.
by wyum 1mo ago
Software complexity grows superlinearly, if not exponentially as you add components. There are things an engineer can do to flatten the curve - that is OP's complexity management idea - but complexity growth can never be linear as long
13.
by wyum 1mo ago
I'm not sold on the pseudocode approach, but I agree with the declarative aspect. Declarative specs have become central to my process and I've built this tool to support it: https://github.com/spekk-ai/spekk-c
14.
by wyum 6mo ago
I was curious why we don't hear about locust swarms anymore in the US Turns out this species - the Rocky Mountain locust was made accidentally extinct by settlers. Although the swarms could be huge, they had a small and concentrated b
15.
by wyum 7mo ago
Thank you for reading and the very thoughtful observations. >> At a certain point, the verification complexity takes off. You literally run out of time to verify everything. > Could you elaborate on this? I plan to publish a thorou
16.
by wyum 7mo ago
I believe there is a Verification Complexity Barrier As you add components to a system, the time it takes to verify that the components work together increases superlinearly. At a certain point, the verification complexity takes off. You li
17.
by wyum 8mo ago
My blog: https://williamhuster.com I have a few deeper posts that I'm proud of. My favorite is an exploration of battle probabilities in the board game war room.
18.
by wyum 1y ago
I think you and the article actually agree and you are arguing only with their use of the word "development." The article uses "development" to refer only to the part where code is generated, while you are saying "d
19.
The Laying of the American Trans-Pacific Cable (1903)(atlantic-cable.com)
37 points by wyum 2y ago|10 comments
20.
by wyum 2y ago
I was surprised to learn that the British had finished laying undersea telegraph cables around the world as early as 1902! Incredible.
21.
38-Segment Display [video](youtube.com)
2 points by wyum 2y ago|0 comments
22.
by wyum 2y ago
This is the standard Google analytics snippet. It's probably automatically minified, maybe code-golfed. In any case, the author of the page did not also write this snippet.
23.
by wyum 2y ago
The deduction is flawed because the success of one method (thinking with writing) does not necessarily disprove the success of other methods (such as thinking without writing).
24.
Taser Chess [video](youtube.com)
2 points by wyum 2y ago|0 comments
25.
by wyum 2y ago
I really hope that is the case. My understanding is that in the DC case, the SREC values are anchored by DC's Solar Alternative Compliance Payment (SACP). This is a penalty energy companies must pay if they don't produce their quo
26.
by wyum 2y ago
I think you are right, and what's happening with rooftop solar in urban environments like DC (as in OP) is a case in point. By and large, the rooftop solar here is directly integrated with the grid and net metered. It is not off grid w
27.
by wyum 2y ago
> If you spend $25K on a solar installation, does the value of your home increase by $25K? I spent $25k to install solar in 2020 (also in DC like OP). The solar company estimated that my home value increased by $14K. As part of the insta
28.
by wyum 2y ago
When we went solar in DC (like the OP), the solar company offered a zero-cost option. The way this works is that the solar company owns the panels, while the customer enjoys the energy savings and IIRC a small slice of the SRECs.
29.
by wyum 2y ago
I live in DC like the author and went solar in 2020. I want to emphasize that DC's energy credit (SREC) prices are the only reason that solar makes financial sense here - perhaps anywhere. Without SRECs, we would be losing money. Our
30.
by wyum 2y ago
Graveyard of the Fireflies (1988) Warning: not a good times film. But it is beautiful in profound and sad ways. It deepened my appreciation for the good circumstances I have been fortunate to enjoy in my life.

More ›