Bend is a fast, parallel, and proof-based programming language that compiles to native code, running on GPUs and achieving speeds up to 100 times faster than a single-core processor. Its type checker, inspired by Lean and Rocq, verifies code correctness in seconds, enabling rapid feedback for AI agents. By incorporating laws and proofs, Bend blocks AI mistakes and ensures ambiguity-free code. AI summary
Firehose
Filtered to tagged “programming languages” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
artificial intelligence 87continual learning 32AI 24reinforcement learning 14agentic coding 13AI safety 13open-weight models 13AI agents 10existential risk 9AI ethics 8cybersecurity 8ethics 7language models 7machine learning 7natural language processing 6open-source 6Reinforcement learning 6security 6artificial general intelligence 5Diffusion models 5recursive self-improvement 5robotics 5software development 5Agentic AI 4large language models 4mathematics 4multi-agent systems 4Recursive self-improvement 4agentic AI 3agents 3