Top New Best Ask Show Jobs

syumei

150 karma · joined October 23, 2022

Ph.D. student @columbia working on Security, Crypto, and AI/ML

submissions comments

I5h: Build a Rust Web App and Prove Its Behavior with Lean 4

medium.com·1 pts·syumei·

Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?

3 pts·syumei·

How JWT Authentication Works

medium.com·4 pts·syumei·

Building a Browser Without V8: What Broke, and What Worked

medium.com·3 pts·syumei·

Think Like an Attacker: CI/CD Security in the AI Era

medium.com·2 pts·syumei·

$1,500 AI System Prompt Leak: Using This Burp Suite Configuration

medium.com·1 pts·syumei·

Cilfi: Automatic Function Identification in .NET Binaries

blog.washi.dev·1 pts·syumei·

How to Become an Ethical Hacker – HTTP Request Tampering

medium.com·2 pts·syumei·

I built a browser and HTTP client together from scratch for pentesting

reddit.com·1 pts·syumei·

Top 20 AI Agent Pen-Testing Tools for 2026: The Ultimate Guide

medium.com·1 pts·syumei·

Grand Theft Auto VI Hype Leads to Malware

huntress.com·1 pts·syumei·

CrowdStrike Announces Agentic Identity Provider

crowdstrike.com·2 pts·syumei·

Malware Analysis in the Age of AI: What Still Requires Human Skill?

trainsec.net·4 pts·syumei·

Hacking Cable: AI in post-exploitation operations

palisaderesearch.org·1 pts·syumei·

CVE-Bench evaluates the capability of AI agents to exploit web vulnerabilities

cvebench.com·2 pts·syumei·

SoC Analysts Read Firewall Logs: What You Are Expected to Know

medium.com·2 pts·syumei·

Do We Still Need Burp Suite for Web Security Testing?

medium.com·6 pts·syumei·

I turned my 2018 Redmi Note 5 Pro into a Kali NetHunter platform for $0

reddit.com·2 pts·syumei·

The eBPF Pivot – From Hardware Lock-In to Programmable Networking

ebpf.io·2 pts·syumei·

The first AI-run ransomware attack copied its Bitcoin address out of a tutorial

medium.com·5 pts·syumei·

SeekMoon: From IDE to ADE

moonbitlang.com·3 pts·syumei·

What Linux does when you malloc()?

medium.com·9 pts·syumei·

Breaking GitLab's GraphQL Layer: CVE-2026–19478 and CVE-2026–19650

medium.com·1 pts·syumei·

I Found a Self-Propagating Worm Hiding Inside [.vscode] in My Own Commits

medium.com·12 pts·syumei·

Tiny Rust Layout Choices Freed 100 TB of DNS Cache Memory

talmondrlm.medium.com·1 pts·syumei·

Claude Code vs. Codex – For Pentesting

medium.com·1 pts·syumei·

What Should Programmers Do While the AI Writes Code?

medium.com·1 pts·syumei·

A Stranger's Pull Request Almost Stole My Cloud Credentials

medium.com·3 pts·syumei·

Anatomy of a Browser

medium.com·12 pts·syumei·

If AI Writes the Code, Why Is Half of Python's Ecosystem Now Written in Rust?

medium.com·1 pts·syumei·

Page 1 of 4Next →