Did you buy it on Amazon by any chance? I had this issue with another branded toy and it turned out to be a knockoff
1,249 karma · joined October 9, 2014
Then there’s a separate issue of the control system being crappy. Even if it’s 20F and you need to heat the cabin to 55F, I don’t want deafening heat blasting in my face for 2 minutes to get there ASAP. I’d prefer a 10-15 slow ramp.
I realize those are highly personal desires, but I’m way better served by an old school(hot/cold)x(1/2/3/45) control. I’m happy to be the PID controller for the system
doAOrB(args, aOrB: bool)
@param flag: if set and if aOrB is true, warnings log to stdout and die, otherwise warnings are saved in the foobar field of args odd := {hd: 1}
even := {hd: 0, tail: odd}
odd.tail := even
blink x := x ? odd : even
fix({odd, even} => {
odd: {hd: 1, tail: even},
even: {hd: 0, tail: odd}
})
Is the productivity condition sort of like the dual of the positivity restriction on inductive types?
The article describes the VPRI goal as a full system in 20k LOC, including graphics rendering, multiprocessing, etc. The infrastructure for this specific piece (IIRC, mostly Ohm) was used across many different parts of the system. So probably you can allocate some %, but certainly not all
I'm looking for a cryptographer to help design a protocol, and either write or audit security-sensitive code. We are not a "crypto" company in the web3 sense of the term.
We allow users to encrypt their data (not quite E2E) using their own passwords/keys, which makes certain features difficult to implement. We are therefore aiming to change the encryption scheme, and want to ensure we do this right.
When responding please include which AES mode you'd use for authenticated encryption.
Contact: hn@inc-query.com
I’m the founder at Inc-Query, a ~70-person, fully remote company that’s building a better survey platform. We are looking for a senior full-stack developer to join our small but growing dev team.
Our stack is TypeScript, Node, React, and Postgres primarily, with a smaller Django/PG codebase too. I daydream about rewriting in Rescript or Koka :)
We have a variety of interesting technologies, including a custom programming language interpreter and type checker, a concurrent editing system, a data streaming service, and more. We value LOC not written more than LOC that are, and we try not to break things.
We have been a fully remote company since 2016, spread across over a dozen countries, and therefore tend to work asynchronously and sustainably. We are *profitable*, growing organically, and we have an extremely talented team.
If this sounds like it would be a good role for you, please email me at hn[at]domain_name and include "survey" somewhere in the email body to defeat the spam filter. Recruiters and agencies will be silently ignored or blocked
I’m the founder at Inc-Query, a ~60-person, fully remote company that’s building a better survey platform. We are looking for a senior full-stack developer to join our small but growing dev team.
Our stack is TypeScript, Node, React, and Postgres primarily, with a smaller Django/PG codebase too. I daydream about rewriting in Rescript or Koka :)
We have a variety of interesting technologies, including a custom programming language interpreter and type checker, a concurrent editing system, a data streaming service, and more. We value LOC not written more than LOC that are, and we try not to break things.
We have been a fully remote company since 2016, spread across over a dozen countries, and therefore tend to work asynchronously and sustainably. We are **profitable** and growing organically, and we have an extremely talented team.
If this sounds like it would be a good role for you, please email me at hn[at]domain_name and include "survey" somewhere in the email body to defeat the spam filter
I'd say just get a filing/search system and be happy to have a large antilibrary
I’m the founder at Inc-Query, a ~50-person, fully remote company that’s building a better survey platform. We are looking for a senior full-stack developer to join our small but growing dev team.
Our stack is TypeScript, Node, React, and Postgres primarily, with a smaller Django/PG codebase too. I daydream about rewriting in Rescript or Koka :)
We have a variety of interesting technologies, including a custom programming language interpreter and type checker, a concurrent editing system, a data streaming service, and more. We value LOC not written more than LOC that are, and we try not to break things.
We have been a fully remote company since 2016, spread across over a dozen countries, and therefore tend to work asynchronously and sustainably. We are profitable and growing organically, and we have an extremely talented team.
If this sounds like it would be a good role for you, please email me at hn[at]domain_name and include "survey" somewhere in the email body to defeat the spam filter
I’m the founder at Inc-Query, a ~50-person, fully remote company that’s building a better survey platform. We are looking for a senior full-stack developer to join our small but growing dev team.
Our stack is TypeScript, Node, React, and Postgres primarily, with a smaller Django/PG codebase too. I daydream about rewriting in Rescript or Koka :)
We have a variety of interesting technologies, including a custom programming language interpreter and type checker, a concurrent editing system, a data streaming service, and more. We value LOC not written more than LOC that are, and we try not to break things.
We have been a fully remote company since 2016, spread across over a dozen countries, and therefore tend to work asynchronously and sustainably. We are profitable and growing organically, and we have an extremely talented team.
If this sounds like it would be a good role for you, please email me at hn[at]domain_name and include "survey" somewhere in the email body to defeat the spam filter
Interested in formal methods, programming language design, or type theory?
We are a low-code/no-code survey solution that reduces the time and complexity to create high-quality surveys. We are profitable and growing fast!
You are a Full-Stack developer with strongly typed programming language experience. You will lead our tech stack -- TS (done right)/React/PGSQL/AWS -- and platform architecture to the next level.
We want you!
Please email me (the founder) at hn[at]domain_name and include "survey" somewhere in the email body to defeat the spam filter
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 [at] <our-domain-from-above>. You'd be joining a bunch of other HNers who work here.
Please include "survey" somewhere in your email so I know it's not spam
Want to see how formal verification techniques help businesses get more accurate answers?
We are a low-code/no-code survey solution that reduces the time and complexity to create high-quality surveys. We are profitable and growing fast!
You are a Full-Stack developer with strongly typed programming language experience. You will lead our tech stack (TS/React/PGSQL/AWS) and platform architecture to the next level.
We want you!
Please email me (the founder) at hn[at]domain_name
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 [at] <our-domain-from-above>. You'd be joining a bunch of other HNers who work here.
Please include "survey" somewhere in your email so I know it's not spam
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 [at] <our-domain-from-above>. You'd be joining a bunch of other HNers who work here.
Please include "survey" somewhere in your email so I know it's not spam
Bootstrapped and profitable tech company looking to grow to the next level seeks VP of Engineering to drive that growth. For our level of maturity (in VC terms we’d be series B), our engineering team is very underdeveloped (more like seed), so this role will have ample freedom to define the future of the organization.
We have very strong product/market fit (fanatical userbase) with really good traction and growth, and our tech is an essential differentiator for that. We operate in a space with very high essential complexity, which makes the engineering challenging and interesting (e.g., we have a custom programming language with 2 interpreters, a type checker, and SMT verification).
This role will be the senior-most member of the engineering org, reporting directly to the founder/CEO (me). You’ll be in charge of building out the rest of the team, making high-level technical decisions, establishing the culture and processes to ensure effective collaboration, etc.
Tech stack = Typescript (node, react) + Python (Django) + Postgres on AWS. Operational complexity is low, but application complexity is high.
*Ideal candidate*
- You’ve helped grow a startup from the very early days (first couple of employees) to the next milestone (10-20+ engineers)
- You have experience working with and managing engineers remotely, including hiring, developing, and retaining the team
- You’re smart but humble and curious , and you’re a nice person that people enjoy working with and for
- You care more about building a product sustainably and effectively than using the latest shiny tech or getting funded by $ELITE_VC
- If you’ve been at FAANG or similar, you’re aware that you’re going to have to help create all the scaffolding from ~scratch
- You’re excited about better work/life balance than your previous startup, but still want to drive an ambitious growth plan
Contact: hn_vpe [email separator character] [company name].com
[Not affiliated with feedly, just a happy user]
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.
Yes I post this most months because we are growing like crazy! Please include "survey" somewhere in your email so I know it's not spam