yaseer

22 ms·

211.
by yaseer 6y ago
I agree, and discussed this a little. There is one key difference with the theorem provers- many of them share this lofty goal of building a library, akin to a 'library of Alexandria' (The article discusses this vision, and the re
212.
by yaseer 6y ago
Thanks for sharing! I Remember seeing Dedukti a while back, but I haven't seen some of these newer translation efforts. I do hope the translation systems are actively used to consolidate, rather than built as an academic exercise. Ther
213.
by yaseer 6y ago
There are several proof assistants trying to do what lean is doing (Coq, Isabelle to name but a few). Some of them have very well funded research projects with similar goals: https://cordis.europa.eu/project/id/742
214.
by yaseer 6y ago
It's both a very hard problem, and a very interesting problem. My impression is that most of the work on the project is motivated by interest in learning about OSs, rather than demand from real use-cases. If the problem had strong enou
215.
by yaseer 6y ago
Does anybody use ReactOS regularly? What's your experience with it? Very curious to see how far it's come for practical usage.
216.
by yaseer 6y ago
Awesome stuff. I'm an ocaml novice, but love the language. I've found its fusing of object oriented and functional styles far, far more elegant than scala.
217.
by yaseer 6y ago
There probably is some value, and demand, for cloud products which reduces dependency/control by a single company. The model seems very hard to execute on though; Diaspora comes to mind. I think there's a mismatch between what peo
218.
by yaseer 6y ago
As I said, Anglo-Saxon University prestige is overrated. Maybe someone from a Grandes Ecoles would know ;)
219.
by yaseer 6y ago
'...unheard of to most people internationally.' Taking this point further, I note there's a huge Anglo-Saxon bias in the prestige of Universities. I don't know why this is. I say this having studied at Oxford and Cambrid
220.
by yaseer 6y ago
I find it ironic that Microsoft is the victim of a company using its operating system to stifle competition.
221.
Apple Blocks Microsoft's XCloud on iOS(eurogamer.net)
3 points by yaseer 6y ago|1 comments
222.
by yaseer 6y ago
It's an interesting question (as far as tax can be interesting!), whether patreon and other contribution/donations systems count as gifts, or income from your work. I'm sure the tax authorities would like argue it is income,
223.
by yaseer 6y ago
'Axiom' was taken as a company name + It's not convention to name a UK company by the raw domain name string (e.g. www and other characters must be removed). If you pass the domain through this filter, you get this. Secondly
224.
by yaseer 6y ago
Collecting and consolidating data + filling in the forms across different sites to place bets
225.
by yaseer 6y ago
Actually, we burned ourselves with a friends and family upvote brigade on product hunt (they lopped off a bunch of them suddenly...). We learned from that and did not do this on HN (Engineering team were then only ones to have the post shar
226.
by yaseer 6y ago
Look, we've changed position and agree with you. The point I thought was 'grey' was whether automated likes harass people (Liking to build a following is now part of the standard Instagram marketing playbook). That is not wor
227.
by yaseer 6y ago
We do indeed restrict ourselves to tabular structures of data, both on the web-page level and outside. Many non-technical people think in terms of spreadsheets and tables. If you give people the spreadsheet/table as the data structure
228.
by yaseer 6y ago
There's definitely going to be a usage based metric to pricing in the long-run. The problem now is that the obvious metric ('bot runs') is too crude for a DIY bot-builder, and may stop users during development. It's very
229.
by yaseer 6y ago
We've thought about this too! It's not really effective with our desktop version. The cloud version should enable it though. One of the most common things people want to do is create a series of bots than consolidates data and gen
230.
by yaseer 6y ago
This currently only works with Chrome (still an MVP). We would eventually like to expand support to other browsers with future iterations. RE: Data leaving the network. This is a very good point. If you have a strong business-case you'
231.
by yaseer 6y ago
Correction -it's not entirely on-premise. The script storage and login is tied to our server. This thread has given us some serious thoughts about a fully on-premise version though!
232.
by yaseer 6y ago
Ah yes, I've re-read the sentence, this is what I meant to say!
233.
by yaseer 6y ago
(I'm indulging this debate because debate is a fun part of HN. There's no negativity @onion2k; I hope you interpret it the same way). Our domain doesn't really conjure many preconceptions for users to feel that deceived. The
234.
by yaseer 6y ago
Okay, we'll take this on board! It was honestly just some user requests we integrated without enough thought, not something nefarious. This isn't our market by any means.
235.
by yaseer 6y ago
Yes, we decided to start high, and introduce lower tiers after, because lowering your prices doesn't upset people, but putting them up does. Many of our users are expecting to pay $50 p/m, but will get a present surprise of a chea
236.
by yaseer 6y ago
Yes, very good question (I've answered a similar one on detecting whether the page has finished loading). It's a deceptively hard problem. Essentially, what we do is fingerprint the element. If the page changes, it boils down to h
237.
by yaseer 6y ago
Okay, I agree this a grey and perhaps questionable area. This seemed to be something legitimate people/users were doing a lot, so we gave them a building block to make it easier. Maybe we should have thought about it more. We'll t
238.
by yaseer 6y ago
It is possible - but you'll need to write code. Right now we have a custom code-block with a gloriously undocumented API. I recommend playing around, seeing if you think axiom is useful for you, then dropping our support an e-mail on a
239.
by yaseer 6y ago
Very, very good question. The long-story short is that I don't think there's an algorithm that can determine the completion of page-load with certainty for complex JS SPAs. We fingerprint elements, check if the page is changing al
240.
by yaseer 6y ago
We found a whole set of technical limitations to using just a chrome extension (file downloads and uploads to name but one). The simplest solution was to include a desktop service, although I agree it's a huge inelegant electron app. T

More ›