llogiq

12 ms·

61.
by llogiq 10y ago
Yes, but Rust lints cannot currently access LLVM pass information.
62.
Something Secret This Way Comes(llogiq.github.io)
163 points by llogiq 10y ago|34 comments
63.
by llogiq 11y ago
So is there some documentation on the "behavioral problems" their checker finds? If we know what to look out for, we can simply write some clippy lints to replicate the checks. ( https://github.com/Manishearth/
64.
by llogiq 11y ago
From the README: > Thanks rust-clippy. We do love the great project. This just made my day. :-)
65.
by llogiq 11y ago
I blogged about that some time ago: https://llogiq.github.io/2015/07/09/cow.html
66.
by llogiq 11y ago
Yeah, the word you look for isn't "sort", but "kind".
67.
by llogiq 11y ago
If you want to add IO into Java's mix, you can also use StringWriter. Also I personally don't consider paths as strings, nor URLs – both are types for specific purposes with specific invariants, which are distinct from strings&#x2
68.
by llogiq 11y ago
Note that this was the first thing that came to mind, after some discussion with other Rustaceans I think I found a way to allow for more mutations with only little overhead.
69.
by llogiq 11y ago
It depends very much on the language, e.g. common Java tools work with byte code at runtime (so no 'recompilation' is necessary), and tools for scripting languages have no option but to generate source. Actually the approach has a
70.
by llogiq 11y ago
Am I the only one who thinks this looks just a bit creepy? Here's a (IMHO) better proposition: Program with me and I'll teach you how to program. It's called Open Source and you don't need to move to get there.
71.
by llogiq 11y ago
It is so popular because it elegantly solves a set of problems that plague systems-level programming (use-after-free, dangling pointers, data races). It is so controversial because there are system programmers who have lived for so long wit
72.
Java Code Golf(llogiq.github.io)
2 points by llogiq 11y ago|0 comments
73.
by llogiq 11y ago
TL;DR: Java is awesome, Rust is awesome, let's code even more awesome stuff!
74.
by llogiq 11y ago
Note that this has little to do with hill-climbing algorithms and much with A/B testing. Though there is an overlap in the problems both face. I wonder if algorithmic solutions like randome restart or simulated annealing could improve
75.
by llogiq 11y ago
Not necessarily – you can chain iterators and skip elements on the hare.
76.
by llogiq 11y ago
On the contrary, it's actually rather easy to use the type checker to encode this: Just make a wrapper type CharIdx(usize) that encodes the fact that the enclosed value is a valid char position and implement Index for it using unchecke
77.
by llogiq 11y ago
You forgot &entities; And there is an oft-documented overuse of custom operators among Scala programmers, however I don't have sufficient expertise to gauge the resulting problems in practice.
78.
by llogiq 11y ago
There are tools to do exactly that (I don't remember the name of what we used at university, alas). And no, I do not want to run a SMT solver against anything but simple code, because my build is slow enough as is. ;-)
79.
by llogiq 11y ago
I'd personally like to find the time to write this – some of the infrastructure (like call graph analysis) is already available. However, I think this is the nuclear option. I have some experience from university where I wrote some Eif
80.
by llogiq 11y ago
Ah, yes that's true. The java ecosystem had much more time to mature, and it shows.
81.
by llogiq 11y ago
Exactly. I must admit that my wording was not as understandable as it should have been. I'll see if I can rephrase it to better convey the point.
82.
by llogiq 11y ago
The article compares the only currently available Rust implementation in version 1.8.0 nightly with OpenJDK 1.8.0_60 – which is sufficiently similar to Oracle's JRE, which is the predominantly used VM, so I'm comparing how the lan
83.
by llogiq 11y ago
Thanks, glad you like it. > crates.io doesn't has so powerful things like Java has in maven Could you elaborate on this? I'm only using maven in a few projects and have only shallow experience with it.
84.
by llogiq 11y ago
Thank you! I'm glad you like it.
85.
by llogiq 11y ago
But the universe is certainly written in Brainfuck.
86.
by llogiq 11y ago
Yeah, but that's only because teXitoi's and Joshua Landau's improvements to many Rust benchmarks are still open on the tracker. And it's still using 1.3 (Ok, 1.4 only came out yesterday). Note that this is not meant as a
87.
by llogiq 12y ago
Note that log4j2, which can log asynchronously, uses the LMAX disruptor, which is a java implementation of the same technique.
88.
by llogiq 13y ago
I disagree on the"flush data on POST" tip. If you interpret a POST as a transaction and have a transaction ID, you can make POSTs idempotent. In this case, reloading just retries the transaction. Or the system can filter it out al
89.
by llogiq 13y ago
Whenever I hear an evangelist (and I label everyone dealing in absolutes like 'is X worth it?' without at least asking 'what?' and 'for whom?' evangelist), my gut reaction is to dismiss everything without even
90.
by llogiq 13y ago
Ned Batchelder shared a similar if not equal trick some time ago: http://nedbatchelder.com/text/stopbots.html

More ›