yaseer

14 ms·

91.
by yaseer 4y ago
> They have a hunch, pursue it There's a lot to unpack in just this. Can we define an algorithm to generate hunches? (mathematical intuition). Given infinite hunches, can we define an algorithm to order hunches by priority, to searc
92.
by yaseer 4y ago
For a mathematician, it's not the output of pruning the search space, but understanding how the search space is pruned. Understanding how ML models work is a notorious problem. A classical algorithm can be formally understood bette
93.
by yaseer 4y ago
I don't think Gowers is trying to build a better theorem prover. An AI researcher would be trying to build a better prover. Gowers is a mathematician looking for mathematical insight. This project's success would be based on how w
94.
by yaseer 4y ago
I agree he seems quite disinterested in 'machine-oriented ATP'. But he's a mathematician, not an AI researcher - they have different goals. Many AI researchers are interested in creating tools that solve problems (or proofs i
95.
by yaseer 4y ago
Interesting, most theorem provers like lean [1], coq [2] and Isabelle [2] are concerned with formalization, and interactive theorem proving. I initially thought "why do we need another one of these", like rolling your eyes at an
96.
by yaseer 4y ago
Strongly agree with this. A lot of founders make the mistake of prematurely scaling, and I've done that in the past. Scaling from a handful of people, to more than a dozen creates a significant jump in stress, and dilutes focus, for a
97.
by yaseer 4y ago
That's interesting, you're right, the article does report a linear-only relationship! They may not have sampled muscular BMIs much above 30 though: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5745404&#x2
98.
by yaseer 4y ago
My anecdotal experience is that the response-curve to muscularity for heterosexual women is non-linear (now there's a sentence I'd only write on HN...), and there's only a correlative effect for normal range BMIs. I've b
99.
by yaseer 4y ago
"I can readily tell the difference between Clarence court eggs and copycats..." is an extract from 'Middle Class British Problems' if ever I heard one! :)
100.
by yaseer 5y ago
I find it starts off this way, when your body isn't in the rhythm of exercise. As you exercise more your body changes, and its response to exercise changes. When I was exercising 5x a week, for months, the exercise routine was energisi
101.
by yaseer 5y ago
This may be from 2012, but it's surprising just how much of the specific advice still applies. Grep, sed, awk, xargs etc are still the canonical list of shell tools for debugging, and have been for decades. Makes you realise, learning
102.
by yaseer 5y ago
Would you mind sharing which companies these were?
103.
by yaseer 5y ago
This sounds like an objection based on a personal principle. I think if you tried explaining your design choices like that in a technical interview, or to a teammate, they may not be persuaded.
104.
by yaseer 5y ago
Thanks! We think UI automation has a lot of potential as a programming paradigm accessible to non-coders. Once RPA hype and noise dies down, perhaps a few signals like that will remain.
105.
by yaseer 5y ago
Yep, RPA is just User Interface Automation. Unfortunately, A lot of RPA companies, including UiPath, have co-opted the word RPA into enterprise marketing, alongside words like 'AI', so the words lose meaning. But RPA is just auto
106.
by yaseer 5y ago
> we should acknowledge that it embraces and encourages the high-risk/high-reward model, which should be entered into with open eyes We were W21. I would argue one of YC's main goals is to reduce the risk to founders, and enabl
107.
by yaseer 5y ago
Yes, I think what you're describing agrees with my family's experience. When I said 'lethargic'->'increase in energy levels', I didn't mean increase above the baseline. I meant 'lethargic'-&gt
108.
by yaseer 5y ago
Pre supplements: Feeling lethargic and often sick, not shaking off coughs. Our Doctor diagnosed Vitamin D deficiency. Post supplementation (and D levels returning to normal), sick far less often with lower severity + increase in energy leve
109.
by yaseer 5y ago
Vitamin D supplements are one of the few where there's a strong evidence base, and where health services advise on supplementation. https://www.nhs.uk/conditions/vitamins-and-minerals/vitamin-... It's p
110.
by yaseer 5y ago
Yeah that really sucks. It's understandable when the lines between state and individual are blurred - like with state sponsored doping of Olympic athletes, who are competing as part of a national organisation. But when it's an ind
111.
by yaseer 5y ago
A pretty decent incident report by the standards of government websites. As a business + personal user over 15 years, I've noticed The UK's gov.uk websites have been improving at the fastest rate I've seen over the last 3-4 y
112.
by yaseer 5y ago
Yes, whilst I admire Wolfram's work, he combines hubris (e.g. Claiming to reinvent science[0]), with a tendency to ignore the work of others [1]. Hubris aside, he's not a conventional thinker, and I found his personal setup intere
113.
by yaseer 5y ago
I agree that's the norm, however, Sega's attitude to Sonic fangames seems to be the exception that proves the rule. They are surprisingly receptive to the community, and in the case of Christian Whitehead, began to contract him fo
114.
by yaseer 5y ago
Yep, he's got iconic status in the UK for those of a certain age. It's also quite shocking for those of that age to look back and realise he died at 32!
115.
by yaseer 5y ago
Is HN easily accessible in China? Noticed how small the representation is in comparison to India and Japan and was curious if this is the local market's choice, or the great firewall in action.
116.
by yaseer 5y ago
> Do you mean expensive in terms of taxes, the market commending a higher salary, or other reasons? The market. The US market for high-salaried knowledge work always pays more, whether is Tech, Finance, Legal etc. In general, if you&#x27
117.
by yaseer 5y ago
If you live in a large city, like London, yes. But for a remote job, you're no longer tied to doing that. There's obviously this phenomenon of high-salaried tech workers moving farther out of high cost of living places like London
118.
by yaseer 5y ago
It's much more expensive to hire in the US than UK, for engineering in particular. Context - We have a UK company with US parent, and choose to hire in the UK for this reason.
119.
by yaseer 5y ago
I guess it depends on the stage, and funding level. Those that have raised a large seed round (e.g. YC companies), or Series A, $100K USD for a senior engineer is pretty common. Most of the remote jobs advertised here will be expecting that
120.
by yaseer 5y ago
Startups are awash with capital at the moment, and remote is the rule rather than exception, as it was 3 years ago. Plenty of startups don't have leetcode-type coding interviews in their culture, and the job market is such that $100k r

More ›