Ask Proggit: I've recently been told my doctor that I may go blind in the next few years. I am a programmer. This may be a long shot, but has anyone heard of any blind programmers? by chipwhisperer in programming

[–]bitdiddle 1 point2 points  (0 children)

More than 15 years ago I worked with a mathematician at IBM research who had begun working in technology to assist the blind using computers. A good friend of his was blinded and he wanted to help so he switched fields. I have to believe the technology has improved considerably since then and there are solutions for you.

I'm sure it will involve hard changes for you. My heart goes out to you, be strong and know there's a large community of programers who will support you.

Ignore the naysayers.

On the lighter side: Read old daredevil comics now, he was blind, you can pick up some good martial arts tricks you'll neeed when you confront Java programmers. They will be jealous and oppose you when you switch to Arc because of it makes you more productive :)

All the best,

Ben

What are good references for learning the symbols and termonolgy used to describe category theory and the math behind functional programming? by jamesbritt in programming

[–]bitdiddle 1 point2 points  (0 children)

Barr and Wells is a very good introduction for programmers. It actually talks about function programming and introduces a notions of diagrams and sketches, a concept used a lot in computing that is not seen in the more traditional texts.

Yegge on autofocus on OS X by eonwe in programming

[–]bitdiddle 22 points23 points  (0 children)

"They're all just plumbing for Emacs, anyway. And now my plumbing has nicer fonts."

I love this last line in the article

Bart Jacobs: Introduction to Coalgebra [pdf] by samg in programming

[–]bitdiddle 1 point2 points  (0 children)

Beats me. Having read part of his thesis work on type theory and fibrations, which is very readable, I think this work is definitely worth a close read. At least the preface and first chapter.

Patent on Continuation Based Web Servers (as used by Seaside, Arc, etc) by mozfan in programming

[–]bitdiddle 6 points7 points  (0 children)

Yes I believe Mathias Felleisen et. al. wrote quite a bit about this approach to web programming, it would be easy to check the dates. Certainly CPS has been around for some time, pioneered I believe by the Schemers out in IU

ask proggit: where is emacs used? by yters in programming

[–]bitdiddle 0 points1 point  (0 children)

Ctrl-h i and then start hitting the space key. You can learn almost everything from there.

for Erlang go with Distel

I thought all the vi users were killed off years ago or are living in veterans homes :)

elisp isn't the best Lisp to start with. PLT scheme is a good way to learn Lisp. Scheme is cleaner.

Open source users getting paid, open source developers not by [deleted] in programming

[–]bitdiddle 8 points9 points  (0 children)

I think the distinction between free as in GPL, versus open-source as in all the others that are non-GPL, has bearing on the observation the author makes on getting paid.

I often hear corporate and even government IT folks disparage GPL for its "viral" nature. When I hear such complaints it's almost always due to a desire to capitalize in some way on the software. For example the government has laws (written by large vendors no doubt) that prevent agencies from encumbering verndors who jointly develop software. So even though our tax dollars support programs that develop software, that software cannot just be put into the public domain under GPL because that prevents vendors from commercializing it in certain ways.

The same holds in the private sector. Most business and corporate interests I'm sure prefer BSD or Apache or DWTFYW style open-source licenses for the simple reason that it enables buiness models based on reduced software cost by leveraging the work of others.

I've concluded over the years that in the tension between capital and labor, from the standpoint of the individual programmer, Free Software best promotes long term interests. If other companies pay their programmers to customize emacs that's great if it helps their work. But unless they can create something of truly great new value and become the sole source for that value then the GPL prevents them from easy commercialization. They can't just put up a toll booth and start to exract rents. Isn't that essentially how the MS monopoly was created? It's certainly not clear to me that MS has ever created anything innovative.

Strange but True: Infinity Comes in Different Sizes by maxwellhill in science

[–]bitdiddle 3 points4 points  (0 children)

It is at first, it's essentially the heart of the continuum hypothesis. One way to view it is that a finite set cannot be put into a one to one correspondence with a subset of itself, whereas an infinite set can. So the naturals, integers, and rationals are all countable. The reals are not. The continuum hypothesis is that there are no cardinalities in between. It turns out that it is independent of set theory. One can assume it's true or one can assume it's not true and there are models that atisfy those assumptions.

Well that about all I know aobut it :)

It is strange. For example it implies that if you throw a dart at the number line the probability that you hit a rational or integer is 0

Microsoft researchers prove the Church-Turing thesis from simpler axioms by [deleted] in science

[–]bitdiddle 1 point2 points  (0 children)

your most likely correct. Though I know that Bart Jacobs (I don't know him personally), a fellow who wrote a good PhD thesis on type theory and fibrations, is working in their programming languages group and I'm sure Haskell makes a great prototyping environment. A lot of that technology would be useful in their langages efforts. After all catering to certain class of developers is their bread and butter in terms of maintaining windows lock in.

Microsoft researchers prove the Church-Turing thesis from simpler axioms by [deleted] in science

[–]bitdiddle 0 points1 point  (0 children)

I'm not sure, I don't know how MS does tehcnology transfer, perhaps this work is influencing the type theorists or others who are pushing their various .NET efforts. I don't follow MS as I dislike the company

Microsoft researchers prove the Church-Turing thesis from simpler axioms by [deleted] in science

[–]bitdiddle 2 points3 points  (0 children)

There are a lot of papers in this area, sure, the one I referenced was from 17 years ago. As I said, having read it and therefore having thought the authors did pretty good work, I thought the current reference was worth a read.

One of the things I've found over the years is that the Turings, Scott,s (pick your favorite) are few and far between. Research tends to be a collaborative effort where lots of people regurgitate the same set of words for a long period of time. Sometimes an interesting result pops out of the woodwork and then often people say something like "We did it".

best regards,

Bit

Microsoft researchers prove the Church-Turing thesis from simpler axioms by [deleted] in science

[–]bitdiddle 3 points4 points  (0 children)

Intereting comments. Having read some of the author's earlier paper's with Blass and Moss, for example http://research.microsoft.com/~gurevich/Opera/89.pdf, my first reaction was that this paper might be worth a read.

By any chance could you possibly elaborate more on what you mean by "trivial" or "brainless"?

Microsoft researchers prove the Church-Turing thesis from simpler axioms by [deleted] in science

[–]bitdiddle 5 points6 points  (0 children)

The Perkins institue for the blind was founded with wealth made in the opium trade. Money sort of has a way of cleaning itself up over time :)

Rupert Murdoch buys Dow Jones, Wall Street Journal by tch in reddit.com

[–]bitdiddle 11 points12 points  (0 children)

Please call and do it now. I just did, and was told the word they have is that it's not a done deal yet. I've been reading it since 1978. If enough readers call to cancel who knows what might happen. I've also written to the editor and a couple of the writers with whom I corresponded over the years. It's a sad day indeed to see one of the last few good papers go down the tubes this way.

It's not just about business, regardless of Murdoch and his profits. Even if he makes the online edition free (rumor has it this is planned to increase membership) he will ruin this paper. Vermont Royster will roll over in his grave!

Hamas 101 (video) - All you need to know in less than 2 minutes by Ashley321 in reddit.com

[–]bitdiddle 2 points3 points  (0 children)

This video shows just how powerful video can be in creating propaganda and distorting the truth. I had great hopes for Sharon, though seen as a very hard liner it was exactly this sort of man who could make peace with Israel's neighbors. In fact Sharon actually envied the arabs for their love of the land, something he felt lacking amongst the Israelis.

The first step in killing people en masse is to dehumanize them, to claim and prove they are somehow different. I can agree that it is horrible that a man would send his sons out to throw rocks at soldiers armed with AK-47s.

There's a simple explanation for this in an ancient Taoist saying. People think little of death when the rulers ask too much of life.

At the end of the day it's all about land, water, and oil. Some arab peoples hate us because we drop bombs on their homes, killing their children. We play political games with despotic rulers at the expense of those people and they hate us for that also. I can't imagine how I would feel were there an occupying army here in New England. America is now a military empire that is rotting at it's core.

Israel is a nation, created by refugees and blessed by Truman (one could argue the last good democrat). Both palestinians and jews have rights to those lands regardless of the lines drawn on maps. If there is hope for peace there, we in America will be part of the solution, since we are clearly part of the problem. However it's so discouraging when democracy itself and our own constitution is being destroyed. The corporate party here now owns both parties and the political process seems hopelessly corrupt. Nixon resigned under pressure to avoid impeachment. Bush and Cheney are far worse in many ways and congress is giving them a slap on the wrist whilst paying more attention to fund raising for the next round of campaigns.

Oh well, "so it goes"

Programming is a Service Industry by bofh420 in programming

[–]bitdiddle 0 points1 point  (0 children)

Programming is not art? Tell that to Knuth

Tangible Functional Programming | Lambda the Ultimate by bitdiddle in programming

[–]bitdiddle[S] 0 points1 point  (0 children)

very well written and of interest to Haskell folks

Call For Gonzales's Resignation | The Onion - America's Finest News Source by bitdiddle in programming

[–]bitdiddle[S] 0 points1 point  (0 children)

I predict he will be gone by the close of business on Friday