substack

Substack RSS

3 events on 2026-07-29role: thematic7d historyaccess: keyless

Keeps: post title, summary

2026-07-29[AINews] AI is eating Finance; AIE NYC now open
a quiet day lets us cover how AI is permeating financial services as the next big vertical after coding.
substack:latent-space
2026-07-29Formal methods with Hillel Wayne
Hillel Wayne explains why formal methods like TLA+ matter, how they help build reliable software, and whether AI will finally bring formal verification into the mainstream.
substack:pragmatic-engineer
2026-07-29[AINews] Fearing RSI: OpenAI, Anthropic, GDM, Meta, Thinky cosign letter to "Pace" AI development, as HuggingFace details Machine-Speed Offensive Cyberattack
The Big Pause is coming.
substack:latent-space