nowfound

Life & fun · January 8, 2018

HyperLogLog intersections

HyperMinHash: Bringing intersections to HyperLogLog - axiomhq/hyperminhash

HyperLogLog intersections launched on January 8, 2018 with 88 votes, #501 of 3,021 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 8 years on.

Visit github.com ↗Alternativestop 17% of January 2018

In plain words

HyperLogLog intersections is a GitHub-hosted project that implements intersection operations using the HyperLogLog probabilistic data structure. Designed for developers working with large datasets, it provides an efficient method for estimating set intersections with reduced memory overhead compared to traditional approaches. The tool is particularly useful for applications requiring fast approximate counting and set operations on massive collections of data.

written from the facts on this page · September 2026

Does a similar job

all alternatives →
  • An improved version of HyperLogLog2017 · github.com · ▲194

    HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom - axiomhq/hyperloglog

  • HyperLogLog in Zig2023 · github.com · ▲154

    Zig library for HyperLogLog estimation. Contribute to axiomhq/zig-hyperloglog development by creating an account on GitHub.

  • IM
    I made a puzzle game that gently introduces my favorite math mysteries2024 · rahulilango.com · ▲1,054

    This is the first iteration of a short game I’m making that tries to interactively explain some of my favorite math questions / ideas. My goal is mostly to get the player curious and not necessarily to explain absolutely everything. There were a lot of fun technical parts to building this: - For implementation reasons, it’s much easier if the lines all have integer intersection points with each other. To do this, when a new line is added I “cheat” by rounding intersections to integers and then splitting the old lines at the intersection into new linds (with potentially different slopes)…

  • Formally verified polygon intersection – Opus 4.8 oneshots, prev failedJun 2026 · github.com · ▲93

    To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…

  • HypergraphZ – A Hypergraph Implementation in Zig2024 · github.com · ▲65

    HypergraphZ – directed hypergraph library in Zig with Python bindings - yamafaktory/hypergraphz

  • A hash array-mapped trie implementation in C2023 · github.com · ▲171

    Long-simmering side project that is finally ready to see the light. HAMTs are a cool persistent data structure and implementing one has been a lot of fun. Beyond the code, there is likely some value in the extensive and largely complete implementation docs; basic benchmarks are linked in the README, too. Kind of aiming to be "the libavl for HAMTs". That is obviously a high and aspirational bar but a distinct possibility if it stirs up a little interest and/or contribution. Anyways, it's time for this to go out, collect feedback and maybe even some use outside of toy projects. Let me…

More life & fun this month

the category →

Source: Show HN post ↗

Launched alongside, January 2018

the whole month →
  • Buy Me a Coffee▲1,411

    A simple, meaningful way to fund your creativity.

    Growth · 2018 · buymeacoffee.com

  • Robinhood Crypto▲1,208

    Zero-fee cryptocurrency trading from Robinhood 💸

    Commerce · 2018

  • Launchaco 2.0 🦄▲1,113

    Simple landing pages for your startup

    Dev tools · 2018

  • Indie Hackers Community▲1,095

    Work together to build profitable businesses & side projects

    Work · 2018 · indiehackers.com

  • Typeform 2.0▲793

    Build beautiful conversational forms, surveys and more

    Life & fun · 2018 · typeform.com

  • Resume.io▲731

    Build your job-winning resume in minutes

    Work · 2018 · resume.io