HN Explorer

syumei

↗ HN profile [ 97.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. I Rebuilt an AI Gateway in Rust. It Became 41× Faster (medium.com)
    1 points 0
  2. Getting Started with Lean 4: Proofs as Code for Real Developers (medium.com)
    1 points 0
  3. Succinct Offers ZK Verification to Chainlink CCIP 2.0 Users (blog.succinct.xyz)
    1 points 0
  4. I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs (medium.com)
    1 points 2
  5. Proving Rust Web Application Correctness with Lean 4 (medium.com)
    1 points 0
  6. Can a coding agent formally verify what real-world Rust code does, in Lean 4? (i5h.dev)
    2 points 0
  7. I5h: Build a Rust Web App and Prove Its Behavior with Lean 4 (medium.com)
    1 points 0
  8. Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?

    I'm trying to build a web app in Rust using axum, and am thinking whether I can export that Rust code to Lean4 so that I can verify business logic or security properties. I first tried Aeneas, but it can only work for…

    1 points 0
  9. 1 points 0
  10. How JWT Authentication Works (medium.com)
    1 points 1
  11. Building a Browser Without V8: What Broke, and What Worked (medium.com)
    2 points 0
  12. Think Like an Attacker: CI/CD Security in the AI Era (medium.com)
    1 points 0
  13. $1,500 AI System Prompt Leak: Using This Burp Suite Configuration (medium.com)
    1 points 0
  14. Cilfi: Automatic Function Identification in .NET Binaries (blog.washi.dev)
    1 points 0
  15. How to Become an Ethical Hacker – HTTP Request Tampering (medium.com)
    1 points 0
  16. I built a browser and HTTP client together from scratch for pentesting (reddit.com)
    1 points 0
  17. Top 20 AI Agent Pen-Testing Tools for 2026: The Ultimate Guide (medium.com)
    1 points 0
  18. Grand Theft Auto VI Hype Leads to Malware (huntress.com)
    1 points 0
  19. CrowdStrike Announces Agentic Identity Provider (crowdstrike.com)
    1 points 0
  20. Malware Analysis in the Age of AI: What Still Requires Human Skill? (trainsec.net)
    2 points 1
  21. Hacking Cable: AI in post-exploitation operations (palisaderesearch.org)
    1 points 0
  22. CVE-Bench evaluates the capability of AI agents to exploit web vulnerabilities (cvebench.com)
    1 points 0
  23. SoC Analysts Read Firewall Logs: What You Are Expected to Know (medium.com)
    1 points 0
  24. Do We Still Need Burp Suite for Web Security Testing? (medium.com)
    1 points 3
  25. I turned my 2018 Redmi Note 5 Pro into a Kali NetHunter platform for $0 (reddit.com)
    1 points 0