vibecoding

new blog post: RSS Converter for Mastofeed
https://www.speedofcreativity.org/2025/06/28/rss-converter-for-mastofeed/

#Mastodon #coding #VibeCoding #RSS #crosspost #GitHub #MediaLit #edtech s/o @cogdog :-)

ALT

A Rust-to-Lean verification pipeline with AI provers: An experience report https://lobste.rs/s/g2bzt2 #formalmethods #rust #vibecoding
https://arxiv.org/html/2605.30106

A Linux desktop in x86_64 Assembly https://lobste.rs/s/l4eo1q #vibecoding
https://isene.org/2026/04/MyTools.html

We're Not Building AI Features for the Money https://lobste.rs/s/bgjmvk #editors #vcs #vibecoding
https://zed.dev/blog/not-building-ai-for-the-money

Domain-specific hyperspecialization (for SAT) https://lobste.rs/s/cccby7 #formalmethods #vibecoding
https://c.mov/lymphosat/

Software's Centaur Era https://lobste.rs/s/prer9l #vibecoding
https://twitchard.github.io/posts/2026-05-18-softwares-centaur-era.html

Writing Lisp is AI Resistant and I'm Sad — Dan's Musings https://lobste.rs/s/hfwu86 #lisp #vibecoding
https://blog.djhaskin.com/blog/writing-lisp-is-ai-resistant-and-im-sad/

Claude Code Found a Linux Vulnerability Hidden for 23 Years https://lobste.rs/s/lh9rmv #security #vibecoding
https://mtlynch.io/claude-code-found-linux-vulnerability/

How to grep video https://lobste.rs/s/aphwpq #vibecoding
https://blog.cloudglue.dev/how-to-grep-video/

"AI is writing 90% of our code" sounds impressive before you realize that AI-generated code is orders of magnitude more verbose & less efficient than code written by a professional software engineer.

But "we ship 9 lines of fluff for each line of code that does something" doesn't sound as impressive.

#LLM #AI #ClaudeCode #vibecoding

Everything Claude Saw: A Transparent Account of the Chardet v7 Rewrite https://lobste.rs/s/972mji #vibecoding
http://dan-blanchard.github.io/blog/chardet-rewrite-controversy/

Python Yet Reforged Entirely https://lobste.rs/s/phjtbx #compilers #python #rust #vibecoding
https://pyre-lang.org/

Ollama is now powered by MLX on Apple Silicon in preview · Ollama Blog https://lobste.rs/s/4wxjie #vibecoding
https://ollama.com/blog/mlx

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding https://lobste.rs/s/8lbmm8 #ai #math #plt #python #vibecoding
https://gist.github.com/MostAwesomeDude/560185c24f959f6fec229739cb5a6735

Claw Patrol: an open-source security firewall for agents via @boramalper https://lobste.rs/s/jc0jsn #security #vibecoding
https://deno.com/blog/clawpatrol

It’s all in the name https://lobste.rs/s/n99slp #security #vibecoding
http://plasmasturm.org/log/mythos-claims/

Agent-friendly CLI for reading large Markdown files https://lobste.rs/s/0cc123 #vibecoding
https://github.com/molefrog/lilmd

It's OK to use coding assistance tools to revive the projects you never were going to finish https://lobste.rs/s/dtkjsz #vibecoding
https://blog.matthewbrunelle.com/its-ok-to-use-coding-assistance-tools-to-revive-the-projects-you-never-were-going-to-finish/

Vibin' With Erlang https://lobste.rs/s/crspm5 #erlang #vibecoding
https://blog.whenhen.com/posts/vibin-with-erlang.html

Sloppy Copies https://lobste.rs/s/qtytfe #rant #vibecoding
https://www.markround.com/blog/2026/04/19/sloppy-copies/

The Cathedral, the Bazaar and the Kitchen https://lobste.rs/s/iaankl #vibecoding
https://blog.vrypan.net/2026/05/11/the-cathedral-the-bazaar-and-the-kitchen/

The Tribe Has to Outlive the Model https://lobste.rs/s/vksnyl #vibecoding
https://christophermeiklejohn.com/ai/zabriskie/agents/reliability/2026/04/23/the-tribe-has-to-outlive-the-model.html

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications https://lobste.rs/s/ukw5wf #formalmethods #testing #vibecoding
https://proofsandintuitions.net/2026/05/18/property-based-testing-specifications/

Nondeterminism's not the problem https://lobste.rs/s/nmnmnq #vibecoding
https://isaacvando.com/nondeterminisms-not-the-problem

The Faster You Go, the Wronger You Get via @alper https://lobste.rs/s/zf3ee7 #practices #vibecoding
https://hagakure.substack.com/p/the-bottleneck-was-understanding