doublec

13 ms·

211.
by doublec 13y ago
This JS code needs to be run on the MEGA domain, right? That's why it's a bookmarklet. Other sites don't have access to the local storage required to extract the key. It does mean that MEGA can get the key and send it back to
212.
by doublec 13y ago
Q isn't too bad depending on how it's written. The book "Q for Mortals" is a good read. http://www.amazon.com/For-Mortals-Tutorial-In-Programming/dp...
213.
by doublec 13y ago
For Mozilla platforms, MP3 is supported on Firefox OS, some Android devices and Desktop on Windows Vista and up. Support for Windows XP is coming in Firefox 26. It is available on Linux with custom builds and should be in by default soon. F
214.
by doublec 13y ago
Inch [1] has an example using complexity annotations, showing that a red-black tree insert/delete are linear in the black height. ATS [2] is my go-to language for static guarantees with C's efficiency. Not sure if it counts as sma
215.
by doublec 13y ago
Windows Phone has this option. Apps have a 'Try' and 'Buy' option. Using 'Try' gets you some form of free trial and users can then upgrade to 'Buy'. This avoids the need to have 'Free' and &
216.
by doublec 13y ago
For an interesting systems programming language try ATS [1]. It's an ML style functional programming language with dependent types, linear types, macros, generics and compiles to C giving reasonable portability. [1] http://w
217.
by doublec 13y ago
That's a little unfair. The spec was presented when it was already implemented in the browser by the spec authors. That's why they are so far ahead of the curve. Mozilla had a spec and implementation of another approach that pred
218.
by doublec 13y ago
I agree not much is heard about it. I blog about it a fair amount on [1]. There's also /r/ats [2]. I use it in production. The backend of my bitcoin mining pool [3] is written in ATS and has about 1% of the total bitcoin mini
219.
by doublec 13y ago
There are some languages heading towards this. ATS [1] provides a restricted form of dependent types [2] that allows you to do what you want and is designed for systems programming. You can do safe pointer arithmetic for example. Idris [3]
220.
by doublec 13y ago
Blackberry's BB10 OS uses the Web interface. It actually works quite well. Firefox OS also uses the web interface. Microsoft's YouTube app on Windows phone is actually really nice. It's a pity Google keep trying to stop it.
221.
by doublec 13y ago
I've updated the article to try to make it clearer about what types are inferred and how to make it infer the correct types.
222.
by doublec 13y ago
I think it's for familiarity for C++ programmers: enum Day { Monday, Tuesday, Wednesday, ... } You can assign values too: enum Color { Red = 0xff0000, Green = 0x00ff00, Blue = 0x0000ff }
223.
by doublec 13y ago
Yes, it's unfortunate that I lost a bunch of articles in a drive corruption on linode: http://bluishcoder.co.nz/2013/04/03/parts-of-this-site-tempo... I've been going through archive.org recovering
224.
by doublec 13y ago
v_64, nesting is too deep to reply directly, but it doesn't need to be a merged miner for it to accept non standard transactions. Transactions are coded in a mini scripting language. A 'standard' transaction is one using opco
225.
by doublec 13y ago
The block containing the transaction was mined by Eligius. The Eligius pool allows non standard transactions if the transation is relayed to it directly (plus a fee for the service I think).
226.
by doublec 13y ago
It's always been possible to embed messages in transactions and the blockchain in general. It's full of stuff if you look.
227.
by doublec 13y ago
An android phone without 'Google Apps' does not offer much more than FxOS in my opinion. I test drove an AOSP build of android for some time, without Google Play and other 'non-free' Google apps, and there's not muc
228.
"Notation as a Tool of Thought" by Kenneth Iverson (APL creator)(jsoftware.com)
2 points by doublec 13y ago|0 comments
229.
by doublec 13y ago
Ken Iverson wrote an interesting document, "Notation as a tool of thought", which covers his thoughts on what a concise/efficient notation provides: http://www.jsoftware.com/papers/tot.htm
230.
by doublec 13y ago
The bundle available at the time included the fix. This post on June 26 says it's based on Firefox 17.0.7esr. https://blog.torproject.org/blog/new-tor-browser-bundles-and... The number of affected users must be du
231.
by doublec 13y ago
I wrote an ATS binding which I use in a number of projects: https://github.com/doublec/ats-libzmq I attempted to use ATS features to make sure resources are cleaned up and msg data usage is statically checked for corre
232.
by doublec 13y ago
roconnor was working on one. There are git mirrors of the darcs repository on github. For example: https://github.com/laanwj/Purecoin I don't know the current status of it.
233.
by doublec 13y ago
There's a writable interface to IndexedDB files as well: https://developer.mozilla.org/en-US/docs/WebAPI/FileHandle
234.
by doublec 13y ago
IndexedDB allows direct access to the blobs like a file: https://developer.mozilla.org/en-US/docs/Web/API/FileReader
235.
by doublec 13y ago
You could download the routing data into IndexedDB and use that for your file system.
236.
by doublec 13y ago
Some languages can detect this at compile time. For example, ATS - a dependently typed language: fun square {m:int} (a: int m): int (m*m) = a + 2 This won't compile because in the type we've said the result must be the squ
237.
by doublec 13y ago
You can also use ATS with a few patches to the compiler: http://sourceforge.net/mailarchive/message.php?msg_id=290363... Quite a few languages are available for Android development now that the NDK allows native code.
238.
by doublec 13y ago
Have you seen gmaxwell's thoughts on a similar subject? https://bitcointalk.org/index.php?topic=53855.msg642768#msg6...
239.
by doublec 13y ago
I'm not sure exactly what you mean. Clojure is a programming language. Ur/Web is a web application development system. You'd have to compare Clojure+database library+web library.
240.
by doublec 13y ago
I'm not the author but have written a couple of production web applications using Ur/Web and have found it pretty nice. The enforced purity took a little getting used too. If an error occurs during a request all side effecting cha

More ›