doublec

15 ms·

181.
by doublec 12y ago
I don't believe Mozilla is developing it. It's an external companies product but they are using Mozilla's Firefox OS on it. I could be wrong but that's my understanding from the material presented.
182.
by doublec 12y ago
FxOS tablets already exist [1]. The Flame and ZTE Open C are higher end devices than the device talked about in the OP. Not quite Nexus 5 level (more Nexus S I think?) but are mid-range. I'd like to see more pushing the envelope of wha
183.
by doublec 12y ago
When I was learning ATS I found the ML guide posted here very useful. I have some ATS related posts if you want to read more about the language [1]. [1] http://bluishcoder.co.nz/tags/ats/
184.
by doublec 12y ago
If you have a nightly desktop build you should see a "New E10s Window" in the menu. This starts up a multiprocess browser window allowing you to test the feature.
185.
by doublec 12y ago
Servo is a research project exploring the design space of writing a modern browser from the ground up in a language designed for it. It's not being developed as a Gecko (Firefox internal framework) replacement. So I don't think th
186.
by doublec 12y ago
Try http://www.reddit.com/r/conlangs for discussion and lists of languages. There are many subreddits for specific languages. For example, Toki Pona [1] and Lojban [2]. [1] http://www.reddit.com/r/
187.
by doublec 12y ago
> And Opera is dead – it’s essentially a reskinned Firefox. Opera is not a reskinned Firefox. It uses Chromium as the base, not Gecko.
188.
by doublec 12y ago
As a general rule, if you don't hear back don't assume permission. While you did this for helpful reasons an author of an article may still prefer not to have things republished so they can control updates, error correction and fu
189.
by doublec 12y ago
> So how does ATS enforce memory safety? Linear types. Much like unique pointers in Rust, the type system tells you when you fail to consume a linear type. A 'free' call would do this. Same with closing files, etc - you use lin
190.
by doublec 12y ago
It's interesting looking at the different design decisions of languages. One persons pro is another's con. ATS2 has no GC as the default mode of working too. The only reason it is more verbose is because you need the call to free.
191.
by doublec 12y ago
If you use the non-dependently typed parts of ATS it is no more verbose than most ML variants. If you use it without the GC then verbosity increased because you need to add calls to free memory. If you add proofs or dependent types then dec
192.
by doublec 12y ago
I think any language you're not familiar can seem like that - especially if it uses unfamiliar sigils or syntax. I feel similar about Rust for example as I'm not as experienced with it. But with ATS I can put programs together pre
193.
by doublec 12y ago
In the example given in the article there are no run time costs. The generated C code is much the same as the original C code from OpenSSL. There is no ATS runtime that gets included either.
194.
by doublec 12y ago
ATS doesn't have a VM. It compiles directly to C. The example given in the article doesn't use a runtime and the resulting C code has no more overhead than the original C.
195.
by doublec 12y ago
The type safety shown in the article doesn't come at a speed cost. The times are erased during code generation. The generated C code is much like hand crafted C but with the safety confirmed via the types.
196.
by doublec 13y ago
Interesting! I wonder what the difference is.
197.
by doublec 13y ago
For me following these steps using Ubuntu I get the Flash player both times. Did you get a preroll ad both times you tried it? They use flash (except for the MSE player). If you didn't get a preroll you may have got the HTML 5 player.
198.
by doublec 13y ago
Google's HTML 5 media player uses Media Source Extensions (MSE) now [1]. This enables them to use adaptive streaming implemented in JavaScript using DASH JS libraries. Unfortunately MSE support is not complete in Firefox so the MSE usi
199.
by doublec 13y ago
One thing I did when trying to come up with a "What features of language X help safety" article for ATS was to work through a simple example from unsafe, to safer, to safe. This is one such article I did: http://bluishc
200.
by doublec 13y ago
I encounter that too. I started writing Self code in a text editor and loading it in the REPL. Some of the code shipped with Self is like this (The Mango parser code for example). Once I was more familiar I started learning the GUI environm
201.
by doublec 13y ago
There is actually a basic web server example. It includes a web based object browser. I'm not sure if it's in the 4.5.0 release but it's one of the branches IIRC.
202.
by doublec 13y ago
There's some interesting Self papers listed in the /r/selflanguage reddit for those that want to do some reading: http://www.reddit.com/r/selflanguage This is my attempt at a JSON parser using Self'
203.
by doublec 13y ago
I have a couple of short screencasts showing Self in action if you're interested: http://bluishcoder.co.nz/2013/09/16/multiple-users-in-a-self... http://bluishcoder.co.nz/2009/07&#x2
204.
by doublec 13y ago
There's an interesting paper about a similar project that was done using Self [1]. "Design and Implementation of Pep, a Java Just-In-Time Translator written in Self" It goes through details with benchmarks. The PEP code is av
205.
by doublec 13y ago
Any browser that doesn't implement the EME spec won't be able to play content protected using it. So if large video streaming sites were to use it those browser would be locked out. Internet Explorer 11 can play netflix videos usi
206.
by doublec 13y ago
There's some discussion on it from /r/apljk a year ago which stated that it was a research project: http://www.reddit.com/r/apljk/comments/xktud
207.
by doublec 13y ago
Replicant attempts to remove proprietary binary components ( http://redmine.replicant.us/projects/replicant/wiki/HTCDream... ) whereas Firefox OS does not.
208.
by doublec 13y ago
They can be installed in Firefox for Android too. For a while I ran an AOSP version of Android without the Google apps but with Firefox installed and using twitter, facebook, etc installed as 'Apps' from the Mozilla Marketplace. I
209.
by doublec 13y ago
"Concepts, Techniques, and Models of Computer Programming" also covers flow control using similar methods IIRC. They use the dataflow variables of Oz which act like channels.
210.
by doublec 13y ago
It's more secure than DropBox in that someone seizing MEGA's data can't read it. A MEGA employee can't read your data. To read your data they need to capture the private key. This is possible by virtue of the fact that t

More ›