Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by pschanely

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

Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)

3 pointsby pschanelyover 3 years ago

2

Code Contracts Propagate Requirements

1 pointsby pschanelyalmost 4 years ago

3

Show HN: (Failing to) model Python regular expressions with Z3

2 pointsby pschanelyalmost 5 years ago

4

Show HN: CrossHair – SMT Assisted Testing for Python

97 pointsby pschanelyover 5 years ago

5

Show HN: A turn-based strategy game with emoji graphics

4 pointsby pschanelyabout 6 years ago

6

Show HN: Incremental MapReduce and the Model-View Problem

10 pointsby pschanelyover 8 years ago

7

Show HN: Optimizing Higher Order Functions with Hypothetical Inverses

55 pointsby pschanelyabout 9 years ago

8

Sorts and Filters Suck

1 pointsby pschanelyabout 9 years ago

← Previous