CrossHair
Dev tools
testing
SHOW HN2020
97points
14comments
#666of 3,028 in 2020
Top 22%of 2020 by points
How HN took it
CuriousMostly questions and neutral comments
2 positive, 4 neutral or asking, 0 mixed, 0 critical, out of 6 comments about the project. Thread score +0.20.
Idea: 2 for, 0 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Project looks really cool and useful
From 2 comments
Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and perhaps merging…
ZeroCool2u on HNThis looks really cool. Love to see z3 being used for tools.
typon on HN
Using Z3 for tools is great
From 1 comment
This looks really cool. Love to see z3 being used for tools.
typon on HN
Objections
Overlaps with Hypothesis-Auto
From 1 comment
Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and perhaps merging…
ZeroCool2u on HN
PEP 316 naming was confusing
From 2 comments
This is a really minor nitpick that I am expressing to help you market this better. Instead of saying (defunct) PEP 316 just say inspired which communicates that you don’t do…
zitterbewegung on HNYes, please. I was confused when I first read this - I thought "why would I want to use a tool based on outdated syntax?". Maybe "PEP 316-inspired syntax"?
singhrac on HN
Requests
Collaborate and merge work with Hypothesis-Auto
From 2 comments
Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and perhaps merging…
ZeroCool2u on HNCan confirm that I would be happy to collaborate on this project, it looks really cool!
timothycrosley on HN
Integrate hypothesis minimization logic
From 1 comment
That would be amazing. It's easy to turn CrossHair into an absurdly slow fuzz tester (imagine hashing or printing your inputs early in the process). I think the ideal product…
pschanely on HN
Combine symbolic and fuzzing approaches
From 1 comment
Portfolio of a slow but precise fuzzer + fast imprecise fuzzer is the easiest integration. Start both together and return the one which fails first. SMT solvers are often…
zzz95 on HN
Questions
Is this symbolic execution based testing?
From 1 comment
So this is Symbolic Execution based testing for Python?
im_down_w_otp on HN
Has the author seen Viper or Nagini?
From 1 comment
Very cool! Ever looked at the Viper project? It's the only other system in python that I know of targeting pre and post conditions https://www.pm.inf.ethz.ch/research/viper.html…
philzook on HN
Alternatives named
Hypothesis-Auto
From 1 comment
Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and perhaps merging…
ZeroCool2u on HN
Viper and Nagini
From 1 comment
Very cool! Ever looked at the Viper project? It's the only other system in python that I know of targeting pre and post conditions https://www.pm.inf.ethz.ch/research/viper.html…
philzook on HN
HOLpy
From 1 comment
Very cool! Ever looked at the Viper project? It's the only other system in python that I know of targeting pre and post conditions https://www.pm.inf.ethz.ch/research/viper.html…
philzook on HN