maemre

11 ms·

61.
Ask HN: Open source security projects seeking for contribution
3 points by maemre 12y ago|1 comments
62.
by maemre 12y ago
There is Quark [1], a web browser with formally verified kernel. Here, kernel is a process which manages other slave (helper) processes which render the page actually. [1]: http://goto.ucsd.edu/quark/
63.
by maemre 12y ago
You don't need to be a Rust enthusiast to install it if it enters to a repository for the package manager/distro you're using. However, we need an enthusiast (or maybe author) to do that first. It is as if I don't need t
64.
by maemre 12y ago
According to [1], Riot developers are aware of that and chose to support custom tags without a dash: > W3C specification demands you use a dash in the tag name. Instead of <person> you must write <my-person>. Obey this rule i
65.
by maemre 12y ago
I guess so. It is also the top comment on r/programming for this (link also contains the corresponding blog entry of the author): https://www.reddit.com/r/programming/comments/2tibrh/zstd_a_...
66.
by maemre 12y ago
According to Google cache, it is. The size change may be due to rewrite (version 2.0): > This is the biggest change from Riot 1.0 to 2.0. JavaScript and HTML are now part of the same module.
67.
by maemre 12y ago
I think parent means reference counting built into the language (like Python)
68.
by maemre 12y ago
In Flask, you call the framework, then it calls you back etc. It is a minimal framework that you can use as a library along other "plugins" (which are libraries in fact) you like.
69.
by maemre 12y ago
Reminded me the Pomodoro technique[1]. The only difference is, you also add extra things on bottom of the list. I tried it but couldn't effectively apply it, I'm better with long, uninterrupted chunks of work and prefer nighttime
70.
by maemre 12y ago
I got the same problem with Safari 8 on OS X 10.10
71.
Turkish Police Starts Using Chemical Gas (Agent Orange) Against Protesters(ireport.cnn.com)
1 points by maemre 13y ago|2 comments