Bend – a language that blocks AI mistakes via proof and runs on GPUs
Thread
Unofficial Hacker News client; not affiliated with Y Combinator.
Bend – a language that blocks AI mistakes via proof and runs on GPUs
Unofficial Hacker News client; not affiliated with Y Combinator.
shantnutiwari · · focus · HN ↗
Seems to me the llm will just try to work around the "laws"
serial_dev · · focus · HN ↗
andy12_ · · focus · HN ↗
serial_dev · · focus · HN ↗