Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
31.
An Automated Theorem Prover in Python (github.com/boyers)
2 points
stepstep
12 years ago
discuss
32.
A Python implementation of a Python bytecode runner (github.com/nedbat)
1 point
yuashizuki
11 years ago
discuss
33.
Boyer Moore Vote Algorithm O(1) Space O(N) Time (github.com/raghavan)
1 point
raghavankl
2 years ago
discuss
34.
Boyer Moore Majority Vote Algorithm – Counting Most Repeated Characters in O(n) (github.com/raghavan)
1 point
raghavankl
2 years ago
discuss
35.
Show HN: rapidstring – Maybe the fastest string library ever (github.com/boyerjohn)
1 point
johnboyer
8 years ago
discuss
36.
Show HN: Command-line app for viewing BoltDB files in your terminal (github.com/hasit)
1 point
hasit
10 years ago
discuss
37.
Fix Boyer-Moore searcher with the Rytter correction (github.com/microsoft)
193 points
HenryR
6 years ago
53 comments
38.
Nqthm – the original Boyer-Moore theorem prover, from 1992 (github.com/John-Nagle)
2 points
jaredsohn
10 years ago
discuss
39.
Show HN: 500x faster string matching for Linux Netfilter (O(1) vs. O(N)) (github.com/landerrosette)
4 points
landerrosette
4 months ago
discuss
40.
Show HN: ShadowStrike – building an open-source EDR from scratch (github.com/Soocile)
1 point
Soocile
4 months ago
2 comments
41.
AI Assisted Linguistic Synth:Mapping Proto-Sinaitic Roots in Voynich Manuscript (github.com/adrihd)
1 point
adrihd
4 months ago
1 comment