typon

77 ms·

871.
Code Red: Organizing the tech sector(nplusonemag.com)
2 points by typon 8y ago|0 comments
872.
by typon 8y ago
So is LaTeX...but people aren't implementing logic programs in it.
873.
by typon 8y ago
Good answer. Actually a 10-line blurb on the core operations of Minikanren and some output from programs would be pretty useless. It would only serve to confuse the reader because names like "fresh", "conde", "numbe
874.
by typon 8y ago
SQL does way less things than a full-blown logic programming system
875.
by typon 8y ago
You can use standard constraint solvers for these kinds of problems. Although, you can use minikanren in such an application, you are missing out on a lot of its power if you do that. An example where such systems shine is program generatio
876.
by typon 8y ago
The paper argues specifically against Prolog because it is not a "pure" control-agnostic language. a = 1; b = 2; The programmer does not need to concern themselves with the order of these two assignment statements and wh
877.
by typon 8y ago
I wish my company was cool enough such that our internal tools (even if they're technically complex) would be of interest to people :(
878.
by typon 8y ago
Which in turn is child's play compared to what the US has done in the middle east for the past decade or two
879.
by typon 8y ago
Tabnine does it on your project
880.
by typon 8y ago
It's because making a chat app isn't actually that hard... The product has been commotodized. Maps on the other hand..incredibly complicated and we are still far from a "perfect" maps experience.
881.
by typon 8y ago
I respectfully disagree. I think VSCode's ergonomics pale in comparison to Vim. I just mentioned Ctrl-O, but there's a hundred little other features that I use constantly that VSCode doesn't have, and even if it does, it exec
882.
by typon 8y ago
The fact that Ctrl-O and Ctrl-I exist is just a tiny example of why the modern editors just can't compete with vim and the plethora tiny productivity features it has.
883.
by typon 8y ago
This is straight out of a movie. I don't know if I should be shocked, amazed, or appalled.
884.
by typon 8y ago
Does Qt have the same features as Flutter? I'm thinking about an excellent IDE, hot reloading, ability to target mobile and desktop etc.
885.
by typon 8y ago
The regex said "fiancéename", implying the person doing the regexing is a male with a female fiancée. It works for lesbian couples though
886.
by typon 8y ago
I tried my friends to switch to Signal and it failed miserably. Their friends and family are on WhatsApp, so why would they switch? It's very annoying for people to deal with multiple chat apps for multiple groups, especially if some m
887.
by typon 8y ago
> It's VERY easy for user to switch to a competitor compared with other industries Not FOR WhatsApp it isn't. I don't know of an app that all my family/friends would switch to if WhatsApp decided to put ads on it. Swi
888.
by typon 8y ago
What makes you guess that `name$` is a boolean?
889.
by typon 8y ago
A meta comment on the HN community: People constantly decry HN's "negativity" to Show HN posts or other tech related news, but I think when really cool projects (like this one) show up, people respond overwhelmingly positivel
890.
by typon 8y ago
This has to be a parody..
891.
by typon 8y ago
This has depressed me...not just because of this guy's brilliant poems and the potential within, but because there doesn't seem to be an end in sight for any of this suffering. Even if you don't personally buy laptops or phon
892.
by typon 8y ago
They should have named it the Conchord
893.
by typon 8y ago
The incentives aren't there to perform better. Even after all these failures you mentioned, they haven't really been punished in any significant way whatsoever, so why improve?
894.
by typon 8y ago
200KB for the free version seems really small :(
895.
by typon 8y ago
Looks like a blog post about an internal tool. Not sure why this is interesting to people
896.
by typon 8y ago
Do you realize that all the things that make your current job bearable like 8 hour workday, weekends and safe work environment are only possible because people in the past had the spine to strike and demand better conditions for themselves
897.
by typon 8y ago
So because Asia Argento has sexually harassed someone, the MeToo movement is discredited? Some of the comments in this thread are unbelievable
898.
by typon 8y ago
http://legup.eecg.utoronto.ca/
899.
by typon 8y ago
The way this book is so wonderfully illustrated and written is why we need more women in math/tech. I haven't read any paper/book on abstract math/category theory that wasn't extremely dry and boring
900.
by typon 8y ago
I'm imagining millions of kids in restaurants crying out because their "iPads aren't working"

More ›