?

Log in

No account? Create an account

Some links - leonardo
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (My Website).

Tags:
Security:
Subject:Some links
Time:03:14 pm
Lately I'm writing less posts, but I plan to write some blog posts soon enough.

Bisecting Floating Point Numbers:
http://squishythinking.com/julia/2014/02/22/bisecting-floats/

A very nice interactive book with little coding examples for in Rust language:
http://rustbyexample.com/

The little programming task FizzBuzz in Rust:
http://chrismorgan.info/blog/rust-fizzbuzz.html

Nice slides, "Rust: A Type System You Didn't Know You Wanted":
http://pnkfelix.github.io/curry-on2015.html#/

Safe Native Code, by Joe Duffy, about Midori:
http://joeduffyblog.com/2015/12/19/safe-native-code/

A nice interactive book on a significant topic, "Programming with Refinement Types. An Introduction to LiquidHaskell":
http://ucsd-progsys.github.io/lh-workshop/

Segment Trees, a data structure:
http://algosaur.us/segment-tree/

A nice long article with good images about the evolution of vision in nature:
http://ngm.nationalgeographic.com/2016/02/evolution-of-eyes-text

"Multidimensional algorithms and iteration", in Julia language, the LLVM is optimizing a lot:
http://julialang.org/blog/2016/02/iteration

This explains why using fuzzers is important, "USENIX Enigma 2016 - Sanitize, Fuzz, and Harden Your C++ Code":
https://www.youtube.com/watch?v=FP8zFhB_cOo

"Cap'n Proto v0.2: Compiler rewritten Haskell -> C++":
https://capnproto.org/news/2013-08-12-capnproto-0.2-no-more-haskell.html

"Why there is no Hitchhiker’s Guide to Mathematics for Programmers" (about the basic four methods of proof in mathematics):
http://jeremykun.com/2013/02/08/why-there-is-no-hitchhikers-guide-to-mathematics-for-programmers/

"Why and when you should use SoA" (Structure of Arrays, a different way to lay data in memory):
https://maikklein.github.io/post/soa-d/

"Exploring 4D Hyperdonuts", very nice animations:
http://imgur.com/a/asnRZ
http://imgur.com/a/ZSTVs

A honest good list of Haskell problems, I wish to find similar list for other languages: https://www.reddit.com/r/haskell/comments/4f47ou/why_does_haskell_in_your_opinion_suck/
comments: Leave a comment Previous Entry Share


wizzard0
Link:(Link)
Time:2016-04-23 09:36 am (UTC)
thanks - always refreshing. julia is very-very promising even given that it currently has too buggy compiler (from my experience)
(Reply) (Thread)


leonardo_m
Link:(Link)
Time:2016-04-23 10:01 am (UTC)
Julia design is quite interesting, and I like it enough.

If the Julia compiler is buggy then I think it's because Julia is still a young enough language, but also because of Julia language itself (I think the Julia compiler is written in Julia) and the culture of Julia programmers.

If you compare the Julia and Rust compilers, you see the Rustc compiler had less bugs (or bugs harder to hit for average programmers) since lot of time because it's written in Rust and Rust language & programmers are kind of obsessed about correctness, almost as much as Ada programmers.

Julia is designed for scientific code, numeric-processing code, exploratory coding (but often more efficiently than Python), but both the language and its community culture aren't the best ones if you want to write a large and correct program like a compiler or browser.

Perhaps we should write the Julia compiler in Rust (or OCaML) and some Rust scientific libraries in Julia :-)

Edited at 2016-04-23 10:04 am (UTC)
(Reply) (Parent) (Thread)

Some links - leonardo
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (My Website).