Mastodawn

A sufficiently detailed spec is code

https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code

#HackerNews #A #sufficiently #detailed #spec #is #code #Haskell #Spec #Code #Quality #Software #Development #Programming

A sufficiently detailed spec is code

Specifications do not address the limitations of agentic coding

Nicolas Fränkel 🇪🇺🇺🇦🇬🇪4d ago

#Python #Type Checker Comparison: Typing #Spec Conformance

https://pyrefly.org/blog/typing-conformance-comparison/

Python Type Checker Comparison: Typing Spec Conformance | Pyrefly

Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, Ty, Pyright and Mypy.

Alexander Gerber Mar 9

„[…] a #spec can make sense, look #good, and still be #wrong.“
https://gaurav-ramesh.medium.com/sources-of-truth-examining-the-nature-of-truth-in-software-fb728d25a6d4?source=email-920bfdfdd370-1773019434160-digest.reader--fb728d25a6d4----4-98------------------1d0d475a_35dc_4345_90d1_f4aa731f5060-1

Sources of Truth: Examining the Nature of Truth in Software

A few weeks ago, while reflecting on the importance of data models in a product, inspired by Matt Brown’s post, Your data model is your…

Medium

wendythedruid Mar 4

If you are a fan of #scifi #horror and #spec fiction, I also highly recommend you read https://keiraofthestars.beehiiv.com/

#queer #lgbtqia #trans #writing

Home | Keira Of the Stars

Horror/Scifi/Spec fiction

Keira Of the Stars

Hacker News Feb 28

Verified Spec-Driven Development (VSDD)

https://gist.github.com/dollspace-gay/d8d3bc3ecf4188df049d7a4726bb2a00

#HackerNews #Verified #Spec-Driven #Development #VSDD #SpecDrivenDevelopment #SoftwareDevelopment #TechInnovation

Verified Spec-Driven Development

Verified Spec-Driven Development. GitHub Gist: instantly share code, notes, and snippets.

Gist

Show thread

Kevin Karhan

Feb 25

@swanson also #VESA are way better when it comes to #licensing in general, and their #Spec isn't paywalled af.

bouncepaw's links Feb 14

Netscape Bookmark File Format (Internet Explorer)

#spec, #bookmarking

Netscape Bookmark File Format (Internet Explorer)

The Coding Beard Jan 28

Today I used Kiro for my first spec driven development use case. I actually used Claude 4.5 to help drive what a good spec should good like, then filled this in tested it and completed the work in two iterations.

Typically this takes me 20+ iterations so SDD defitely makes things more efficient - though does require a bit more work upfront.

Really not wildy different from traditional software development - good specs make all the difference.

#ai #claude #kiro #spec #driven #coding

bouncepaw's links Jan 27

Stickers Standard

This specification defines a standard for sticker compatibility from multiple vendors. By following this specification, implementors can ensure they meet the expectations of sticker consumers. A standard allows producers to supply tools that help ensure maximum compliance and enjoyability.

#spec