Hacker GitHub

← All repos

jamii/texsearch

View on GitHub ↗ ★ 17 OCaml archived

A search index specialised for LaTeX equations. Developed for latexsearch.com.

15 mentions on Hacker News by 2 people: 1 story, 14 comments · first 2011-04-01 · latest 2018-09-02

Mentions per year 15 mentions · busiest year 2011 (7)
20082026
AllStoriesComments NewestTopOldest
  1. I used Ancient years ago for https://github.com/jamii/texsearch to stop the GC pauses caused by pointlessly traversing the huge immutable index. I don't know how else I would have met the latency requirements. Thanks for writing it :)
    comment by jamii · 2018-09-02 · in Zero-copy deserialization in Julia
  2. …by tree-edit distance on compressed syntax trees, using suffix arrays as a first-pass filter. https://github.com/jamii/texsearch Parallelized a constrain-logic programming DSL - http://scattered-thoughts.net/blog/2012/12/19/search-trees-a..…
    comment by jamii · 2016-04-01 · in Ask HN: Who wants to be hired? (April 2016)
  3. …by tree-edit distance on compressed syntax trees, using suffix arrays as a first-pass filter. https://github.com/jamii/texsearch Parallelized a constrain-logic programming DSL - http://scattered-thoughts.net/blog/2012/12/19/search-trees-a..…
    comment by jamii · 2016-04-01 · in Ask HN: Freelancer? Seeking freelancer? (April 2016)
  4. …by tree-edit distance on compressed syntax trees, using suffix arrays as a first-pass filter. https://github.com/jamii/texsearch Parallelized a constrain-logic programming DSL - http://scattered-thoughts.net/blog/2012/12/19/search-trees-a..…
    comment by jamii · 2016-03-01 · in Ask HN: Freelancer? Seeking freelancer? (March 2016)
  5. ▲ 3
    TeXsearch: search index specialize for LaTeX equations
    story by luu · 2013-12-27 · 0 comments
  6. …References - http://www.linkedin.com/profile/view?id=65525388#recommendat... [1] https://github.com/jamii/texsearch/ [2] http://scattered-thoughts.net/blog/2010/12/08/optimising-tex... [3] http://scattered-thoughts.net/blog/2010/12/19/opti
    comment by jamii · 2012-12-01 · in Ask HN: Freelancer? Seeking freelancer? (December 2012)
  7. …of the freelance work I have done has required looking up papers (eg the current implementation for https://github.com/jamii/texsearch is based on a bioinformatics paper). It's fine when you only want a single specific paper but when I'm…
    comment by jamii · 2012-01-11 · in Open science: why is it so hard?
  8. …/profile/view?id=65525388#recommendat... [1] http://scattered-thoughts.net/one/1291/799313/731344 [2] https://github.com/jamii/texsearch [3] http://scattered-thoughts.net/one/1300/292121/72985 [4] http://scattered-thoughts.net/one/1280/5110…
    comment by jamii · 2012-01-01 · in Ask HN: Freelancer? Seeking freelancer? (January 2012)
  9. …/profile/view?id=65525388#recommendat... [1] http://scattered-thoughts.net/one/1291/799313/731344 [2] https://github.com/jamii/texsearch [3] http://scattered-thoughts.net/one/1300/292121/72985 [4] http://scattered-thoughts.net/one/1280/5110…
    comment by jamii · 2011-12-01 · in Ask HN: Freelancer? Seeking freelancer? (December 2011)
  10. …with python, ocaml and erlang. I've worked in search ( http://bit.ly/ji-texsearch-opt , https://github.com/jamii/texsearch ), testing ( http://bit.ly/ji-fuzzer , https://github.com/jamii/ocamlcheck ), distributed systems (…
    comment by jamii · 2011-10-01 · in Ask HN: Freelancer? Seeking freelancers? (October 2011)
  11. …with python, ocaml and erlang. I've worked in search ( http://bit.ly/ji-texsearch-opt , https://github.com/jamii/texsearch ), testing ( http://bit.ly/ji-fuzzer , https://github.com/jamii/ocamlcheck ), distributed systems (…
    comment by jamii · 2011-08-01 · in Ask HN: Freelancer? Seeking freelancer? (August 2011)
  12. …with python, ocaml and erlang. I've worked in search ( http://bit.ly/ji-texsearch-opt , https://github.com/jamii/texsearch ), testing ( http://bit.ly/ji-fuzzer , https://github.com/jamii/ocamlcheck ), distributed systems (…
    comment by jamii · 2011-07-01 · in Ask HN: Freelancer? Seeking freelancers? (July 2011)
  13. …with python, ocaml and erlang. I've worked in search ( http://bit.ly/ji-texsearch-opt , https://github.com/jamii/texsearch ), testing ( http://bit.ly/ji-fuzzer , https://github.com/jamii/ocamlcheck ), distributed systems (…
    comment by jamii · 2011-06-01 · in Ask HN: Freelancer? Seeking freelancers? (June 2011)
  14. …with python, ocaml and erlang. I've worked in search ( http://bit.ly/ji-texsearch-opt , https://github.com/jamii/texsearch ), testing ( http://bit.ly/ji-fuzzer , https://github.com/jamii/ocamlcheck ), distributed systems (…
    comment by jamii · 2011-05-01 · in Ask HN: Freelancer? Seeking freelancers? (May 2011)
  15. …with python, ocaml and erlang. I've worked in search ( http://bit.ly/ji-texsearch-opt , https://github.com/jamii/texsearch ), testing ( http://bit.ly/ji-fuzzer ), distributed systems ( http://bit.ly/ji-mealy ) and am making inroads into…
    comment by jamii · 2011-04-01 · in Ask HN: Freelancer? Seeking freelancers? (April 2011)