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
20082026
-
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 -
…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) -
…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) -
…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) -
…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) -
…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? -
…/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) -
…/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) -
…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) -
…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) -
…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) -
…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) -
…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) -
…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)