Viewing profile — takemikazuchi

I wonder if it's possible to create a streamlined platform for this kind of work. Like others mentioned being able to start at an outline stage and then move on to fleshing the par…

Wow, as someone that switches between two language inputs(coincidentally English/Japanese actually) a lot on a variety of OS's, and never uses caps lock, I think this is a great ke…

It's so people can plan out their visits and know what their options are in a new area.

This is a bit of tangent, but I looked up Idris since I'd never heard of it. I'm currently learning Haskell and they look really similar. What differentiates the two? What can you …

And it's equally possible to interpret this data positively. Perhaps VCs are becoming more selective and concentrating their money on better teams/ideas instead of casting as wide …

What's the financial outlook for this career path? I've always heard bad stories about early hires dealing with a below market salary(for a while) with worthless stock options. Is …

I think even before you bring responsibility into the picture, there's a lot for each actor in this situation to gain from reestablishing communications(I certainly can't see what …

For Clojure there's a plugin(albeit a very big plugin) over IntelliJ IDEA, called Cursive that I've heard a lot of nice things about: https://cursiveclojure.com/

Compcert C, also written in Coq, is another interesting C compiler: http://compcert.inria.fr/

Chartkick is amazing: http://ankane.github.io/chartkick/

0xDBE is really nice: https://www.jetbrains.com/dbe/ Though it's still in alpha.

I wonder how this will affect the Internet Archive. I understand they're based in the US(and hopefully their servers are too), but will the EU courts take any action if a sufficien…

I know of one startup, Compathy(in Japan) that are working the other way around -that is, they're building a product that's first for post-trip sharing and then adding pre-trip pla…

While I agree in principle, in practice this idea sounds like a security and authentication nightmare.

Perhaps Keurig should print their logo onto the cups with said special ink, and the machine should identify the logo with an image matching algorithm. If I understand trademark law…

Perhaps Keurig should print their logo onto the cups with said special ink, and the machine should identify the logo with an image matching algorithm. If I understand trademark law…

If the only requirement is to run it on a raspberry pi, and you find that a RDBMS will be too resource intensive, you can always use one of the cloud data storage services out ther…

I work for a fulfillment house, we do tens of thousands of orders a month. Despite this, we're still what would be considered a "small business". Forecasting has been a really big …