Jo – AI-native language to catch prompt injection at compile-time
Jo Secure Programming Language. Contribute to typescope/jo development by creating an account on GitHub.
Jo – AI-native language to catch prompt injection at compile-time launched on June 5, 2026 with 10 votes, #1,316 of 22,647 launches that month and more than 90% of that year's launches.
In plain words
Jo is a programming language designed to detect prompt injection attacks during compilation rather than at runtime. Built with AI systems in mind, it catches injection vulnerabilities before code executes, offering developers a way to write AI applications with built-in security checks. Jo is intended for developers building AI-powered software who want to prevent prompt injection issues early in the development process. The language's compile-time detection approach distinguishes it from traditional runtime security methods.
written from the facts on this page · September 2026
From the sources
Jo is a statically typed language that enables compile-time sandboxing . Instead of confining a running program from the outside, Jo proves — before the code runs — that it can only use the capabilities it was explicitly granted. Jo compiles to Ruby and Python. Project status: Early-stage. The compiler, standard library, and toolchain are ready for serious experimentation. APIs and language details may still change. AI agents now generate code that runs inside your platform. That code can — unless you stop it — reach for the network, read arbitrary files, or query other users' data. The usual defense is a runtime sandbox : a container, VM, or seccomp filter that wraps the running program…from github.com
Does a similar job
all alternatives →- TMThe Mog Programming LanguageMar 2026 · moglang.org · ▲163
Hi, Ted here, creator of Mog. - Mog is a statically typed, compiled, embedded language (think statically typed Lua) designed to be written by LLMs -- the full spec fits in 3,200 tokens. - An AI agent writes a Mog program, compiles it, and dynamically loads it as a plugin, script, or hook. - The host controls exactly which functions a Mog program can call (capability-based permissions), so permissions propagate from agent to agent-written code. - Compiled to native code for low-latency plugin execution -- no interpreter overhead, no JIT, no process startup cost. - The compiler is written in…
Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
Han – A Korean programming language written in RustMar 2026 · github.com · ▲208A few weeks ago I saw a post about someone converting an entire C++ codebase to Rust using AI in under two weeks. That inspired me — if AI can rewrite a whole language stack that fast, I wanted to try building a programming language from scratch with AI assistance. I've also been noticing growing global interest in Korean language and culture, and I wondered: what would a programming language look like if every keyword was in Hangul (the Korean writing system)? Han is the result. It's a statically-typed language written in Rust with a full compiler pipeline (lexer → parser → AST →…
Dependently typed language for proofs that you can implement in one day2021 · github.com · ▲138The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
A Rust macro that parses Java-like syntax and runs it as a Rust program2018 · gitlab.com · ▲195A Rust macro that parses Java-like syntax and runs it as a Rust program
More ai this month
the category →
Paintings by AI models: programs run through a simulation of oil paint.
AI · 21d ago · stillwet.art
FastRouter.ai▲364Route requests to the right LLM for cost, latency & quality
AI · 23d ago · fastrouter.ai
Source: Show HN post ↗
Launched alongside, June 2026
the whole month →
Fundraisly▲1,537AI fundraising agent that finds investors and books meetings
AI · Jun 2026 · fundraisly.com
Homebrew 6.0.0▲1,481Today, I’m proud to announce Homebrew 6.0.0. The most significant changes since 5.1.0 are a new tap trust security mechanism, the new faster, smaller, default internal Homebrew JSON API, sandboxing on Linux, better defaults informed by our user survey, many brew bundle improvements, improved performance and initial support for macOS 27 (Golden Gate). Happy to discuss any questions here!
Dev tools · Jun 2026 · brew.sh
Hi HN! I was super frustrated at apps like tiktok and wechat preventing me from saving or downloading the animated gifs, so I made a little tool to turn a screen recording into a slack-sized emoji. Hope you get some value from this!
Life & fun · Jun 2026 · vorpus.github.io
Search 18 years of Hacker News and chart how any topic, tool, or person trended. Overlay terms to compare their rise and fall across 45M posts and comments.
Life & fun · Jun 2026 · hackernewstrends.com