Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods
My ed(1) Toolbox
aartaka.me·1d
How Sui Move rethinks flash loan security
blog.trailofbits.com·6h
humanely dealing with humungus crawlers
flak.tedunangst.com·1h
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·1d
Feed-O-Meter: Fostering Design Feedback Skills through Role-playing Interactions with AI Mentee
arxiv.org·13h
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·1d
izzyreal/vmpc-juce
github.com·16h
Loading...Loading more...