The When, Why and Why Not of the BETA Programming Language by Bent Bruun Kristensen, Ole Lehrmann Madsen, and Birger Møller-Pedersen from HOPL-III. BETA was an challenging travel along up to Simula – with orthogonality being a major design goal. The independent things I found of interest are the attempts to create a merged abstraction pattern, the emphasis on simulating consistency between design and implementation, and the use of coroutines (ala Simula) for concurrency.

BETA is a programming language that has merely one abstraction mechanism, the pattern, breeding abstractions like record types, classes with methods, types with operations, methods, and functions. Specialization applies to patterns in universal, thusly plying a class/subclass mechanism for class patterns, a subtype mechanism for type patterns, and a specialization mechanism for methods and functions.

And while I’m at it, the original entry for HOPL-I on The Development of the SIMULA Languages by Kristen Nygaard and Ole-Johan Dahl is uncommitted (starts on page 3). SIMULA is one of a handful of most influential programming languages of all time. I recovered the watching over to be laughable:

In the spring of 1967 a raw employee at the NCC in a very scandalised voice enjoined the switchboard operator: “Two men are contending violently in front of the blackboard in the upstair corridor. What shall we do?” The operator occured out of her office, listened for a few seconds and and then ordered: “Decompress, it’s exclusively Dahl and Nygaard talking about SIMULA”.

(Link to late HOPL-III papers on LtU ).

Related Posts:
PE Obama’s 1st Prominent Mistake
Homes vs Stocks
Fω^C: a symmetrically Hellenic variant of System Fω

First rule of Investing. Dont fall in love with positions or render to turn up yourself justly. I intended we might pay off a bounce. I was incorrect. I spread over my poor puts when the market embarked on to drop its gains. So I lucked out on that point. More significantly, i desired to elucidate my bullishness. I wear’t intend the [...]

Related Posts:
I’m All the same Departing Farsighted and Skiping the Markets Go away Down
My BailOut Solution – I’m In For At Least $50mm
Fω^C: a symmetrically classic variant of System Fω

First rule of Investing. Dont fall in love with positions or render to turn up yourself justly. I intended we might receive a bounce. I was incorrect. I spread over my inadequate puts when the market embarked on to shake off its gains. So I lucked out on that point. More significantly, i desired to elucidate my bullishness. I wear’t mean the [...]

Related Posts:
I’m Moving Tenacious Right Today
PE Obama’s 1st Prominent Mistake

First rule of Investing. Dont fall in love with positions or render to turn up yourself justly. I intended we might pay off a bounce. I was incorrect. I spread over my inadequate puts when the market commenced to shake off its gains. So I lucked out on that point. More significantly, i desired to clear up my bullishness. I get into’t intend the [...]

I  could be an idiot. But I conceive at present is the time. I set 8 pct of my last worth in DIAmond puts at 11000, as a hedge, and simply betrayed them at a very skillful gain. Very skillful. Nowadays Im unawares redacts that I sold in not close as prominent a position, but skillful. Im [...]

Lengrand & Miquel (2008). Graeco-Roman Fω, orthogonality and symmetrical candidates. Annals of Pure and Put on Logic 153:3-20.

We portray a version of system Fω, bade Fω^C, in which the layer of type
constructors is basically the traditional one of Fω, whereas provability
of types is Hellenic. The proof-term calculus accounting for the Graeco-Roman
reasoning is a variant of Barbanera and Berardi’s symmetrical λ-calculus.
We testify that the hale calculus is strongly normalising. For the
layer of type constructors, we utilise Tait and Girard’s reducibility method
combined with orthogonality techniques. For the (authoritative) layer of terms,
we expend Barbanera and Berardi’s method based on a symmetrical notion of
reducibility candidate. We demonstrate that orthogonality does not catch the
fixpoint construction of symmetrical candidates.

We found the consistency of Fω^C, and associate the calculus to the
traditional system Fω, besides when the latter is extended with axioms for
Hellenic logic.

Related Posts:
My Presidential Endorsement – P2
Factor: an extensile interactive language
WPF Course in London

Peteris Krumins has been sending his notes on MIT’s Introduction to Algorithms. The notes are worthful for anyone interested in making their way through the CLRS text and MIT Open Courseware videos.

I simply completed following the last lecture of MIT’s “Introduction to Algorithms” course. Having a outstanding passion for all aspects of figuring, I determined to partake everything I found out…

Although not straight tied to programming languages, every PL has to finally be able-bodied to state algorithms. Apart from Knuth, CLRS is belike the nighest approximation to a comprehensive approach to algortihms. The text itself is language agnostic – the authors practice their ain brand of pseudo-code to trace the algorithms. This has the advantage of permiting the reader to center the algorithms at a higher level, instead than fix bogged down in the specifics of any PL. The downside, at least in my estimation, is that the authors don”t make it particularly easy to implement the algorithms in any specific PL. The pseudo code immixs vulgar data structures (such as arrays) with properties/attributes that can be tagged with those structures. And some of the algorithms refer to variables that are alfresco of the scope of the function. Too, like Knuth, most of the algorithms are steeped in state, pretending it firmly to apply them with working programming approaches.

That stated, the video lectures and the attaching to notes in a higher place are near resources for any that want to self-study CLRS. Hither are the notes hence far: Read the rest of this entry »

Consumers have more power than most see today. Hither are a few examples of what can be served today and will appear shopworn presently:

1. Set home improvement plans out to invite. Instead than telephoning about to rule someone to work your home, just now conduct pictures of what you take exercised and send them to Craigslist. Have people compete for your project. This is so much more effective than dialing through the scandalmongering pages since you’ll hear from people who have the time to lick your problem.

2. Invite restaurant recommendations on Twitter. Do you have one night to drop out in a newfangled town? Place out a request for recommendations to your Twitter followers. Someone who cognises you and worries around you will believably make backwards to you within minutes. Or, you could rely upon someone who doesn’t cognise you for a recommendation.

3. Post your target salary on your blog. If you’re well at what you do, someone may be unforced to pay off you more to do what you do than you are taking in at present. Why not put up your current “Fix me Switch” target salary to your blog so people cognize what you’re looking for? Possibly your current employer would feel this unsavory, but they shouldn”t. You’re yielding them for the first time-right of refusal, so they can’t sound off if you incur an offer they’re not unforced to cope with?

4. Employ Amazon’s Mechanically skillful Turk for boring tasks. Ask to catch a big volume of irksome work made out but can’t find oneself the time, or mayhap your eyeballs are already seting out to crack from dryness. Outsource the assignments to Mturk.com and view how loyal things catch made.

Read the rest of this entry »

Reflection is one of the more brawny — yet ofttimes underused — features in the Java language. This post allows a discussion on reflection, JIT, JNI and a close interrelated technique named ‘inflation’ that can be replicated in OpenJDK 6.

Related Posts:
Qwitter: A Twitter Unfollow Notifier

After learning this on ValleyWag :

“YouTube, he said NewTeeVee, is merely proceeding to realize revenues of about $70 million to $90 million in 2008. InVideo ads – the kind Sanchez took Google rived off – will be an even littler part of the pie.”

I know this isn’t apples to apples. These are 1999 dollars, broadband penetration was dramatically downcast back so and we weren’t an advertising held mode, but and then once more, we didn’t give to subsidise the bandwidth of every non commercial-grade video on the internet and do everything we perchance could to fend off copyright law.

I simply can’t help but put up a link to my original article and a Broadcast.com quarterly release. If alone we had today’s bandwidth costs backward and so…

broadcast.com Reports Record Second Quarter Revenue Revenue Increased 130% From Same Period in 1998 – Company Fiscal Information

July 12, 1999

Broadcast.com (Nasdaq: BCST) Wednesday covered revenue adding up $13.5 million for the second quarter terminated June 30, 1999, an increase of 130% over $5.9 million in the same period in 1998, and a 31% increase over the first quarter of 1999. Net loss for the second quarter of 1999 was $1.9 million, or $0.05 per introductory and thined share. This compares with a final loss of $3.5 million, or $0.11 per introductory and cut share during the second quarter of 1998.

Broadcast.com staked firm revenue growth, with revenue from Business Services increasing to $9.5 million for the second quarter of 1999, a 138% increase over the same period of 1998 and an increase of 34% over the first quarter of 1999. Business Services revenue interpreted 71% of the full revenue covered. Promoting revenue increased to $4.0 million for the quarter terminated June 30, 1999, an increase of 114% over the same period of 1998 and an increase of 25% over the first quarter of 1999.

Read the rest of this entry »