Enjoyable Blog of Possibilities » ERP solution

HOPL III: The When, Why and Why Not of the BETA Programming Language

kerrysoft — Sun, 30 Nov 2008 11:31:23 +0000

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 ).

I’m Nevertheless Going away Farsighted and Hop-skiping the Markets Go away Down

kerrysoft — Fri, 14 Nov 2008 23:05:38 +0000

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 [...]

I’m Withal Departing Farseeing and Skiping the Markets Go away Down

kerrysoft — Fri, 14 Nov 2008 05:56:23 +0000

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 [...]

I’m Yet Departing Farsighted and Skiping the Markets Go away Down

kerrysoft — Wed, 12 Nov 2008 23:37:54 +0000

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’m Moving Recollective Right Nowadays

kerrysoft — Tue, 11 Nov 2008 11:59:27 +0000

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 [...]

Fω^C: a symmetrically Graeco-Roman variant of System Fω

kerrysoft — Tue, 11 Nov 2008 11:00:44 +0000

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.

Notes on Introduction To Algorithms

kerrysoft — Tue, 11 Nov 2008 05:50:22 +0000

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:

Lectures 1 and 2: Analysis of Algorithms
Lecture 3: Part and Conquer
Lectures 4 and 5: Separating
Lecture 6: Order Statistics
Lectures 7 and 8: Hashing
Lectures 9 and 10: Search Trees
Lecture 11: Augmenting Data Structures
Lecture 12: Skip Lists

Examples of How the Web is Modifying Business Relationships

kerrysoft — Tue, 11 Nov 2008 05:26:33 +0000

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.

Live Person Software
Just one single click and your website visitors are getting into instant message chatting with you.

What would you ad to this list?

Comment on this post

Book of the Month: The Driver: My Serious Pursuit of Speed and Truth in the Outlaw Cannonballing along World
Gadget of the Month: Kensington Mini Battery Extender and Charger for iPod and iPhone
Web Site of the Month: Google Docs – Employed to Spell Technology Evangelist Posts
Technology Evangelist Podcasts: Subscribe to Podcast Feed
Technology Evangelist Videos: Subscribe Video Feed

JIT, JNI, Reflection and “Inflation”

kerrysoft — Tue, 11 Nov 2008 05:09:04 +0000

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

I Couldn’t Resist…Youtube vs Broadcast.com 10 years ago

kerrysoft — Fri, 30 May 2008 08:44:20 +0000

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.

Todd Wagner, main executive officer of broadcast.com alleged: “We extend to lucubrate our turnkey business-to-business Internet sending services, as we forked out 960 events in the second quarter of 1999, more than three-fold the number of events in the second quarter of 1998 and a 45% increase over the first quarter of 1999. In addition, our of late subscribed agreement with Level 3 Communications admits us to present eminent- quality broadband content to mass, scalable audiences, attesting our commitment to persisting in to descale our network to allow for our customers with a all over, end-to-end broadband and digital media solution.”

Broadcast.com (Nasdaq: BCST) is the conducting aggregator and broadcaster of welling out media programming on the Web with the network infrastructure and expertise to present or “stream” hundreds of hot and on-demand audio and video programs over the Internet or intranets. The broadcast.com Web sites offer up a tumid and comprehensive selection of programming, including sports, speak and music radio, television, business events, total-length CDs, news, video, commentary and total-length audiobooks. Broadcast.com broadcasts on the Internet 24 hours a day, seven days a week, and its programming admits 420 radio stations and networks, 56 television stations and cable networks, and game broadcasts and other programming for over 450 college and professional sports teams. Broadcast.com besides brings home the bacon Internet and intranet broadcasting services to businesses and other organizations, including turnkey production of unrecorded and archived press conferences, earnings conference calls off, investor conferences, trade demonstrates, stockholder meetings, product introductions, preparing sessions, distance finding out telecourses and media events. For more information on broadcast.com and its unrecorded and on-demand programming, call www.broadcast.com.

Permalink | Email this | Linking Blogs | Comments