Hacker News: liadmat

New comment by liadmat in "Special projects"

liadmat — Sat, 30 Jul 2016 14:08:57 +0000

I meant that there exists a TM which solves HP for programs smaller than a given size. This makes it computable. Now, just because we can prove the existence of a TM, doesn't mean we can find it. It's true that for programs which use a finite amount of storage we can actually describe the algorithm for the TM, but that's not what I meant.

New comment by liadmat in "Special projects"

liadmat — Thu, 28 Jul 2016 19:47:34 +0000

The halting problem also makes an assumption on the program's size. In practice we probably only care about programs under, say, a billion petabytes (or any other finite limit you can think of). In theory you can have a Turing machine that solves this regardless of the program's structure.

New comment by liadmat in "Bublé: a fast, batteries-included ES2015 transpiler"

liadmat — Mon, 16 May 2016 09:33:27 +0000

I don't think async is currently in the official spec. Last time I checked it was stage 3.

New comment by liadmat in "Ask HN: What's the most useful online course you have watched?"

liadmat — Wed, 16 Mar 2016 12:43:06 +0000

Second this. You can also get this as a podcast, which is just as easy to learn from.

New comment by liadmat in "Show HN: Digest – Reddit newsletter based on the subreddits you want to follow"

liadmat — Mon, 01 Feb 2016 10:32:27 +0000

You should really put some sort of preview before you ask users to sign up.

New comment by liadmat in "T-Shirts Unravelled"

liadmat — Sun, 24 Jan 2016 11:18:40 +0000

Threadbase is a really cool project. I'd definitely use something like this if it were available in my country. Good luck, I hope you succeed and go global.

New comment by liadmat in "Tricki, a repository of mathematical know-how"

liadmat — Wed, 15 Jul 2015 14:15:02 +0000

I always thought it would be nice to have a GitHub-like thing for formal proofs. Where anyone can define a theory using a set of axioms, and everyone else can build theorems on top of it (and on top of existing theorems), with a series of formal steps that are verified by the system.

State is an antipattern

liadmat — Tue, 14 Jul 2015 15:32:58 +0000

Article URL: https://www.reddit.com/r/reactjs/comments/3bjdoe/state_is_an_antipattern/

Comments URL: https://news.ycombinator.com/item?id=9885679

Points: 2

# Comments: 1

New comment by liadmat in "A Quick Puzzle to Test Your Problem Solving"

liadmat — Thu, 02 Jul 2015 20:36:39 +0000

Take a look at Kolmogorov complexity. It's uncomputable.

New comment by liadmat in "What's coming in Meteor 1.2, and beyond"

liadmat — Wed, 01 Jul 2015 19:56:19 +0000

Really glad to see React Native mentioned here, albeit briefly. Hybrid mobile apps like the ones currently supported by Meteor always feel kind of clunky, and the 3rd party implementations of DDP for iOS/Android feel like a workaround and not the Meteor-way of doing things. Would be interesting to see how React Native is integrated into Meteor. Though what I really want to see is Blaze Native.

New comment by liadmat in "Show HN: Turing machine simulator in C"

liadmat — Sun, 03 May 2015 13:53:03 +0000

Automata and Computability (Kozen)

New comment by liadmat in "Why Rosyna Can't Take a Movie Screenshot"

liadmat — Sun, 04 Jan 2015 19:34:38 +0000

I agree, but my point is this - If you can see it or hear it, then you can record it. Sure, the recording device you'll need in the future might be insanely expensive/rare/illegal, but there's also a lot of money in piracy.

New comment by liadmat in "Why Rosyna Can't Take a Movie Screenshot"

liadmat — Sun, 04 Jan 2015 15:45:06 +0000

> except for the analog hole

It's a pretty big hole, and it's practically impossible to seal. Which is why I don't think we'll ever see "game over" for piracy, no matter how advanced DRM technology becomes.

At this point, I think censoring the internet is the only way for the movies/music industry to win. Sadly this isn't so far fetched.

New comment by liadmat in "Bat bomb"

liadmat — Sun, 09 Nov 2014 07:09:40 +0000

Don't forget the pigeon guided missile.

http://en.wikipedia.org/wiki/Project_Pigeon

http://www.youtube.com/watch?v=mnKyOfNuSoo

New comment by liadmat in "ASCII art editor designed for the Mac"

liadmat — Sun, 12 Oct 2014 16:43:46 +0000

Looks very promising. I used to draw .nfo's a long time ago, this is a tool I wish I had back then. I would use it today for commenting on code, if only it were web based instead of Mac only.

New comment by liadmat in "Show HN: One Adaptive API for Dropbox, Google Drive, OneDrive"

liadmat — Sat, 11 Oct 2014 21:31:53 +0000

A little less "we are changing the world", a little more "we offer a JavaScript SDK for file storage accross many services".

That's the short version. I initially wrote a long comment with a list of things I don't like, but I decided I was being too harsh so I removed it. If you're still interested, I can mail it to you.

New comment by liadmat in "Termtris: A Game Like Tetris in Ten Functions"

liadmat — Fri, 10 Oct 2014 01:57:01 +0000

Cool project. It reminded me of the "Tetris in 140 bytes" project, worth a look: https://gist.github.com/aemkei/1672254