Hacker GitHub

← All repos

rurban/smart

View on GitHub ↗ ★ 7 JavaScript

Improved String Matching Algorithms Research Tool

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2024-03-01 · latest 2024-05-05

Mentions per year 3 mentions · busiest year 2024 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …space use it regularly. I've setup cbmc and goto-analyzer for string searching algos here https://github.com/rurban/smart and really found some bugs in old published algos.
    comment by rurban · 2024-05-05 · in CBMC: C bounded model checker (2021)
  2. I wrote some shm API wrappers here: https://github.com/rurban/smart/blob/new/source/algos/includ... Never use /dev/shm directly unless Linux only.
    comment by rurban · 2024-04-14 · in Show HN: Comprehensive inter-process communication (IPC) toolkit in modern C++
  3. …builds? Not for this one, sorry. This is luxury. Rather check clang-tidy, and add fuzzing. https://github.com/rurban/smart
    comment by rurban · 2024-03-01 · in You've just inherited a legacy C++ codebase, now what?