Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by shpat

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

1

How I Beat Repetitive Stress Injury

2 pointsby shpatover 1 year ago

2

Formal methods and AI: Where does Galois fit in?

2 pointsby shpatabout 2 years ago

3

Mathematical trick lets hackers shame people into fixing software bugs

4 pointsby shpatover 2 years ago

4

Mate: Interactive Program Analysis with Code Property Graphs

13 pointsby shpatover 2 years ago

5

Azure’s Neural Text-to-Speech

2 pointsby shpatalmost 3 years ago

6

Should It Be Easier to Trust Machines or Harder to Trust Humans?

2 pointsby shpatover 3 years ago

7

Room for Disagreement

2 pointsby shpatover 3 years ago

8

Actually, You Are Rolling Your Own Crypto

1 pointsby shpatabout 4 years ago

9

Proofs Should Repair Themselves

2 pointsby shpatover 4 years ago

10

Hackers Take on Darpa's $10M Voting Machine

2 pointsby shpatalmost 6 years ago

11

DARPA Is Building a $10M, Open-Source, Secure Voting System

649 pointsby shpatabout 6 years ago

12

A Forward-Looking, Transparent Approach to Pay

1 pointsby shpatover 6 years ago

13

Continuous Formal Verification of Amazon S2n

6 pointsby shpatalmost 7 years ago

14

Formal verification and the KRACK vulnerability

2 pointsby shpatover 7 years ago

15

Formally verifying HMAC in Amazon's s2n library

8 pointsby shpatover 8 years ago

16

Qubie is an open hardware solution for tracking wait times at voting places

1 pointsby shpatalmost 9 years ago

← Previous