Hacker Timesnew | past | comments | ask | show | jobs | submit | molikto's commentslogin

convertTree doesn't work because Tree uses Tree type recursively.


Since the author is writing their own language, their language can fix that; it's not hard to figure out how to implement that.

What I find horrifying is that types are most useful when they are more than just a shape. Just because two things have a type X[A] {X[A], A, X[A]} doesn't mean it's the same binary tree. A trivial example is that one tree could be sorting by the "id" field and another could be sorting on a "username" field, and simply casting one to the other means you've now got a garbage data structure and none of the functions/methods operating on it are going to return good data now. It's a bit of a culture shock to see such Haskell-esque type notation combined with excitement over blowing away everything about a type other than its brute shape.


monaco is not a rich text editor


Chinese app Xiami already has this


I am planning to doing the same thing, but using OT.


My idea about conflicts is, since OT is a centralized protocol, the server can refuse some conflicts and let user to resolve it.

Another thing I don't like about CRDT is for text editing, it requires a uuid for each char you type. this is a huge waste of memory and disk imho. on the other hand OT requires no metadata


Nine Stories

Franny and Zooey


Why use monospace font?????


I agree, it's hard to read


Best font ever... why not?


Totally love the font!


What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.


I agree. One could argue that Agda and Idris are a better interface to the type theory that underlies Coq.



Case in point... that read like propaganda to me.


Yes. Glance through the author's other articles and a very clear pattern emerges.


are you serious? It's crazy to see point blank the effects of western brainwashing on people. Open your eyes. What China is doing is nowhere close to colonization


Well, it is not colonization, as China doesn't build colonies in Africa.

But look at this photo in this article:

https://www.washingtonpost.com/graphics/business/batteries/c...

https://www.washingtonpost.com/graphics/business/batteries/c...

Imagine if that chinese guy in sun glasses and boots on the desk would be white. Would it look racist/imperialist/exploitive to you?


How would you characterize what's happening in Africa with regards to China? Am genuinely curious.


This is highly anecdotal and based on personal (and professional) experience here in Kenya. Though the Chinese have been present in the country for a while, their signature project was the Thika Superhighway (2009-2012). This captured the imagination of everyone from citizens to the government. Since then, virtually all the major infrastructure projects have been undertaken by Chinese contractors that have set camp in the country. Their model of financing (through grants and ‘cheap’ loans), designing and building has ensured Chinese firms have an upper hand compared to local contractors. This has pushed many local contractors out of business and consequently rendered majority of local young engineers highly unemployed. Generally, there is a quiet uneasiness with the dominance of the Chinese in the infrastructure arena but as it stands; they’re having a field day here in Kenya. I’m convinced this is playing out in many other African countries.


Were there really any local engineers? If so, why haven't they built anything before the arrival of China?


If you're a civil engineer in Kenya you can't simply create an infrastructure startup and build the country. Such a business requires many skills not related to engineering, for starters. You need to know which wheels to grease in government and how. You need to have appreciable investment to fund your equipment. You need to have reliable supervisors who won't steal and will keep the work on schedule. You can't simply start up, get funded and move fast while breaking things.

According to the Kenyan resident in the thread , it was corruption that was stymiying progress. That's something that Chinese contractors have bypassed.


Those 'cheap' loans -- how are they secured? Could a percentage of toll revenues be involved?


They had Google Tasks, now they have Reminders in Google Calendar


And Keep also have Reminders... Which are NOT in Google Calendar.


I know DL. but will never use Python... 23333


Python feels like a pseudocode and is a popular language among hackers and data scientists. As a result, there are more examples, tutorials to get started, that's one of the chief reasons many choose it to learn new concepts.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: