Visit site Craig Stuntz's Weblog

August 2014

1
vote
Vote UpVote

Your Flying Car is Ready: Amazing Programming Tools of the Future, Today!

Craig Stuntz's Weblog – That’s the title of my presentation at Dog Food Conference 2014, 29-30 September, in Columbus, Ohio. If you found my post on "Test-Only Development" with the Z3 Theorem Prover was interesting, then you’ll love this. What if simply writing "unit tests" was enough to produce a program ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-08-01 14:30

July 2014

0
votes
Vote UpVote

Cloud Security, For Real This Time: Homomorphic Encryption and the Future of Online Privacy

Craig Stuntz's Weblog – That’s the title of the presentation I’ll be giving at CloudDevelop 2014, on October 17th, in Columbus, Ohio. If you read my blog at all then you’re probably interested in where software development will be headed five years in the future. Two things I recommend that you study are ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-07-25 15:54
1
vote
Vote UpVote

"Test-Only Development" with the Z3 Theorem Prover

Craig Stuntz's Weblog – In this post I’ll introduce a style of programming which may be totally unfamiliar and perhaps a bit magical to many readers. What if you could write a unit test for a problem and have your compiler automatically return a correct implementation? Call it "test only" instead of "test first." ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-07-07 15:00

June 2014

0
votes
Vote UpVote

Emerging Languages Camp Part 5: Axiomatic Language

Craig Stuntz's Weblog – This is the fifth post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Axiomatic Language Walter Wilson Homepage · Slides · Presentation One of the ways that you can describe a coding style is declarative ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-06-30 18:44
4
votes
Vote UpVote

Emerging Languages Camp Part 4: Nimrod and Dao

Craig Stuntz's Weblog – This is the fourth post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Nimrod: A new approach to meta programming Andreas Rumpf Homepage · Slides · Presentation Nimrod’s creator, Andreas Rumpf, ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-06-06 15:06

April 2014

0
votes
Vote UpVote

Emerging Languages Camp Part 3: Noether

Craig Stuntz's Weblog – This is the third post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Noether: Symmetry in Programming Language Design Daira Hopwood Slides · Presentation I found this presentation to be at once fascinating ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-04-17 17:06
0
votes
Vote UpVote

Emerging Languages Camp Part 2: Daimio and Babel

Craig Stuntz's Weblog – In this exciting installment of my notes from Emerging Languages Camp last year, some information about the Daimio and Babel programming languages. If you haven’t seen it already, you might want to read the Introduction to this series. Daimio: A Language for Sharing Dann Toliver Homepage · ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-04-03 13:47

March 2014

1
vote
Vote UpVote

Emerging Languages Camp Part 1: Introduction and Gershwin

Craig Stuntz's Weblog – Emerging Languages Camp is an all day event held before Strange Loop. There were 11 presentations on new and unusual programming languages in varying stages of development. Production-ready languages like C#, Ruby, Clojure, and Haskell don’t just spring to life out of nothing. There exists a ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-03-26 14:25
2
votes
Vote UpVote

How to Fix MSBuild Error MSB4006

Craig Stuntz's Weblog – You may encounter an error which looks like this: MSB4006: There is a circular dependency in the target dependency graph involving target "ResolveProjectReferences" [MyProjectName\MyProjectName.csproj] …when running MSBuild from the command line. This error happens when: You run MSBuild on a ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-03-03 16:25

February 2014

0
votes
Vote UpVote

Cloud Security, For Real This Time

Craig Stuntz's Weblog – Cloud Security, For Real This Time: Homomorphic Encryption and the Future of Data Privacy. That’s the title of my presentation at the next Central Ohio OWASP Quarterly Seminar, on 27 February at 1:00 p.m. Dan King, from Microsoft, will be talking about single sign-on for federated Dynamics ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-02-19 14:38

January 2014

2
votes
Vote UpVote

When Does Lexing End and Parsing Begin?

Craig Stuntz's Weblog – I had an interesting bug in my compiler: The parser would fail on blank lines. To a certain degree, this makes sense; the formal grammar of the language does not include blank lines. This is invalid input! On the other hand, every programming language ever invented, as far as I know, simply ignores ...
Details Favorite? Off-Topic? Craig Stuntz @ 2014-01-08 17:48

December 2013

1
vote
Vote UpVote

Let’s Build a Compiler… In F#!

Craig Stuntz's Weblog – I’m building a small compiler for a toy language which emits .NET executables, implemented in F#. Demo compilers are a dime a dozen, but there are a few things which make this project distinct: No lexer or parser generators are used. The entire compiler is written from the ground up, and is ...
Details Favorite? Off-Topic? Craig Stuntz @ 2013-12-12 15:12

September 2013

1
vote
Vote UpVote

On Learning Programming and Math at Coursera

Craig Stuntz's Weblog – Coursera, Udacity, MIT Open Courseware, and other such sites are useful to me because they decouple the desire to learn college-level material from the expense and regulations of earning (another) diploma. The latter isn’t compelling to me today, but the former certainly is. I’ve now ...
Details Favorite? Off-Topic? Craig Stuntz @ 2013-09-26 15:48
3
votes
Vote UpVote

Strange Loop Crossword

Craig Stuntz's Weblog – I wrote a 15*15, NYT-style crossword puzzle for Strange Loop. On the NYT difficulty scale, it’s roughly a Wednesday-level puzzle. However, it was written for Strange Loop and thus does presume familiarity with functional programming and math, and has a few "inside jokes." You can find the ...
Details Favorite? Off-Topic? Craig Stuntz @ 2013-09-25 15:17

June 2013

1
vote
Vote UpVote

Google’s Research on Interviewing Technical Candidates

Craig Stuntz's Weblog – Yesterday’s New York Times has a good article on Google’s analysis of what works and what does not work when interviewing candidates for technical jobs. This paragraph closely matches my experience: Behavioral interviewing also works — where you’re not giving someone a hypothetical, but ...
Details Favorite? Off-Topic? Craig Stuntz @ 2013-06-20 13:46
Subscribe:
Contact us to advertise on DelphiFeeds.com

Community Links

Torry Firebird News

Sponsor

 
Please login or register to use this functionality.
(click on this box to dismiss)