twopoint718

12 年前議論

There's also Leksah http://leksah.org/ . I used this a bit a few years ago. It does on-the-fly recompiles, reports errors, and shows type signatures.

twopoint718

13 年前議論

There's an interesting post on the Haskell Cafe list from a while ago wherein Jason Dagit wonders if Git and Darcs aren't dual to one another. http://www.haskell.org/pipermail/haskell-cafe/2010-October/0...

twopoint718

13 年前議論

I could make it that way, it's still pretty small at the moment. Here's the current list:

Theraputic refactoring - Katrina Owen, The Future of Programming - Bret Victor, Simplicity matters -Rich Hickey, Hammock Driven Development - Rich Hickey, Programming with nothing - Tom Stuart, Connections: Faith in Numbers - James Burke, Growing a Language - Guy Steele, Y Not - Adventures in Functional Programming - Jim Weirich, Cool Code - Kevlin Henney, We Really Don't Know How to Compute! - Gerald Jay Sussman, Keynote: Architecture the Lost Years - Bob Martin, Computer Heuristics - Richard Feynman, The Power of Abstraction - Barbara Liskov, The Mother of All Demos - Douglas Engelbart

twopoint718

13 年前議論

That's exactly what I've started doing at my office. We watch a talk per week and discuss it after. Rich Hickey occupies several rows of the spreadsheet!

twopoint718

13 年前議論

Totally agree. Demand better. Have your metaprogramming and be able to know where 'getPosition' was dynamically generated.

twopoint718

13 年前議論

Acme is the part that I use even under OS X. The regexes are cool (they are recursive), it is easy to process a selection through a shell command, and the compiler integration is both simple but really useful.

I think what I like so much is that it is a rare example of an expert ui, designed for when you are really proficient rather than for learning or discoverability.

twopoint718

13 年前議論

Love it. There are elements of this that remind me of Plan 9's Acme and the Plan 9 shell. Contrary to many people's opinion, using the mouse in concert with the terminal is a really powerful paradigm.

twopoint718

14 年前議論

Thanks! I'll add this.

twopoint718

14 年前議論

Nope, this article is the real deal. I was at this conference and the take on the community rings true to me. It was a no-holds-barred hug fest (and a fine conference, of course). Lest you accuse me of sockpuppet-ism, I've been on HN for 5 years.

twopoint718

14 年前議論

I like how Joe points out that rebasing raises the same issues as time travel, namely paradoxes. If you have rebased commits that others have pulled, then you've created a situation where a commit both does and does not exist.

Also interesting is how rebasing can reorder the dates as seen in the log. All that git really cares about is the parentage of some commit.

Good and insightful post.

twopoint718

14 年前議論

I know it is probably gauche, but here's a tl;dr: The "regexp" in your programming language isn't "regular expression" from language theory. Adding extra bells and whistles (like back references) gives "regexps" power at least equivalent to context-free languages.

This is an excellent article, and I hope the tl;dr makes you more likely to go and read it.

twopoint718

15 年前議論

My two complaints are that the keyboard isn't the sort that I like, it's of the chiclet variety, and they only offer shortscreens (16:9 rather than 4:3). On the first complaint, this is really just my preference on keyboards. I'm a dvorak typist and so I'm a bit picky about keyboards; from my point of view, every laptop keyboard is bad, but I'm holding out hope for Thinkpads. On the second complaint it seems, unfortunately, that no manufacturer makes 4:3 laptops in 12"-15" sizes.

I have one of the ultra-thin models "Lemu1" and the body is plastic while the inner chassis is metal. It reminds me of the build on an iBook G4. It does feel a bit flimsy, but this model is about the size of a MacBook Air and so I figure some of the flimsiness is partly just physics.

twopoint718

15 年前議論

Haha, take it just a bit farther. When you get hooked on a tiling window manager, all this twisting in the wind over what KDE/GNOME 3.0/Unity will do next really evaporates. The "surface area" of the GUI is so small there's very little to find issue with.

twopoint718

15 年前議論

I think companies (yes companies) like System76 are the only real way forward for Linux On The Desktop but I think that they tend to get ignored in this discussion. Linux already has prominent commercial backing (Red Hat, Canonical, IBM, etc.) for server-focused systems and applications. And indeed, in this arena Linux has been very successful. Where these sorts of complaints should fall are directly on system builders (the Dells of the world). When someone hears about Linux, it should be possible for them to go to a store and maybe check one out.

Think about the last time you bought something. Did you go to a shop and kick the tires a bit? When I wanted an Android phone that was unconnected to any particular carrier, I was lucky enough that Best Buy was partnered up with Google. I could hold a Nexus S and see if I liked it before I bought one. This hands-on experience matters. Your local LUG is trying to get the word out, but they're volunteers. We need more businesses who have a vested interest in selling Linux to regular users. When they are, then the product will be a better fit for those users. This is the difference between 'The Spirit of St. Louis' and American Airlines.

Full disclosure, I bought a System76 machine and I'm very happy with it. It's good hardware and it all worked (and not just "works for me", but really worked). Getting a product like this is a good fit for a certain type of computer user. I have owned and bought computers before. It's refreshing to get a new computer that doesn't have layer upon layer of crapware pre-installed and I wasn't in need of some fetishistic unboxing experience; it came in a box that, when opened, it worked out of.

twopoint718

16 年前議論

Also useful is WPKG: http://wpkg.org/ Though it isn't exactly the same idea (more related to multiple workstations).

twopoint718

16 年前議論

This is what I thought. I wasn't going to pay attention until they specified the client protocol (Wave needs an Emacs mode). Most of the complaints I've heard about Wave stemmed from its AJAX-heavy user interface. How many people had new enough browsers to even use Wave?

twopoint718

16 年前議論

I think there's at least one clojure plug-in for each of the main Java IDEs:

    Enclojure (NetBeans)
    Counterclockwise (Eclipse)
    La Clojure (JetBrains)

The other thing that has really improved immensely is "project management" (right term?) provided by Leiningen. Now you can basically do "lein new proj_name", then edit a simple config file in the created directory and do "lein deps" to get all the packages that you referenced.

twopoint718

16 年前議論

There was a long post on the topic of 'regex-vs-parser' for email on reddit a while back. I hope I'm pointing to the correct person, but he wrote a parser in Haskell that validates against RFC5322: http://hackage.haskell.org/package/email-validate

twopoint718

16 年前議論

I like this little bit about how the first self-hosting lisp compiler was created:

"The first self-hosting compiler (excluding assemblers) was written for Lisp by Hart and Levin at MIT in 1962. They wrote a Lisp compiler in Lisp, testing it inside an existing Lisp interpreter. Once they had improved the compiler to the point where it could compile its own source code, it was self-hosting.[4]

The compiler as it exists on the standard compiler tape is a machine language program that was obtained by having the S-expression definition of the compiler work on itself through the interpreter. (AI Memo 39)" -- http://en.wikipedia.org/wiki/Bootstrapping_%28compilers%29#H...

twopoint718

16 年前議論

I was debating on whether or not "Super+n" was too much of a Linux/Emacs-ism. But, at least on my keyboard, it is a diamond: http://comedialabs.com/images-matti/lite2.jpg

twopoint718

投稿

Real World OCaml Book is now in beta

Display Real-time Feedback on Your Public Speaking

Lists out of lambdas and boxes out of functions

From Ruby to Haskell, Part 2: Similarity, Refactoring, and Patterns

Styleguide Rails: might as well learn it... you'll be using it in 6 months

From Ruby to Haskell, Part 1: Testing

Ask HN: In-memory Webserver

Ask HN: Any good SIM-only carriers or plans in US?

The Planetary Society's Quest to Deploy a Solar Sail

コメント