John Martin (@dialectforge) header
John Martin (@dialectforge) profile picture

Carpenter building open-source AI and crypto by directing AI. Lu: an AI that says "I don't know." Cattledog: honesty for agents. PQ VPN in progress.

Michigan, USA
Joined February 2017
Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)Photo by John Martin (@dialectforge)
Every mcp-authscan report can now be checked by someone who doesn't trust me. @boardyai pushed me to build a verifier, and it's on main tonight. Point it at a report and it recomputes the hash from what's inside. You get one of three answers. It matches. It doesn't match. Or the report was made under an older scheme that today's code can't reproduce, and the verifier tells you that plainly. I ran it on my own published report tonight and got back the same hash I posted, 0049e3dbd616. A test that changes the counts after hashing gets caught every time. The hash leaves out timestamps and run time on purpose, so two runs against the same server can land on the same hash. So far that's proven on my own machine. Other machines and Python versions are next. Receipts over promises. github.com/LHMisme420/mcp-au…
2
1
5
133
John Martin retweeted
Most AIs will invent an answer to “flibbertigibbet quantum banana.” Lu just says no. Not a language model. Knowledge-graph AI that reasons from facts, writes + runs code, holds context, and refuses to fabricate. #AI #KnowledgeGraph #NotAnLLM
1
1
161
John Martin retweeted
ChargeRights story @vivilinsv @mcuban @amorriscode @Sarah4Texas @HawkDunlap @EV_ChargeRight @AnthropicAI @claudeai Anything is possible. Dont just be about it build about it
8
2
12
552
John Martin retweeted
I’ll be actually-homeless soon (living out of my car) if I can’t land a job. Our house is being sold within two months if I don’t find work. I’ve been trying everywhere, but very few companies are answering. So please, email me or DM with literally anything involving computers, or ask a friend, or your business’s HR person. (I’d love to work with you.) I’ll do a good job, and I can learn and adapt to any working style you need. I was employee #2 at Carmack’s AI lab, Keen. I worked at Groq helping to design and implement their LPU chips. I made Books3, a dataset trained on by LLaMA and Claude. I’ve been programming for 25 years. Location: Lake Saint Louis MO Remote: Yes Willing to relocate: yes Technologies: Python, PyTorch, JAX, C++, JS/TypeScript, Objective C, Swift, Rails, Linux, Lisp, and anything else you give me a week to learn. Résumé/CV: shawwn.net/docs/shawn-presse… Email: [email protected] I wanted to avoid the humiliation of begging, but nothing is working. I need money or else our 3yo daughter loses her birth home. I’ve been through dozens of interviews from the companies that do answer, but the market is bad right now. You can have me for a steal.
344
690
135
4,605
989,629
John Martin retweeted
Who should I believe ? 🤔
30
13
2
638
11,650
John Martin retweeted
Question for every formal verification team: If you find a bug in your proof checker tomorrow, how do you know which verified proofs were affected? You don’t. Nobody does. There’s no module isolation in any proof system today. DialectForge Verify changes that. Each checker module runs in its own seed-derived scope. Bug in one module? Surgically revoke its seed. Only its proofs get scarred. Everything else untouched. Zero full re-audits. Rust library. 24 tests. API or on-prem. @Certora @trailofbits @OpenZeppelin @rv_inc @axiommathai dialectforge.com/verify/
1
120
Saturday night Monkey dance🐒
38
9
6
177
7,611
John Martin retweeted
We think privacy is a pretty big thing So we’re planning on embarking on a development journey of a platform we’ll call Ugh We plan to allow other businesses to use this platform, and we have a few ideas as to how we can ensure your data is protected and not sold.
1
2
1
4
264
John Martin retweeted
Root on DFOS is a permission level that doesn’t grant dialect knowledge. An attacker with root can see processes but can’t read their IPC. Can dump memory but gets encrypted noise. Can access the filesystem but sees scrambled sectors. Master key to a building where every room changes languages hourly.
1
91
John Martin retweeted
DialectForge VPN is now live on Windows. macOS + Windows available today. iOS in App Store review. Android coming soon. Your traffic doesn’t just get encrypted — it becomes undetectable. AI-negotiated “dialects” reshape your traffic into random noise every 2 minutes. No signatures. No patterns. Nothing to block. Patent-pending protocol. Built by one developer. dialectforge.com #VPN #Privacy #CyberSecurity #Windows #InfoSec #DialectForge #Encryption #OpenInternet
1
133
John Martin retweeted
Should I continue to make the DFoS Mesosphere (DialectForge kernel with rust and cosmic GUI) or should I finish the actually secure without data collection DialectForge Messenger for iOS?
0%DFoS GUI
0%DF Messenger
0 votes • Final results
1
123
John Martin retweeted
Download the ~460 MB live USB image + SHA256 verification file here: github.com/dialectforge/dfos… One-command decompress + dd (or Etcher) to USB. Full creds and safe mode in the README. Test it. Break it if you can.
1
164
John Martin retweeted
DFoS Troposphere “Break Me” Pentest Demo LIVE I just ran the full attack suite on my own OS. Buffer overflow? Neutralized. Memory dump? Encrypted garbage. Code injection? Garbled and blocked. ROP chain? Gadgets destroyed. Cold boot attack? Only ciphertext. Every single one defeated at the architectural level by DialectForge memory encryption. This is the Linux proof-of-concept. Something much bigger in the works. #DFoS #DialectForge #CyberSecurity #SecureOS #Pentest #InfoSec
1
2
177
John Martin retweeted
I just released DFoS Troposphere v1.0 — a hardened, penetration-proof Linux distribution built around my patent-pending DialectForge protocol. Every process gets memory encryption. Filesystem is fully encrypted and transparent. USB devices auto-quarantine. Network uses dynamic secure protocols with anomaly detection and emergency key rotation. Three-tier trust model (Native / Adopted / Quarantine). Password-protected safe mode included. I baked in a public “Break Me” pentest challenge. Thousands of attack surfaces tested — it’s still standing. This is the working proof-of-concept. A real-world test run for something much bigger I’m building next. The last month nearly broke me. I tested it on a dying laptop while barely able to afford basics. This project pushed me to every limit — financially and physically. I can’t bootstrap the next phase alone anymore. If you’re serious about structural OS security, an investor, or a company that gets what a true patented security moat looks like — download it, test it, try to break it, and DM me. Serious inquiries only. The era of bolted-on security is ending. Download + SHA256 verification link in my first reply 👇 #DFoS #CyberSecurity #SecureOS
1
1
1
696
John Martin retweeted
I just applied to @ABCSharkTank. 3 days ago I was pulling wire in Kentucky. Then @mcuban reposted my work, DM'd me, and personally introduced me to Shark Tank casting. Today I submitted my application for Season 18. Here's the wild part: I'm not a tech founder. I'm a Master Electrician. IBEW Local 369. Zero coding background. I built @EV_ChargeRight — a $12.99 tool that saves homeowners $3,000-$5,000 on unnecessary electrical panel upgrades before EV charger installs. 70% of EV owners don't need the upgrade they're being sold. The math proves it. NEC 220.82. I built the entire product with @AnthropicAI's Claude. No dev team. No funding. Just a tradesman with a problem worth solving. This week: - 860K+ views on my story - 16K likes - 2.4K reposts - Mark Cuban in my DMs A week ago I was just an electrician with an idea and a laptop. Now I'm applying to pitch in the Tank. If you're in the trades and thinking about building something — do it. The barrier isn't technical skill. It's believing you're allowed to try.
412
982
78
8,967
366,078
John Martin retweeted
This weekend was different. Build in Public paused for a moment. I realized how hard and unfair it is for kids to play “free” games on the App Store or Play Store. Ads everywhere. Hard-to-close popups. Pay-to-play tricks. For kids. That’s not free. That’s predatory. What blows my mind is this: App stores take forever to approve real, helpful apps… but somehow allow games for kids packed with aggressive ads. Kids don’t know what they’re clicking. They just feel the irritation. “I was playing… and this thing appeared.” Have you tried closing those ads? It’s almost impossible. So I did something about it. This weekend, I built a simple game emulator for my nephews. Classic games. No ads. No accounts. No passwords. No chats. No friction. They loved it. So I decided to publish it for everyone. Kids. Adults. Anyone who just wants to play. Free forever. No ads. Forever. If you save it to your home screen, it even looks like a real app. Tap. Play. Done. Sometimes building isn’t about startups or metrics. Sometimes it’s just about fixing something that feels wrong. Love for everyone ❤️ Link in the first comment below 👇
20
2
55
1,302
John Martin retweeted
Replying to @TyroneMay
X is a great place for founders and developers. Welcome to the community—keep building.
1
1
2
18
2019: learn to code 2025: lear to daycare
361
2,932
155
31,055
638,476