HNHacker News
TopNewBestAskShowJobs

fovc

1,249 karma · joined October 9, 2014

submissionscomments
fovc··on A second Bitcoin exchange collapses in Turkey amid crackdown on cryptocurrencies
Total crypto noob question: What is the lowest cost way to convert some USD in a bank account into BTC? I looked at some exchanges and the fees seemed to be in percentage points which seemed outrageously expensive!
fovc··on Ask HN: Who is hiring? (April 2021)
Inc-Query | Operations (not-dev) | Full-time | REMOTE [US/Europe/APAC] | 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: hn2 [at] <our-domain-from-above>. You'd be joining a bunch of other HNers who work here

fovc··on On getting poetry
Completely agree. I've been looking to get into poetry, so wanted a daily poem via RSS. The stuff that's available is all purple prose which I couldn't stand.

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)

fovc··on Ask HN: Who is hiring? (March 2021)
Inc-Query | Operations (not-dev) | Full-time | REMOTE | 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: hn2@<our-domain-from-above>. You'd be joining a bunch of other HNers who work here

fovc··on Show HN: Horcrux, a Playground for Shamir Secret Sharing
Thomas Pornin didn't have great things to say about ssss: https://security.stackexchange.com/a/83924

Not sure if those points are still relevant

fovc··on Show HN: Horcrux, a Playground for Shamir Secret Sharing
On the topic of shamir shares, plugging a question I asked yesterday[1]: how do you manage them if you want to get them onto hardware? Do you just ask your tokens to encrypt the pieces and store the encrypted pieces along with the main ciphertext?

[1] https://security.stackexchange.com/questions/245233/long-ter...

fovc··on Coq 8.13
The o sound is slightly different. More like the first o in bottom
fovc··on Ask HN: Team fun event ideas during WFH?
We use watercoolertrivia.com and it's great for having something to talk about other than work/covid. We use their weekly program ($1/user/mo iirc), but they also host one off events

Disclosure: I previously worked with one of the founders

fovc··on Ask HN: Who is hiring? (February 2021)
Inc-Query | Operations (not-dev) | Full-time | REMOTE | 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: hn2@<our-domain-from-above>. You'd be joining a bunch of other HNers who work here.

fovc··on A group of Google workers have announced plans to unionize
One positive byproduct is that union membership is a quality signal for both employers and employees. I.e., as a producer, I know non-union candidates will be less experienced; as an employee I know a movie using non union labor is not going to run as smoothly. Could be good for the startup market if this additional data point becomes reliable
fovc··on Finding Software Bugs Using Symbolic Execution
I would very happily read that! Or if possible would love to chat about it -- sent you a message via LinkedIn (Only contact medium I found)
fovc··on Finding Software Bugs Using Symbolic Execution
Is there a place to find your notes?
fovc··on What if incomes grew like GDP?
There is a huge definitional challenge here. For more on that see https://slatestarcodex.com/2019/02/25/wage-stagnation-much-m...

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)

fovc··on I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA
What's a reasonable price to pay good lawyers to put together an H1-B application for an employee?
fovc··on When science was the best show in America
How do you find out about them?
fovc··on Ask HN: Freelancer? Seeking freelancer? (November 2020)
SEEKING FREELANCER | REMOTE

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

fovc··on Tokyo Stock Exchange Blackout: One Piece of Hardware Took Down a Market
Depending on your POV, financial exchanges are a great/awful example of the "behind the surface" complexity of modern life. You'd think with only a few order types and not that many tickers you could stand up an exchange using rust in a few nights and weekends, no? fsync liberally, pay colin his tarsnap dues, and off you go! /s
fovc··on Ask HN: Who is hiring? (October 2020)
Inc-Query | Operations (not-dev) | Full-time | REMOTE (US West Coast/APAC) | 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.

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).

fovc··on WSL Getting GUI Support
Have you managed to get an icon you can double click to open? I have to start WSL shell, `emacs &` then ^D. Not a huge pain, but would like a Taskbar icon
fovc··on Ask HN: Who is hiring? (September 2020)
Inc-Query | Operations (not-dev) | Full-time | REMOTE (US West Coast/APAC) | 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.

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).

fovc··on In the Turkish locale, "INFO".lower() != "info"
What about sorting users by name?
fovc··on Ask HN: Freelancer? Seeking freelancer? (August 2020)
Contact: hn@inc-query.com
fovc··on Ask HN: Freelancer? Seeking freelancer? (August 2020)
SEEKING FREELANCER | REMOTE

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

fovc··on Emacs 27.1
Won't get you graphql literals, but the new Emacs has much better JSX support. Reposting my setup:

""" 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.

fovc··on Formulog: ML + Datalog + SMT
Super interesting, and cool technique. Do you have any insight into why CSA outperforms PP so often? I would have assumed the solvers were tuned for PP
fovc··on Formulog: ML + Datalog + SMT
I would have thought the SMT queries would be the most time-consuming part of this, but the authors make a big deal of leveraging Datalog optimzations to drive performance.

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?

fovc··on Ask HN: Who is hiring? (August 2020)
And a 3rd!

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.

fovc··on Ask HN: Who is hiring? (August 2020)
We have a 2nd job post :)

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

fovc··on Ask HN: Who is hiring? (August 2020)
Inc-Query | Infrastructure Engineer | REMOTE

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

fovc··on Racket 7.8
Yes, thanks! Just edited
← PreviousPage 4 of 13Next →