#vibecoding
1
1
1
From tlapl.us
GenAI-accelerated TLA+ challenge
6 8
The TLA+ Foundation, in collaboration with NVIDIA, is pleased to announce the GenAI-accelerated TLA+ challenge—an open call for submissions that explore the intersection of TLA+ and generative AI. This initiative aims to foster practical and innovative tooling, workflows, and approaches that...
#compsci #vibecoding #ycombinator #formalmethods
on Tue, 12PM
1
From youtube.com
1 1
Bekijk je favoriete video's, luister naar de muziek die je leuk vindt, upload originele content en deel alles met vrienden, familie en anderen op YouTube.
10h ago
1
From joshwcomeau.com
The Post-Developer Era • Josh W. Comeau
1 1
When OpenAI released GPT-4 back in March 2023, they kickstarted the AI revolution. The consensus online was that front-end development jobs would be totally eliminated within a year or two.Well, it’s been more than two years since then, and I thought it was worth revisiting some of those early...
on Apr 14
1
From substack.com
Vibe Coding is not an excuse for low-quality work
1 1
A field guide to responsible AI-assisted development
on Apr 19
1
From discu.eu
GenAI-accelerated TLA+ challenge :: TLA+ Foundation - discu.eu
1 1
Discussions and related articles for «GenAI-accelerated TLA+ challenge :: TLA+ Foundation»
#compsci #vibecoding #formalmethods
19h ago
1
From golem.de
Vibe Coding: Wenn KI eine ganze IT-Abteilung ersetzen soll - Golem.de
1 4
Immer mehr Anfänger lassen sich komplette Apps von ChatGPT & Co. schreiben. Chaos ist vorprogrammiert.
#ai #it #ki #llm #vibecoding #softwareentwicklung
on Mon, 6AM
1
From uxdesign.cc
It’s all fun and games… until your boss starts vibe coding
1 1
Brace yourselves for a barrage of AI-assisted garbage made by people who don’t know an API from an IPA.
23h ago