jamii

34 ms·

331.
by jamii 12y ago
Scoping is basically a way of mapping human-readable names to uniquely addressed code objects. When I say "foo" the compiler walks up the lexical scope until it finds a declaration for a variable called "foo" and replace
332.
by jamii 12y ago
Eve has changed a great deal since Chris' original demo. It's much closer now to a spreadsheet or a relational database than to Smalltalk. All data lives in tables. Views are built using relational queries and update incrementally
333.
by jamii 12y ago
Everyone can write but there are still professional writers. There is a difference between being good enough to get at work and good enough that thousands of people read and enjoy your work. Similarly, basic computational literacy should in
334.
by jamii 12y ago
> I expect Eve will have an open architecture? So that those of us that like to plumb the depths can play too. See https://news.ycombinator.com/item?id=8397747 :)
335.
by jamii 12y ago
I'm afraid not. I worked remotely for a few months before getting my visa and it was tremendously unproductive. We're dealing with a lot of new and unfamiliar ideas and it's hard enough communicating about them in person in f
336.
by jamii 12y ago
Lockharts Lament ( https://www.maa.org/external_archive/devlin/LockhartsLament.... ) applies equally well to programming. People in general are smarter and more adaptable than HN seems to believe. The real obstacles
337.
by jamii 12y ago
* Collection-oriented rather than cell-oriented. Eve is loosely based on datalog which is closer to SQL or prolog than to a spreadsheet. The relational query model is much more powerful than vlookup. I believe we can make it as approachable
338.
by jamii 12y ago
> Is it planned that users of Eve will routinely construct new or modify existing domain-specific editors to the task at hand? Not sure at this point. For now we are focusing on the core interactions and we'll build out the rest onc
339.
by jamii 12y ago
Take a look at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.... . Object databases, XML databases and network databases were around long before relational databases. The key problem the relational databa
340.
by jamii 12y ago
Programs are written in text. If you want to edit programs, you have to be reasonable text editor. You need find-and-replace. You need to handle files being updated underneath you. You need syntax highlighting and incremental parsing. You n
341.
by jamii 12y ago
We did read the manifesto and I'm fairly convinced that Harel's vision of interactive specification and refinement is the the long-term future of software. I'm not sure how to get there though, short of general AI. Eve aims t
342.
by jamii 12y ago
It's not a matter of difficulty, it's a matter of return on effort. We could pour hundreds of man-years into catching up with emacs/vim but we would be solving the wrong problem. The reason that language tooling is so hard is
343.
by jamii 12y ago
> They want to make a better excel > They want to make a powerful, intuitive, database UI > They want to make a tool scientists can use to crunch and visualise data These are basically all the same thing. Excel is generally used as
344.
by jamii 12y ago
Those tools are hard to build. Sure, parsers are easy. Incremental parsers that can deal with half-edited text are hard (that's basically the entire function of Intellij MPS). Running static analysis on half-edited text is hard. Keepin
345.
by jamii 12y ago
But doing simple things with spreadsheets is a hell of a lot easier than doing simple things with python. Learning curves are important because most people will never get to the powerful things if they get frustrated and give up on the simp
346.
by jamii 12y ago
One interesting use for Linear Optimization is to do constraint-based UI layout - http://en.wikipedia.org/wiki/Cassowary_%28software%29 . I wonder how Glop would compare to Cassowary? EDIT Unfortunately the documentati
347.
Why are we still programming like it's the punchcard era?(pchiusano.github.io)
1 points by jamii 12y ago|1 comments
348.
by jamii 12y ago
A friend of mine works in PR in Beijing. Makeup and high-heels are mandatory despite the fact that she has never worn either before.
349.
by jamii 12y ago
When you update an erlang module, the vm stores the old and new versions of the code. Calls like foo() call the current running version. Calls like module:foo() call the latest version of that module. So typically you would have all the con
350.
by jamii 12y ago
You might enjoy http://db.cs.berkeley.edu/papers/eurosys10-boom.pdf . They put everything into tables (debug logs, profiling info, server state, monitoring statistics, messages sent/received etc) and then debug th
351.
by jamii 12y ago
http://db.cs.berkeley.edu/papers/dbtest12-bloom.pdf has a really nice extension of this idea - since their language is unordered by default and has only a few explicit ordered primitives, they can use an SMT solver to
352.
by jamii 12y ago
Fwiw, clojurescript and nodejs starts up pretty fast. The tooling isn't quite as good as clojure yet, but it doesn't take much to out-repl scala.
353.
The future of software, the end of apps(pchiusano.github.io)
2 points by jamii 12y ago|0 comments
354.
by jamii 12y ago
It strikes me that the monadic model seems to be over-specifying the query in the same way that SQL does. Compare to a datalog query where the compiler can decide in what order to join the tables and how to perform those joins (eg we use a
355.
by jamii 12y ago
I've really enjoyed reading http://bitsquid.blogspot.com/ . It runs right from the birth of their game engine right up to the recent acquisition by Autodesk. They are heavy proponents of data-centric design with flat l
356.
by jamii 12y ago
Take a look at http://www.infoq.com/presentations/theory-language-integrate... . Wadler's library supports the LINQ interface but does a better job of rewriting the final program before submitting it to the databa
357.
by jamii 12y ago
Light Table is an IDE that attempted to simplify programming by improving the tooling on top of existing languages. Unfortunately, too many of the problems we are trying to fix are baked in at the language level and there is only so much an
358.
by jamii 12y ago
Many times :) Some of our other big inspirations are Bloom ( http://boom.cs.berkeley.edu/index.html ) and OctopusDB ( https://infosys.uni-saarland.de/projects/octopusdb.php#secti... ).
359.
by jamii 12y ago
Identity is hard. If you assign an integer to every row, as the article suggests, you have to decide how that integer is effected by update operations. If the reference is by identity (ie the new row gets the same id) then you have to worry
360.
by jamii 12y ago
This one of the ideas we have been attempting to realise in Eve (eg http://www.lighttable.com/2014/07/18/imperative-thinking/ ). We separate the data model (expressed as relations) from the physical imple

More ›