💻 linkedin.com/in/ivorscott
🎨 ivorscott.com
"A Conjecture on a Fundamental Trade-Off between Certainty and Scope in Symbolic and Generative AI"
Version 2
papers.ssrn.com/sol3...
3/3
"A Conjecture on a Fundamental Trade-Off between Certainty and Scope in Symbolic and Generative AI"
Version 2
papers.ssrn.com/sol3...
3/3
📦 yamadashy / repomix
⭐ 10,219 (+114)
🗒 TypeScript
📦 Repomix (formerly Repopack) is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or ot...
time.com/7295195/ai-c...
1. Guide don't dictate
2. Review everything
3. Test incrementally
4. Patten consistently
5. Simple is better
6. Every AI output should be filtered through human
1. Guide don't dictate
2. Review everything
3. Test incrementally
4. Patten consistently
5. Simple is better
6. Every AI output should be filtered through human
Watch/listen:
• YouTube: youtu.be/aSXaxOdVtAQ (cont'd)
Watch/listen:
• YouTube: youtu.be/aSXaxOdVtAQ (cont'd)
I just published a presentation about how to model software with TLA+, meant for software engineers, not mathematicians/logicians.
speakerdeck.com/fgm/a-tla-pl... #tlaplus
I just published a presentation about how to model software with TLA+, meant for software engineers, not mathematicians/logicians.
speakerdeck.com/fgm/a-tla-pl... #tlaplus
Maybe they’re too busy shipping real world code to production 🤔
Maybe they’re too busy shipping real world code to production 🤔
In 315 lines of code. And yes, it works. Very well.
There is no moat.
Read it here: ampcode.com/how-to-build...
In 315 lines of code. And yes, it works. Very well.
There is no moat.
Read it here: ampcode.com/how-to-build...
www.bretfisher.com/docker-ai-mo...
www.bretfisher.com/docker-ai-mo...
Learned a lot about things that I haven't really dug into before from it.
nghiant3223.github.io/2025/04/15/g...
Learned a lot about things that I haven't really dug into before from it.
nghiant3223.github.io/2025/04/15/g...