HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
jamii
texsearch
OCaml2011–2018
jamii / texsearch · Archived

texsearch

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

2Distinct people
15Mentions
0Explicit recommenders
17GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

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

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year15 dated mentions

Observed mentions: 2011-04-01 15:35:28 UTC to 2018-09-02 12:22:53 UTC.

02462011-01-01 00:00:00 UTC to 2012-01-01 00:00:00 UTC (exclusive): 7 mentions; 0 submissions, 7 comments20112012-01-01 00:00:00 UTC to 2013-01-01 00:00:00 UTC (exclusive): 3 mentions; 0 submissions, 3 comments2013-01-01 00:00:00 UTC to 2014-01-01 00:00:00 UTC (exclusive): 1 mentions; 1 submissions, 0 comments2014-01-01 00:00:00 UTC to 2015-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments20142015-01-01 00:00:00 UTC to 2016-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2016-01-01 00:00:00 UTC to 2017-01-01 00:00:00 UTC (exclusive): 3 mentions; 0 submissions, 3 comments2017-01-01 00:00:00 UTC to 2018-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2018-01-01 00:00:00 UTC to 2019-01-01 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2018

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
20112011-01-01 00:00:00 UTC2012-01-01 00:00:00 UTC707
20122012-01-01 00:00:00 UTC2013-01-01 00:00:00 UTC303
20132013-01-01 00:00:00 UTC2014-01-01 00:00:00 UTC110
20142014-01-01 00:00:00 UTC2015-01-01 00:00:00 UTC000
20152015-01-01 00:00:00 UTC2016-01-01 00:00:00 UTC000
20162016-01-01 00:00:00 UTC2017-01-01 00:00:00 UTC303
20172017-01-01 00:00:00 UTC2018-01-01 00:00:00 UTC000
20182018-01-01 00:00:00 UTC2019-01-01 00:00:00 UTC101

What Hacker News says

15 sources
Location: Berlin Remote: Yes Willing to relocate: No Technologies: Python, clojure, julia, rust, javascript. Less recently erlang, ocaml, haskell. Recent heavy experience with relational query compilers, logic programming, reactive UI. Résumé/CV: http://scattered-thoughts.net/resume/ or https://github.com/jamii/ Email: jamie@scattered-thoughts.net I'm primarily looking for part-time or contract work. I spent the last two years building compilers and relational databases at Eve (http://witheve.com/). Before that I spent several years consulting. Some highlights: Item-item article recommendations for Springer users based on ~600m past downloads. Uses locality-sensitive hashing and external sorting to run on a single low-powered server. https://github.com/jamii/springer-recommendations Built a prototype replacement for the core trading engin
Read the rest
e at the Smarkets betting exchange: 10x less code, 40x better throughput, 10x better 99% latency. Built a LaTeX aware search engine to power latexsearch.com. Covers the entire Springer library – more than 8m LaTeX equations. Searches 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... > Readers: please only email these addresses to discuss work opportunities. Email me for whatever you like. Worst case I don't reply :)
In Ask HN: Who wants to be hired? (April 2016)
SEEKING WORK - Berlin/Remote I spent the last two years building compilers and relational databases at Eve (http://witheve.com/). Before that I spent several years consulting. Some highlights: Item-item article recommendations for Springer users based on ~600m past downloads. Uses locality-sensitive hashing and external sorting to run on a single low-powered server. https://github.com/jamii/springer-recommendations Built a prototype replacement for the core trading engine at the Smarkets betting exchange: 10x less code, 40x better throughput, 10x better 99% latency. Built a LaTeX aware search engine to power latexsearch.com. Covers the entire Springer library – more than 8m LaTeX equations. Searches by tree-edit distance on compressed syntax trees, using suffix arrays as a first-pass filter. https://github.com/jamii/texsearch Parallelized
Read the rest
In Ask HN: Freelancer? Seeking freelancer? (April 2016)
SEEKING WORK - Berlin/Remote I spent the last two years building compilers and relational databases at Eve (http://witheve.com/). Before that I spent several years consulting. Some highlights: Item-item article recommendations for Springer users based on ~600m past downloads. Uses locality-sensitive hashing and external sorting to run on a single low-powered server. https://github.com/jamii/springer-recommendations Built a prototype replacement for the core trading engine at the Smarkets betting exchange: 10x less code, 40x better throughput, 10x better 99% latency. Built a LaTeX aware search engine to power latexsearch.com. Covers the entire Springer library – more than 8m LaTeX equations. Searches by tree-edit distance on compressed syntax trees, using suffix arrays as a first-pass filter. https://github.com/jamii/texsearch Parallelized
Read the rest
In Ask HN: Freelancer? Seeking freelancer? (March 2016)
SEEKING WORK - London or remote. I've worked in search [1-3], recommendations [4,5], analytics [6], testing [7], and distributed/p2p systems [8-11]. I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I've worked professionally with python, ocaml and erlang. I'm also rapidly approaching comfort in clojure. I've spent the last few months at the NYC Hacker School, adapting research from the BOOM [12] and STEPS [13] projects to build tools [14,15] for rapidly prototyping distributed algorithms. Before that I spent the summer as an intern at Jane St, working on a distributed messaging system which supports querying history by causal time intervals. Resume - http://scattered-thoughts.net/about.html Blog - http://scattered-thoughts.
Read the rest
In Ask HN: Freelancer? Seeking freelancer? (December 2012)
A good fraction 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 often looking for a solution to a problem I don't know the name of which means scanning through a couple of hundred papers an hour to see which ones are relevant.
In Open science: why is it so hard?
SEEKING WORK - London or remote. I'm interested in distributed systems and big data. Some of the things I've been doing recently: testing multiple currency support at a betting exchange, building analytics widgets backed by a disco cluster for a large online publisher, working on an implementation of the telehash protocol. I've also worked in search [1,2], distributed systems [3], testing [4,5] and p2p systems [6,7,8]. I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I've worked professionally with python, ocaml and erlang. I would also like to pick up clojure. Resume - http://scattered-thoughts.net/all?tag=about Blog - http://scattered-thoughts.net/ Github - https://github.com/jamii References - http://www.linkedin.com/pro
Read the rest
In Ask HN: Freelancer? Seeking freelancer? (January 2012)
SEEKING WORK - London or remote. I'm interested in distributed systems and big data. Some of the things I've been doing recently: testing multiple currency support at a betting exchange, building analytics widgets backed by a disco cluster for a large online publisher, working on an implementation of the telehash protocol. I've also worked in search [1,2], distributed systems [3], testing [4,5] and p2p systems [6,7,8]. I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I've worked professionally with python, ocaml and erlang. I would also like to pick up clojure. Resume - http://scattered-thoughts.net/all?tag=about Blog - http://scattered-thoughts.net/ Github - https://github.com/jamii References - http://www.linkedin.com/pro
Read the rest
In Ask HN: Freelancer? Seeking freelancer? (December 2011)
SEEKING WORK Nomadic, but I plan to spend the majority of this year in London. I've worked professionally 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 ( http://bit.ly/ji-mealy ) and p2p networks ( https://github.com/jamii/dissertation , http://bit.ly/ji-telehash , https://github.com/jamii/erl-telehash ). I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I'm willing to work on anything but my main interests are distributed systems and p2p networks. My current project is described at http://bit.ly/ji-mist Blog - http://bit.ly/ji-blog Github - https://git
Read the rest
In Ask HN: Freelancer? Seeking freelancers? (October 2011)
SEEKING WORK Nomadic - currently in LA, flying to SF next week. I've worked professionally 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 ( http://bit.ly/ji-mealy ) and am making inroads into p2p ( https://github.com/jamii/dissertation , http://bit.ly/ji-telehash , https://github.com/jamii/erl-telehash ). I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I'm willing to work on anything but my main interests are distributed systems and p2p networks. My current project is described here http://bit.ly/ji-mist . Right now I'm fully engaged but I will be avai
Read the rest
lable again around the end of August. Resume (a bit out of date) - http://bit.ly/ji-about Blog - http://bit.ly/ji-blog Github - https://github.com/jamii References - http://www.linkedin.com/profile/view?id=65525388#recommendat...
In Ask HN: Freelancer? Seeking freelancer? (August 2011)
SEEKING WORK Nomadic - currently in New Mexico and heading towards the west coast around mid-July. I've worked professionally 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 ( http://bit.ly/ji-mealy ) and am making inroads into p2p ( https://github.com/jamii/dissertation , http://bit.ly/ji-telehash , https://github.com/jamii/erl-telehash ). I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I'm willing to work on anything but my main interests are distributed systems and p2p networks. My current project is described here http://bit.ly/ji-mist - if you are
Read the rest
working on something similar or interested in collaborating please get in touch. Right now I'm fully engaged but I will be available again around the end of July. Resume - http://bit.ly/ji-about Blog - http://bit.ly/ji-blog Github - https://github.com/jamii References - http://www.linkedin.com/profile/view?id=65525388#recommendat...
In Ask HN: Freelancer? Seeking freelancers? (July 2011)
SEEKING WORK Nomadic - currently in Hong Kong, will be in Albuquerque next week and possibly LA/SF around the end of the month. I've worked professionally 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 ( http://bit.ly/ji-mealy ) and am making inroads into p2p ( https://github.com/jamii/dissertation , http://bit.ly/ji-telehash , https://github.com/jamii/erl-telehash ). I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I'm willing to work on anything but my main interests are distributed systems and p2p networks. My current project is described here http:/
Read the rest
/bit.ly/ji-mist - if you are working on something similar or interested in collaborating please get in touch. Resume - http://bit.ly/ji-about Blog - http://bit.ly/ji-blog Github - https://github.com/jamii References - http://www.linkedin.com/profile/view?id=65525388#recommendat...
In Ask HN: Freelancer? Seeking freelancers? (June 2011)
SEEKING WORK Remote work preferable. Nomadic, currently in Hong Kong. I'm also interested in fulltime work and I am willing to relocate for the right job. I've worked professionally 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 ( http://bit.ly/ji-mealy ) and am making inroads into p2p ( https://github.com/jamii/dissertation , http://bit.ly/ji-telehash , https://github.com/jamii/erl-telehash ). I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning). I'm willing to work on anything interesting but my main interests are distributed systems and p2p networks. Resu
Read the rest
In Ask HN: Freelancer? Seeking freelancers? (May 2011)
SEEKING WORK Remote work preferable. Nomadic, currently in Hong Kong. I've worked professionally 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 p2p ( https://github.com/jamii/dissertation , http://bit.ly/ji-telehash , https://github.com/jamii/erl-telehash ). I have a strong background in math (real analysis, probability, discrete maths) and computer science (randomized algorithms, AI / epistemic logic, machine learning) . I'm willing to work on anything interesting but my main interests are distributed systems and p2p networks. Resume - http://bit.ly/ji-about Blog - http://bit.ly/ji-blog Github - https://github.com/jamii
In Ask HN: Freelancer? Seeking freelancers? (April 2011)

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.