1,249 karma · joined October 9, 2014
Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and management consulting clients.
If you enjoy dealing with very smart clients in a somewhat technical and fast-paced environment, this role may be for you. The Survey Director exercises 3 different skill sets:
1. Client management/communication skills: Interact with clients all the time
2. Business acumen: Learn about different industries/niches and transfer learning across projects
3. Technical skills: Never-ending supply of short coding puzzles (think <10 lines)
This is not a software engineering role, but some coding familiarity is required. It's a tough role, but super interesting work!
If you're interested in learning more, shoot me (the founder) a note with either your resume and/or LinkedIn: hn2 [at] <our-domain-from-above>. You'd be joining a bunch of other HNers who work here
Shameless plug: I wrote my own feed, currently delivering Robert Frost daily: https://github.com/felipeochoa/rsspoetry/ (also a good ocaml learning experience with some notes about it for the curious)
Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and management consulting clients.
If you enjoy dealing with very smart clients in a somewhat technical and fast-paced environment, this role may be for you. The Survey Director exercises 3 different skill sets:
1. Client management/communication skills: Interact with clients all the time
2. Business acumen: Learn about different industries/niches and transfer learning across projects
3. Technical skills: Never-ending supply of short coding puzzles (think <10 lines)
This is not a software engineering role, but some coding familiarity is required. It's a tough role, but super interesting work!
If you're interested in learning more, shoot me (the founder) a note with either your resume and/or LinkedIn: hn2@<our-domain-from-above>. You'd be joining a bunch of other HNers who work here
Not sure if those points are still relevant
[1] https://security.stackexchange.com/questions/245233/long-ter...
Disclosure: I previously worked with one of the founders
Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and management consulting clients.
If you enjoy dealing with very smart clients in a somewhat technical and fast-paced environment, this role may be for you. The Survey Director exercises 3 different skill sets:
1. Client management/communication skills: Interact with clients all the time
2. Business acumen: Learn about different industries/niches and transfer learning across projects
3. Technical skills: Never-ending supply of short coding puzzles (think <10 lines)
This is not a software engineering role, but some coding familiarity is required. It's a tough role, but super interesting work!
If you're interested in learning more, shoot me (the founder) a note with either your resume and/or LinkedIn: hn2@<our-domain-from-above>. You'd be joining a bunch of other HNers who work here.
I seldom see addressed how they factor changes in group composition. If the 1% are a constantly changing bunch, the narrative is very different than if it's always the same group of people. I wonder if age composition also has something to do with it (I imagine retiree income differences are much more stark than at 30y)
Looking for a freelancer who has experience building client-facing services with SMT solvers. Particularly in the area of program verification. If you've done SMT in a browser even better.
Email: hn@inc-query.com
Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and management consulting clients.
If you enjoy dealing with very smart clients in a somewhat technical and fast-paced environment, this role may be for you. The Survey Director exercises 3 different skill sets:
1. Client management/communication skills: Interact with clients all the time
2. Business acumen: Learn about different industries/niches and transfer learning across projects
3. Technical skills: Never-ending supply of short coding puzzles (think <10 lines)
This is not a software engineering role, but some coding familiarity is required. It's a tough role, but super interesting work!
If you're interested in learning more, shoot me (the founder) a note with either your resume and/or LinkedIn: hn@inc-query.com. You'd be joining a bunch of other HNers who work here.
For APAC candidates: You'd be the 3rd hire in the region! We're looking for UTC+7 and points east (E/SE Asia, Oceania, Aus/NZ).
Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and management consulting clients.
If you enjoy dealing with very smart clients in a somewhat technical and fast-paced environment, this role may be for you. The Survey Director exercises 3 different skill sets:
1. Client management/communication skills: Interact with clients all the time
2. Business acumen: Learn about different industries/niches and transfer learning across projects
3. Technical skills: Never-ending supply of short coding puzzles (think <10 lines)
This is not a software engineering role, but some coding familiarity is required. It's a tough role, but super interesting work!
If you're interested in learning more, shoot me (the founder) a note with either your resume and/or LinkedIn: hn@inc-query.com. You'd be joining a bunch of other HNers who work here.
For APAC candidates: You'd be the 2nd hire in the region! We're looking for UTC+7 and points east (E/SE Asia, Oceania, Aus/NZ).
Looking for a freelancer with experience using proof assistants to help formalize and debug a couple of complex algorithms we've developed. Don't have a strong preference for a particular proof system, but will ask about your preference and why.
Keyword bingo: formal methods, coq, agda, isabelle, idris, proof assistant
""" Disclosure: I'm the author of rjsx-mode)
The best setup I've found is to use js2-mode for .js and rjsx-mode for .jsx, which parse the buffer for syntax highlighting, local refactoring (with js2r) and basic linting. For typescript, use typescript-mode. Flow support is quite bad ATM
nvm.el replaces the shell scripts from nvm.
Add a jsconfig.json to your project root and enable tide-mode for completion. This has worked far better than tern-mode, which some people recommend.
For fuller linting than what js2/rjsx offer, use flycheck. Eslint support is built-in, so it should just work, I think.
[2018 update: I prefer using tslint, which you can accomplish with:
(flycheck-add-mode 'typescript-tslint 'js2-mode)
(flycheck-add-mode 'typescript-tslint 'rjsx-mode)]
Finally, for build management, I use prodigy to run webpack, babel, ts, etc.
Especially given they purposefully don't re-use the SMT context across SMT terms.
Aren't the big SMT solvers already doing a bunch of optimization to allow incremental (push/pop) queries to be fast?
Inc-Query | Operations (not-dev) | Full-time | REMOTE (US/Canada/EU only) | https://inc-query.com
Small, profitable, rapidly growing, fully remote tech company. We program surveys insanely fast for private equity and management consulting clients.
If you enjoy dealing with very smart clients in a somewhat technical and fast-paced environment, this role may be for you. The Survey Director exercises 3 different skill sets:
1. Client management/communication skills: Interact with clients all the time
2. Business acumen: Learn about different industries/niches and transfer learning across projects
3. Technical skills: Never-ending supply of short coding puzzles (think <10 lines)
This is not a software engineering role, but some coding familiarity is required. It's a tough role, but super interesting work!
If you're interested in learning more, shoot me (the founder) a note with either your resume and/or LinkedIn: hn@inc-query.com. You'd be joining a bunch of other HNers who work here.
Inc-Query | Senior Full-Stack Engineer | REMOTE (US/Europe)
Inc-Query is a small, profitable, rapidly growing, fully remote company in a sensitive B2B environment. This engineer will help us continue our crazy growth. We are looking for a senior engineer for this role.
Our stack includes Django, Express, React, TypeScript, and vanilla JS. We are super focused on simplicity and correctness, and favor functional programming idioms and style where relevant (less so in Python ¯\_(ツ)_/¯). The TS codebase is much larger/more active than the Python codebase, so expect to spend more time in TS/JS.
We're a fully remote company, and open to full-time, part-time, or flex-time arrangements for the right person.
We've hired several non-engineers through HN, and are excited to bring on an engineer through here now!
"Move carefully and don't break things."
"Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away."
Contact: hn-eng@inc-query.com
Inc-Query is a small, profitable, rapidly growing, fully remote company in a sensitive B2B environment. This engineer will help us continue our crazy growth by building out our infrastructure.
We're allergic to cargo-cult programming and incidental complexity; our goal is to have understandable building blocks that don't break much and are easy to fix/replace when they do.
We've hired several non-engineers through HN, and are excited to bring on an engineer through here now!
"Move carefully and don't break things."
"Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away."
Contact: hn-eng@inc-query.com