Noah Gift
@noahgift.com
EU + Valencia, Spain
Founder of Pragmatic AI Labs: paiml.com
5x O'Reilly Author: https://www.oreilly.com/pub/au/3039
Adjunct - Northwestern/Duke/Berkeley/Davis/UNC
Interests: Books/Critical Thinking/Global Citizen
Founder of Pragmatic AI Labs: paiml.com
5x O'Reilly Author: https://www.oreilly.com/pub/au/3039
Adjunct - Northwestern/Duke/Berkeley/Davis/UNC
Interests: Books/Critical Thinking/Global Citizen
Introducing Ruchy WASM notebooks from Pragmatic AI Labs. Very bleeding edge, but functional. You can create Dataframes, run polars code and it runs "batteries included" via ruchy, just run "ruchy notebook".
Try it: cargo install ruchy
Try it: cargo install ruchy
September 10, 2025 at 3:52 PM
Introducing Ruchy WASM notebooks from Pragmatic AI Labs. Very bleeding edge, but functional. You can create Dataframes, run polars code and it runs "batteries included" via ruchy, just run "ruchy notebook".
Try it: cargo install ruchy
Try it: cargo install ruchy
Yes, programming has changed. You don't always write every line of code. True experts are not "vibe-coding", they are now sensor coding. This is what PMAT from Pragmatic AI Labs does. It it emits signals you use to make decisions.
github.com/paiml/paiml-...
github.com/paiml/paiml-...
September 10, 2025 at 12:34 PM
Yes, programming has changed. You don't always write every line of code. True experts are not "vibe-coding", they are now sensor coding. This is what PMAT from Pragmatic AI Labs does. It it emits signals you use to make decisions.
github.com/paiml/paiml-...
github.com/paiml/paiml-...
QDD from Pragmatic AI Labs is a unified tool for creating, refactoring, and maintaining code with guaranteed quality standards. Unlike traditional development approaches that treat quality as an afterthought...
Read: paiml.github.io/pmat-book/ch...
Take a course from us: paiml.com
Read: paiml.github.io/pmat-book/ch...
Take a course from us: paiml.com
September 9, 2025 at 6:35 AM
QDD from Pragmatic AI Labs is a unified tool for creating, refactoring, and maintaining code with guaranteed quality standards. Unlike traditional development approaches that treat quality as an afterthought...
Read: paiml.github.io/pmat-book/ch...
Take a course from us: paiml.com
Read: paiml.github.io/pmat-book/ch...
Take a course from us: paiml.com
The world's most complete #rust #mcp #sdk with insane testing and now a book: paiml.github.io/rust-mcp-sdk....
Don't sleep on Pragmatic AI Labs
Take a course with us: paiml.com
Don't sleep on Pragmatic AI Labs
Take a course with us: paiml.com
September 8, 2025 at 2:41 PM
The world's most complete #rust #mcp #sdk with insane testing and now a book: paiml.github.io/rust-mcp-sdk....
Don't sleep on Pragmatic AI Labs
Take a course with us: paiml.com
Don't sleep on Pragmatic AI Labs
Take a course with us: paiml.com
A new feature that is CRITICAL when using tools like #claude #code is #pmat #precommit #hooks. Why? It enforces complexity, SATD before you check in code, i.e. you have to fix. Now standard with: cargo install pmat.
Check it out!
Check it out!
September 8, 2025 at 11:37 AM
A new feature that is CRITICAL when using tools like #claude #code is #pmat #precommit #hooks. Why? It enforces complexity, SATD before you check in code, i.e. you have to fix. Now standard with: cargo install pmat.
Check it out!
Check it out!
Now have a WIP book on hashtag#pmat which I use daily to enact guardrails on coding with agents.
Read the book: github.com/paiml/pmat-b...
Take a course from Pragmatic AI Labs: paiml.com
Read the book: github.com/paiml/pmat-b...
Take a course from Pragmatic AI Labs: paiml.com
September 8, 2025 at 11:32 AM
Now have a WIP book on hashtag#pmat which I use daily to enact guardrails on coding with agents.
Read the book: github.com/paiml/pmat-b...
Take a course from Pragmatic AI Labs: paiml.com
Read the book: github.com/paiml/pmat-b...
Take a course from Pragmatic AI Labs: paiml.com
It is very, very early days with AI Coding and it utter nonsense to say "50% of code is written by AI", etc. This is why Pragmatic AI Labs keeps building new tools in PMAT, checkout the entropy detection
cargo install pmat: github.com/paiml/paiml-...
Take a course from us: paiml.com
cargo install pmat: github.com/paiml/paiml-...
Take a course from us: paiml.com
September 7, 2025 at 5:48 PM
It is very, very early days with AI Coding and it utter nonsense to say "50% of code is written by AI", etc. This is why Pragmatic AI Labs keeps building new tools in PMAT, checkout the entropy detection
cargo install pmat: github.com/paiml/paiml-...
Take a course from us: paiml.com
cargo install pmat: github.com/paiml/paiml-...
Take a course from us: paiml.com
My thought process and design while I write a replacement for the #python scripting language for #datascience and #machinelearning #ruchy. Up next beyond the roadmap of WASM notebooks is conversion utilities that convert unsafe and energy inefficient Python to Ruchy and Rust.
September 4, 2025 at 8:06 PM
My thought process and design while I write a replacement for the #python scripting language for #datascience and #machinelearning #ruchy. Up next beyond the roadmap of WASM notebooks is conversion utilities that convert unsafe and energy inefficient Python to Ruchy and Rust.
I code very different than most people with Agents. I quantitatively code. Meaning I look at the computer science research of what is good code and what is defective and I force this quality with #pmat agent, then do TDD to solve problems. To say this is a game changer is an understatement!
September 2, 2025 at 5:43 PM
I code very different than most people with Agents. I quantitatively code. Meaning I look at the computer science research of what is good code and what is defective and I force this quality with #pmat agent, then do TDD to solve problems. To say this is a game changer is an understatement!
Something Pragmatic AI Labs is cooking up in next version of #pmat. What if you had hashed unique id that has the quality of the code built into? Why? You then enforce quality at the file level with LLMs...
Cargo install pmat: crates.io/crates/pmat
Take a class from us: paiml.com
Cargo install pmat: crates.io/crates/pmat
Take a class from us: paiml.com
August 30, 2025 at 12:45 PM
Something Pragmatic AI Labs is cooking up in next version of #pmat. What if you had hashed unique id that has the quality of the code built into? Why? You then enforce quality at the file level with LLMs...
Cargo install pmat: crates.io/crates/pmat
Take a class from us: paiml.com
Cargo install pmat: crates.io/crates/pmat
Take a class from us: paiml.com
What is going on? Seems like people are exponentially interested in #ruchy, but a lot of #python "townies" are saying, this is my wave. Let's be clear, in 6 months it will be obvious Python shouldn't exist. I get it, this is aggressive, but so is a cure for cancer.
github.com/paiml/ruchy/...
github.com/paiml/ruchy/...
August 25, 2025 at 9:45 PM
What is going on? Seems like people are exponentially interested in #ruchy, but a lot of #python "townies" are saying, this is my wave. Let's be clear, in 6 months it will be obvious Python shouldn't exist. I get it, this is aggressive, but so is a cure for cancer.
github.com/paiml/ruchy/...
github.com/paiml/ruchy/...
Older languages like #python #ruby #C are REACTIVE and newer languages like #deno and #ruchy are PROACTIVE. Why fix the mess of code that cannot even compile or has security or issues, when you can proactively solve them, i.e. provability or runtime tooling like Ruchy does?
paiml.com
paiml.com
August 25, 2025 at 11:36 AM
Next-generation tooling, built on #rust is what a modern language looks like, and #deno delivers for #typescript. A new course from Pragmatic AI Labs.
Take a course at: paiml.com
Take a course at: paiml.com
August 25, 2025 at 11:07 AM
Next-generation tooling, built on #rust is what a modern language looks like, and #deno delivers for #typescript. A new course from Pragmatic AI Labs.
Take a course at: paiml.com
Take a course at: paiml.com
Starting to think #ruchy is about to be a big deal. 4,500 clones in 10 days...WTF???
github.com/paiml/ruchy
github.com/paiml/ruchy
August 24, 2025 at 6:07 PM
Starting to think #ruchy is about to be a big deal. 4,500 clones in 10 days...WTF???
github.com/paiml/ruchy
github.com/paiml/ruchy
#ruchy is not only provable code via mathematical proofs and runtime i.e. BigO, but also #cryptographically provable, i.e. secure by design. Why build a new language if you don't make is >10X.
Some of this is working here: github.com/paiml/rosett...
Take a course from us: paiml.com
Some of this is working here: github.com/paiml/rosett...
Take a course from us: paiml.com
August 24, 2025 at 11:34 AM
#ruchy is not only provable code via mathematical proofs and runtime i.e. BigO, but also #cryptographically provable, i.e. secure by design. Why build a new language if you don't make is >10X.
Some of this is working here: github.com/paiml/rosett...
Take a course from us: paiml.com
Some of this is working here: github.com/paiml/rosett...
Take a course from us: paiml.com
Ah, these Phd tools are getting smarter every day. Now hashtag#chatgpt is inventing new biological forms. Bravo Stanford dropouts! You are doing great!
August 23, 2025 at 10:47 AM
Ah, these Phd tools are getting smarter every day. Now hashtag#chatgpt is inventing new biological forms. Bravo Stanford dropouts! You are doing great!
Now PMAT, a tool for assisting with agentic workflows by making them deterministic, has universal demo mode. Point it a #github repo and pmat will tell you quantitatively what is wrong and how to fix it.
cargo install #pmat: github.com/paiml/paiml-...
take a course: paiml.com
cargo install #pmat: github.com/paiml/paiml-...
take a course: paiml.com
August 23, 2025 at 10:23 AM
Now PMAT, a tool for assisting with agentic workflows by making them deterministic, has universal demo mode. Point it a #github repo and pmat will tell you quantitatively what is wrong and how to fix it.
cargo install #pmat: github.com/paiml/paiml-...
take a course: paiml.com
cargo install #pmat: github.com/paiml/paiml-...
take a course: paiml.com
Rosetta Ruchy shows ruchy vs other popular languages and why it beats them in perform, and yet has advanced tooling no language has like #ast analysis, provability, and quality scoring, supports WASM, MCP.
Check it out: github.com/paiml/rosett...
Take a course from Pragmatic AI Labs: paiml.com
Check it out: github.com/paiml/rosett...
Take a course from Pragmatic AI Labs: paiml.com
August 23, 2025 at 9:48 AM
Rosetta Ruchy shows ruchy vs other popular languages and why it beats them in perform, and yet has advanced tooling no language has like #ast analysis, provability, and quality scoring, supports WASM, MCP.
Check it out: github.com/paiml/rosett...
Take a course from Pragmatic AI Labs: paiml.com
Check it out: github.com/paiml/rosett...
Take a course from Pragmatic AI Labs: paiml.com
The people talk, Pragmatic AI Labs listens. They want a #rust type scripting language that is #MCP first and offers 10X features of other scripting languages and is Machine Learning, Data Science and DevOps first.
cargo install #ruchy: crates.io/crates/ruchy
cargo install #ruchy: crates.io/crates/ruchy
August 20, 2025 at 5:43 PM
The people talk, Pragmatic AI Labs listens. They want a #rust type scripting language that is #MCP first and offers 10X features of other scripting languages and is Machine Learning, Data Science and DevOps first.
cargo install #ruchy: crates.io/crates/ruchy
cargo install #ruchy: crates.io/crates/ruchy