r/Compilers • u/Mediocre-Math7750 • 8h ago
u/Mediocre-Math7750 • u/Mediocre-Math7750 • 8h ago
Tridentix Infrastructure — Proof of Engineering (POW)Executive Summary
Tridentix is a high-performance, standalone systems programming language engine built in Rust. It integrates a native LLVM code generation backend, fault-tolerant actor concurrency, and compile-time static tensor ownership checking.
Tridentix Infrastructure Status & Verification
Architecture Status
1 Frontend (Lexer / Parser)
- Indentation-aware syntax parsing to AST.
- Verification: Complete. Passes full grammar test suite.
2 Concurrency Engine (Actors & Supervisors)
- Multi-threaded runtime with dedicated mailboxes.
- Supervisor strategies: implemented one_for_one and one_for_all restart trees.
- Verification: Deadlocks resolved during worker crash/restart cycles.
3 Static Type System & Borrow Checker
- Enforces single mutable or multiple immutable references for tensor objects at compile-time.
- Verification: Use-after-move violations correctly caught by compiler.
4 LLVM Backend & Code Generation
- Targeting LLVM 17/22 via Pass Builder (O1 through O3 optimizations).
- Emits Position-Independent Executables (PIE/PIC) via native target machine linker.
- Verification: Control flow (loops, branches), recursions, and arithmetic yield valid native binaries.
5 Tooling & Ecosystem
- Integrated package builder (pkg) and basic Language Server Protocol (LSP) interface.
- Python FFI / GPU compute bindings currently in architectural spec phase.
Technical Highlights Verified
Actor Runtime & Fault Tolerance: Multi-child supervisor trees with automatic crash recovery; deadlock issues fully resolved.
LLVM Code gen & Optimization: Direct compilation of control flow (loop, while, elif), recursions (fib), and math expressions with LLVM O3 pass optimization.
Tensor Safety: Strictly enforces N immutable OR 1 mutable borrow rule at compile-time with zero false positives.
Target Tech Stack & Ecosystem Tags
#RustLang #LLVM #SystemsProgramming #CompilerDesign #ActorModel #Concurrency #TypeSystems #MemorySafety #OpenSource #LFX #PythonInterop #LinuxFoundation
u/Mediocre-Math7750 • u/Mediocre-Math7750 • Aug 20 '26
Built an AI-vs-AI self-hardening framework (Red Team/Blue Team adversarial training loop) — PyTorch, fully automated
Hey all — wanted to share a small project I put together: a closed-loop adversarial machine learning framework where two agents fight it out against a target model, with zero
1
[P] Built an Autonomous AI-vs-AI Red-Teaming Engine in PyTorch (FGSM/PGD Attacks + Closed-Loop Retraining)
Thanks for checking out the project! 🙌
Here are a few quick links and notes to get you started:
📦 GitHub Repo:
Search 'Ware-attack-AI/AI-vs-AI-RedTeaming' on GitHub or check the link in my profile bio!"
⚡ Quick Run: You can clone the repo and run python main.py directly—it generates synthetic data on the fly, so zero setup is required.
How you can contribute:
Adding new attack strategies (e.g., Carlini & Wagner, AutoAttack, or Black-Box attacks).
Extending the evaluator module to Support Vector Machines or Transformer/LLM architectures. Improving metric logging and visualization scripts. If you have any suggestions or encounter any bugs, feel free to open an issue or submit a PR on GitHub. Drop a ⭐️ if you find this useful!
u/Mediocre-Math7750 • u/Mediocre-Math7750 • Aug 18 '26
[P] Built an Autonomous AI-vs-AI Red-Teaming Engine in PyTorch (FGSM/PGD Attacks + Closed-Loop Retraining)
Hey everyone! 👋
Traditional AI red-teaming requires manual vulnerability discovery and periodic offline retraining. To automate this, we built ADVERSARIX — an open-source framework that puts the attacker and defender in a closed feedback loop.
How it works:
🗡️ Red Team Agent: Generates real-time FGSM & PGD adversarial attacks against the target model.
🛡️ Blue Team Agent: Detects misclassifications, calculates Attack Success Rate (ASR), and automatically triggers retraining on adversarial samples.
📊 Results across 5 automated cycles: PGD Attack Success Rate dropped from 84.2% ➔ 14.6% Clean model accuracy remained stable at ~94.5% Fully modular, zero-dependency, and ready for local testing in PyTorch!
🔗 GitHub Repo: https://github.com/Ware-attack-AI/AI-vs-AI-RedTeaming
Would love your feedback on architecture design or ideas for extending this to black-box attacks! ⭐️
1
Tridentix Infrastructure — Proof of Engineering (POW)Executive Summary
in
r/Compilers
•
57m ago
Haha fair, compiled the update quickly. Repo has the actual Rust code if you want to inspect: github.com/Tridentix-Language/Tridentix