maemre

10 ms·

31.
by maemre 9y ago
With JVM you get a couple nice features: a good garbage collector, a JIT compiler[1], platform independence, access to a lot of libraries through Java interop. The requirement for a JVM to be installed on a system isn't that dramatic i
32.
by maemre 9y ago
org-mode has all the features you mentioned. Following gives you fenced code blocks: #+begin_src c printf("%d", 1); #+end_src it has both named and unnamed footnotes [1]. You can use '::' in a list item to cre
33.
by maemre 9y ago
If you can describe your synthesis operations in terms of some program transformation, you may be able to verify/prove that they preserve certain semantic properties (similar to compiler verification). We have both verified compilers a
34.
by maemre 9y ago
Regarding 1), I use org-mode with inline LaTeX to write first couple of drafts, which has a nice visual table layout. It also has a Markdown-like syntax for markup. I export to LaTeX after I'm fairly satisfied with the result. For math
35.
by maemre 9y ago
This is the compiler from Scala to Java bytecode. It does type checking, some optimizations (like inlining, removing some instances of boxing, or converting tail-recursive functions to loops), and converts all Scala-specific features to som
36.
Yesterday, my program worked. Today, it does not. Why? (1999) [pdf](st.cs.uni-saarland.de)
100 points by maemre 9y ago|40 comments
37.
by maemre 9y ago
I understood the parent comment as the password length should be 3 digits long (hundreds of chars) rather than password itself.
38.
by maemre 9y ago
As for JavaScript, Google Closure Compiler does some dead code elimination (DCE, a.k.a. tree shaking in Lisp lingo) as an optimization but it unfortunately doesn't tell you which parts of the code is dead. It also does not to DCE alone
39.
by maemre 9y ago
I totally agree with that. When I mentioned dynamic dispatch, I had something like Scheme or JavaScript in my mind. Dynamic dispatch in those languages require a more subtle analysis to obtain precise results. I wish I could edit my parent
40.
by maemre 9y ago
Static analysis is not just about inferring types and hot paths for optimization. For that kind of stuff, a dynamic analysis is most of the time way better (lots of JIT compilers with speculative optimizations prove this point). There is an
41.
by maemre 10y ago
That might be because: - you need to write same variable name on each step of derivation of a formula - paper and blackboards don't have autocomplete - juxtaposition is used for multiplication, thus SwapBlue can be Swap times Blue or a
42.
by maemre 10y ago
A solution that some banks provide is to enable a credit card for only transactions using 3-D Secure [1], in which you are expected to enter a 2FA code sent to your phone by the bank during transaction to a webpage of the bank that gets ope
43.
by maemre 10y ago
It definitely looks like Qt but I am surprised that Qt is not using any native controls on iOS. It tries to use native controls or at least a native look and feel if possible (it does so on Windows and macOS at least). On the other hand,
44.
by maemre 10y ago
I met with David Tarditi, leader of the Checked C project, last week at PLDI. He previously worked on System C#, Midori and Singularity where he was in the group that developed lightweight C# runtime and AOT compiler for Midori. Checked C s
45.
by maemre 11y ago
I don't know why you got downvoted but Haskell also gives excessive freedom for infix operators with adjustable precedence, ability to make up new operators etc. and a lot of libraries use such operators excessively so I think you are
46.
by maemre 11y ago
About unicode symbols part, I am using Scala to implement a some ideas distributed among some white papers and there is a mathy notation. I use ac-math and Emacs to enter unicode symbols for names of some variables/methods which transl
47.
by maemre 11y ago
> My ideal credit card would be on where the physical card has e-paper on it with a 6-digit PIN that changes periodically, like 2-factor auth, and that PIN could be required for purchases to be authenticated. The new smart-chip cards don
48.
by maemre 11y ago
Germans did not have much oil in WW2 [1], they even converted coal to synthetic fuels [2]. [1]: https://en.wikipedia.org/wiki/Oil_Campaign_of_World_War_II [2]: https://en.wikipedia.org/wiki/Synthet
49.
by maemre 11y ago
> requests.get? I was using Python for 8 years and IPython for somewhat 5 years if my memory serves me right but today I have learned that you can invoke help on an object by appending '?'. I guess I might delve into IPython do
50.
by maemre 11y ago
They may convince manifacturers (like Samsung) rather than Google and ship Cortana as part of OEM software.
51.
by maemre 11y ago
That is partially done with Geohash ( http://geohash.org/ ) and other variants. The actual step here is usage of dictionary words as digits for encoding instead of a bunch of random characters. Alternatively, such a system ca
52.
by maemre 11y ago
Which means that it can handle scripts that rely on browser features like DOM whereas node can't handle that. So, you can use it to test the client-side code automatically (with a CI tool of course). You can't do that in node if y
53.
by maemre 12y ago
I have a personal setup like that: * e is aliased to `emacs` (I use Emacs on command line and Sublime Text using a GUI and projects, so I use `subl` command rarely). * g is aliased to `git`. * z is a glorious cd command: https://
54.
by maemre 12y ago
I know that proposing Rust in this case almost became a cliché but Rust's borrowing mechanism introduces such a semantic and ensures correctness in compile time. Moreover, with RAII it can also zero the memory after object is out of sc
55.
by maemre 12y ago
IIRC, it was originally Okasaki's PhD thesis, then he converted it into a book. edit: source: http://www.usma.edu/eecs/SitePages/Chris%20Okasaki.aspx#cup9...
56.
by maemre 12y ago
Even if there is no "0 unsafe code" guarantee, it is quite practical since it still reduces the attack surface.
57.
by maemre 12y ago
He already invented it 3 years ago: http://erlang.org/pipermail/erlang-questions/2012-February/0... Also there was a talk about Erlang where Joe Armstrong was talking about EHE, but I couldn't find it. I
58.
by maemre 12y ago
Routers already use GPL'd software (Linux for example). However, I don't know effects of using AGPL over GPL in this case. I can see that without a linking exemption saying that _linked_ JS code is not subject to license terms, it
59.
by maemre 12y ago
There is some research going on in Information Centric Networking and Named Data Networking. The basic idea is switching to a system based on content instead of hosts. The proposed solutions try to reduce traffic overhead (like replication
60.
by maemre 12y ago
Although it is a good start, I wonder if the effect of IR LEDs can be solved by filtering? I mean, can someone develop a firmware or use color filters to filter out infrared light? I think the filtering may be done using better Bayer filter

More ›