Björn Bringert, Duncan Coutts, and Ian Lynagh have started a Haskell consultancy called Well-Typed.
(via CUFP)
Category: Link
Artist Mode
Artist mode lets you draw lines, squares, rectangles and poly-lines, ellipses, and circles with your mouse and/or keyboard. It is extremely useful when inserting text diagrams or figures in your source comments.
Shlisp
Shlisp is a Lisp without lists!
Companies using DSLs with Functional Programming Languages
One of the questions that has been lingering in the back of my mind for a long time is “When should a company use a DSL?”. My stock answer has always been “When it makes sense.”
Perhaps a better way is to answer that question is to look at how companies are actually using them today, rather then to simply guess!
Have a look at the “case studies” section in this presentation on ContractML to see how companies are using DSLs today.
(via cufp)
IntelliFactory
IntelliFactory is a company that facilitates the adoption of functional programming, in particular, F#.
(via cufp)
Why mathematics is not fun (when it should be!)
One man’s lament.
(thanks jfm)
Addendum: 8/6/8
On vacation, I re-read this, and wanted to share some interesting bits:
- p5. Mathematics is the art of explanation.
- p6. Math is not about following directions, it is about making new ones.
- p7. It isn’t doing anyone any good having vague memories of formulas and clear memories of hating them.
- p11. Teaching is not about information. It’s about having an honest intellectual relationship with your students. Teaching means openness and honesty, an ability to share excitement, and a love of learning.
- p21. Mathematics is about removing obstacles to our intuition, and keeping things simple.
Emacs looks to Eclipse
Seems that RMS is taking IDE design cues from Eclipse! (thanks Yoni)
Someone please point him at IntelliJ Idea.
Customizing Autosave
Here is a tweak to configure auto-save to cooperate with your buffers in Emacs.
University of Waterloo Switches to Scheme
The University of Waterloo has switched first year students to Scheme.
There is a big difference between learning how to program and in learning a particular language. Scheme makes the former so much easier!
Switching Caps Lock with Control on Windows
Getting the control key “back into the right spot” on PC keyboards is a goal shared between Emacs and UNIX folks. The following are a collection of links on how to do so (this list is sure to grow):
- GNU Emacs FAQ For Windows 95/98/ME/NT/XP and 2000 (thanks Trey)
- Sysinternals Ctrl2Cap (thanks kiwlm)
Addendum: 10/01/08
The Sysinternals solution is excellent, but it throws away caps lock. This was fine for me for a while, but believe it or not, now I need it back. As such, I now employ the solution found here.
Addendum: 1/11/11
This approach does not work on Windows 7 (I just started using Win7 this week).
KeyMapper works brilliantly though.
(via emacswiki)
Addendum: 2014-12-10
Coming back to Windows I found that KeyMapper quit working for me.
AutoHotkey seems to be doing the job of swapping:
- caps lock with left control
- left control with caps lock
- enter with right control
- right shift with enter
- Seems to be the best way to use any keyboard out there
- scroll up and down on the wheel mouse
Alt (Meta) - Enter
doesn’t seem to work.
I’ll keep at it. Here is the config.
WheelUp:: Send {WheelDown} Return WheelDown:: Send {WheelUp} Return Capslock::Ctrl LCtrl::CapsLock Enter::RCtrl RShift::Enter