jamii

22 ms·

181.
by jamii 10y ago
Julia is very strongly typed, much more so than most dynamic languages. Because the type inference can remove type checks in performance-sensitive code, the language and standard library are much more willing to throw type checks around all
182.
by jamii 11y ago
I meant quite the opposite. I'm aware that it's very hard to read something sticky and not end up implicitly believing it. Sticky accurate ideas are great - it's an efficient use of the hardware. Non-sticky inaccurate ideas a
183.
by jamii 11y ago
The main benchmarks that these compilers compete on are those from http://www.tpc.org/ . They are synthetic datasets which are fairly naively generated. http://www.vldb.org/pvldb/vol9/p204-leis.pdf
184.
by jamii 11y ago
I've been publishing notes on many of the books I read this year. I found that taking notes on my laptop is a pretty damaging context switch whereas writing notes on paper doesn't cause much of a problem, to the point that it&#x27
185.
by jamii 11y ago
Location: Berlin Remote: Yes Willing to relocate: No Technologies: Python, clojure, julia, rust, javascript. Less recently erlang, ocaml, haskell. Recent heavy experience with relational query compilers, logic programming, reactive UI. Résu
186.
by jamii 11y ago
SEEKING WORK - Berlin/Remote I spent the last two years building compilers and relational databases at Eve ( http://witheve.com/ ). Before that I spent several years consulting. Some highlights: Item-item article recomme
187.
by jamii 11y ago
> ...getting to my to-do list on all smartphone platforms is a multi-step process My Nexus unlocks as I pick it up and my todo list is displayed on and editable from the home screen ( https://play.google.com/store/app
188.
by jamii 11y ago
SEEKING WORK - Berlin/Remote I spent the last two years building compilers and relational databases at Eve ( http://witheve.com/ ). Before that I spent several years consulting. Some highlights: Item-item article recomme
189.
by jamii 11y ago
Something the Recurse Center also put a lot of work into is making it safe to express lack of understanding/knowledge. There's a huge difference between a meeting where someone feels able to say "I'm totally lost, can we
190.
by jamii 11y ago
> There's probably a tradeable business opportunity here, but I have little interest in going into consulting, so unfortunately I'm not the one that can take advantage of it... If you were, how might you trade in on it?
191.
by jamii 11y ago
I thought https://fieldbook.com/ was pretty slick. I would love to have a similar UI as an open-source interface to sqlite.
192.
by jamii 11y ago
IMO Terra ( http://terralang.org/ ) is a more interesting approach to this problem, since it not only enables macros but also staged compilation, polymorphism-as-a-library, runtime specialization etc. > You can use Terra a
193.
by jamii 11y ago
Location: London Remote: Yes Willing to relocate: Yes Résumé/CV: http://scattered-thoughts.net/resume/ Email: jamie@scattered-thoughts.net I was previously at Eve, designing languages, databases and query compiler
194.
by jamii 11y ago
Also, to a first approximation capability == danger. Just look at what even well-meaning humans have managed to do - imagine an AI that could eg design memes more persuasive than Marxism. We can't even get humans to agree on ethical va
195.
by jamii 11y ago
You're right that the interesting question is how to make a friendly intelligence, but all the groups who are trying to draw attention to that problem are running into the wall of doubt about capability. The OP said: > I'm not
196.
by jamii 11y ago
There are a lot of assumptions you have to make to get to the point where it doesn't have the capability to be dangerous: * No improvement beyond human level (correlation between IQ and job-performance is variously estimated at around
197.
Rationally choosing a life(scattered-thoughts.net)
2 points by jamii 11y ago|0 comments
198.
by jamii 11y ago
It's not at all well developed yet. I've been using the Amazon web reader (mostly because I'm in Beijing at the moment and getting anything onto my kindle is a pain). I have the reader full-screen and Atom in Zen mode, and sw
199.
by jamii 11y ago
Something like www.amazon.com/dp/0521835402/ would take me weeks to read properly, but most of the books on my list are popular science or introductory textbooks. They just aren't that dense. I'm also reading just t
200.
by jamii 11y ago
> ...the idea that even relatively small investments of time/effort/organization can multiply into massive outcomes when steadily applied. I’m pretty excited to see what I could do with a more deliberate effort. My first delibe
201.
by jamii 11y ago
Microsoft have done some great and totally ignored work with embedding visual languages into game engines for kids - http://research.microsoft.com/en-us/projects/kodu/ http://welcome.projectspark.c
202.
by jamii 11y ago
I like Casey Muratori's idea of removing the word 'abstraction' from your vocabulary in favor of the word 'compression'. You start by writing code absolutely directly and then if the same patterns keep cropping up,
203.
by jamii 11y ago
> Each exotype achieves expressiveness similar to libraries written in dynamically-typed languages but implements optimizations that exceed the performance of existing libraries written in low-level statically-typed languages Terra seems
204.
First-Class Runtime Generation of High-Performance Types Using Exotypes [pdf](theory.stanford.edu)
4 points by jamii 11y ago|1 comments
205.
by jamii 11y ago
Specifically, the linked paper models indexes on a table as sets of n-dimensional volumes showing where rows aren't. It then gives a join algorithm that is asymptotically instance-optimal (up to a poly-log factor) ie better than any pr
206.
by jamii 11y ago
Frustratingly light on detail, but the possible connections to http://arxiv.org/abs/1404.0703 are intriguing.
207.
SpaceCurve: A Unique and Fast Geospatial Database(jandrewrogers.com)
85 points by jamii 11y ago|25 comments
208.
by jamii 11y ago
If you just look at the 'best' numbers for each language and treat it as a fight, it's pretty useless. But if you are evaluating a new language it can be very educational to look at all the solutions for that language and see
209.
by jamii 11y ago
For me the most interesting part was: > ...we can prove that certain levels of consistency cannot be achieved without making operation latency proportional to network delay. 'Consistency requires waiting' is a pretty well known
210.
by jamii 11y ago
Depending on how you are using it, you could look into an actual constraint solver like Gecode or a more deterministic logic language like Dyna. The latter would probably require some implementation work - the only production-quality implem

More ›