HNHacker News
TopNewBestAskShowJobs

tyoma

1,542 karma · joined August 11, 2012

submissionscomments

In memory of the man who put red and green squiggles under words

devblogs.microsoft.com·97 pts·tyoma·
1

Evaluating Solidity support in AI coding assistants

blog.trailofbits.com·1 pts·tyoma·
0

Arsine (AsH3) – From Reconnaissance Balloons to Integrated Circuits

toxandhound.com·2 pts·tyoma·
0

Understanding Apple's On-Device and Server Foundation Models Release

blog.trailofbits.com·1 pts·tyoma·
0

An informal comparison of the three major implementations of std:string

devblogs.microsoft.com·127 pts·tyoma·
29

Technologist vs. spy: the xz backdoor debate

lcamtuf.substack.com·16 pts·tyoma·
1

Retro Computing via Cheap FPGAs

github.com·2 pts·tyoma·
0

ETW internals for security research and forensics

blog.trailofbits.com·2 pts·tyoma·
0

Claude for Google Sheets

docs.anthropic.com·1 pts·tyoma·
0

The Curse of Dialup World

allenpike.com·185 pts·tyoma·
69

Codex (and GPT-4) can’t beat humans on smart contract audits

blog.trailofbits.com·2 pts·tyoma·
1

Adventures in compatibility: The case of the display control panel crash on exit

devblogs.microsoft.com·2 pts·tyoma·
0

Voyager files for Chapter 11 Bankruptcy

old.reddit.com·22 pts·tyoma·
1

Video has been removed for rights reasons

bbc.com·2 pts·tyoma·
0

Why are device-independent bitmaps upside down?

devblogs.microsoft.com·5 pts·tyoma·
0

Full text: An epic Bill Gates email rant (2003)

blog.seattlepi.com·2 pts·tyoma·
2

Presence of debug information affects LLVM code generation

lists.llvm.org·1 pts·tyoma·
0

Benchmarking theorem provers for programming tasks: yices vs. z3

lemire.me·8 pts·tyoma·
1

California phasing out gasoline powered cars by 2035

mobile.twitter.com·8 pts·tyoma·
6

What Happens to University-Based Biotech Startups – and Why

blogs.sciencemag.org·1 pts·tyoma·
0

TSC Frequency for All: Better Profiling and Benchmarking

blog.trailofbits.com·36 pts·tyoma·
9

Fuzzing in the Year 2000

blog.trailofbits.com·1 pts·tyoma·
0

Optimizing for Security

immunant.com·3 pts·tyoma·
0

Why are chip payments so slow in the US?

quora.com·3 pts·tyoma·
0

Close Encounters with Symbolic Execution, Part 2

blog.trailofbits.com·21 pts·tyoma·
0

What You Can Ask and What You Can’t – Legal/Illegal Interview Questions [pdf]

mtu.edu·2 pts·tyoma·
0

What Happens When Your Phone Falls into the Ocean

blog.dinaburg.org·1 pts·tyoma·
0

The unsavory truth about Lyft: by a former Chicago driver.

reddit.com·1 pts·tyoma·
0

Verify Software by Playing Games

verigames.com·2 pts·tyoma·
0

Darpa Cyber Grand Challenge PM is doing an AMA on reddit

reddit.com·2 pts·tyoma·
0
Page 1 of 2Next →