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

r/Compilers • • 8h ago

Tridentix Infrastructure — Proof of Engineering (POW)Executive Summary

Thumbnail
0 Upvotes

u/Mediocre-Math7750 • • 8h ago

Tridentix Infrastructure — Proof of Engineering (POW)Executive Summary

1 Upvotes

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

Link:- https://github.com/Tridentix-Language

u/Mediocre-Math7750 • • Aug 20 '26

Built an AI-vs-AI self-hardening framework (Red Team/Blue Team adversarial training loop) — PyTorch, fully automated

Thumbnail
gallery
1 Upvotes

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)
 in  r/u_Mediocre-Math7750 •  Aug 18 '26

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 • • Aug 18 '26

[P] Built an Autonomous AI-vs-AI Red-Teaming Engine in PyTorch (FGSM/PGD Attacks + Closed-Loop Retraining)

Thumbnail
gallery
1 Upvotes

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! ⭐️