Wesner Moise

A Blog About Software Development And Life

Welcome to my blog. Subscribe and get my latest blog post in your inbox.

NStatic (51)  

2015-01-14   NStatic
2008-01-19   Playing Chess with God
2008-01-02   Human-like Reasoning
2007-11-14   Supercompilation
2007-10-05   Specifications
2007-08-18   Scalability
2007-07-22   Omniscient Debugging
2007-07-21   Methods, Part 1
2007-07-18   NStatic Usability
2007-07-18   Loops, Part 2
2007-06-26   NStatic Plans
2007-06-21   Loops, Part 1
2007-06-18   Static Analysis At Microsoft
2007-06-18   Equation Solving
2007-06-17   Execution Paths
2007-05-15   Coming Along
2007-04-19   Estimation
2007-03-18   Static Analysis Tools at the Summit
2007-03-17   Parameterized Unit Tests
2007-03-07   Anonymous Recursion
2007-02-07   NStatic Presentation, II
2007-02-06   NStatic Presentation
2006-12-25   Verification
2006-12-20   Program Verification
2006-11-25   Parameter Validation
2006-11-01   Effortless UI, II
2006-10-24   Real World Specs
2006-10-23   Interprocedural Analysis
2006-10-23   Last Mile
2006-10-01   NStatic Status
2006-09-11   Framework Bug #1
2006-08-14   Floating-Point Numbers
2006-08-01   Spec#
2006-07-30   Release Early and Often
2006-07-30   NStatic Status
2006-05-28   Partial Office UI
2006-05-04   Workspaces
2006-04-23   Effortless UI, Part 1
2006-04-01   More on Specifications
2006-03-31   NStatic Social Interface
2006-03-31   Specifications
2006-03-29   Inductive UI
2006-02-25   NStatic Directions
2006-02-25   NStatic Walkthrough
2006-02-08   UI Decisions
2006-01-17   Bugs versus Limitations
2006-01-16   NStatic Status
2006-01-08   Intelligence vs Intellisense
2005-12-18   NStatic and Exceptions
2005-12-18   NStatic
2005-11-20   Static Analysis

AI (41)  

2014-09-16   Building Software that Understands
2012-01-23   Conversational Interfaces Redux
2011-10-24   Siri Technology
2011-10-24   Siri and the Human Connection—The Eliza Effect
2011-10-14   Siri and the AI Revolution
2011-10-14   Conversational Interfaces: Siri & Shrdlu
2009-01-07   Smart Software Should Get Out Of Your Way
2008-01-02   Computation as the Ultimate Metaphor
2008-01-02   Human-like Reasoning
2007-11-14   Smart Machines
2007-11-14   Semantic Computing
2007-05-15   Symbolic Computing
2007-03-16   Code and Data
2006-12-06   Bullets Flying My Way
2006-10-01   Turing Test and Loebner Prize Competition
2006-09-07   Model-View
2006-09-07   Software Design Philosophy
2006-06-21   Direct UI
2006-05-13   Functional Programming
2006-05-11   Wordprocessing
2006-04-29   A Modest Design Change
2006-01-27   AI Hubris
2006-01-09   The Concept of Concepts
2006-01-08   Intelligence vs Intellisense
2005-11-05   Thinking in Ifs
2005-10-31   That's Impossible
2005-10-30   Content-Aware Desktop Applications
2005-10-29   Programmer's Myopia -- Natural Language Grammars
2005-08-07   On Intelligence
2005-06-10   Human vs Computer
2005-01-29   Language Oriented Programming
2004-06-28   Looking Back at My CS Education A Decade Later
2004-06-28   Natural Language Understanding
2004-06-28   AI
2004-06-26   Intentional Programming, Again
2004-06-25   Intentional Programming
2004-06-23   Graphical Source Code Editors
2004-06-23   Whidbey May Miss the Next Coding Revolution
2004-05-26   Kurzweil's Law -- Moore's Law Generalized
2004-01-29   Will Machines Become Conscious?
2003-10-07   Human-like Software

Semantics (1)  

2014-09-16   Building Software that Understands

Entrepreneurship (44)  

2012-01-23   Leverage in the Software Business
2007-10-29   SBIR (Small Business Innovation Research) Grants
2006-07-30   Release Early and Often
2006-05-26   Crowdsourcing
2006-03-29   Rockstar Programmer
2005-12-06   Think Big
2005-11-11   Get Your Butt Outta Bed and Build Something
2005-10-31   That's Impossible
2005-10-11   Zombie
2005-10-11   Getting into Microsoft (as a Company)
2005-08-27   Low-Risk Entrepreneurship
2005-08-26   Fail Fast
2005-08-08   Ecommerce Providers
2005-07-27   The Lure of Free Software
2005-07-19   Personal Offshoring
2005-07-08   Some More Entrepreneurial Fodder
2005-07-08   Messed Up Private Lives
2005-07-07   Focus On What You Want To Have Happen
2005-06-24   Selling on the Web
2005-06-08   Getting Started on Web Design
2005-06-04   Development
2005-06-02   Marketing Software
2005-05-31   Strategic Reassessment
2005-04-13   A Nation of Entrepreneurs
2005-01-30   Planning a Product Years in Advance
2005-01-28   Purple Cows
2005-01-28   Taking on Category Leaders
2005-01-04   Market Sizing
2005-01-04   Looking Back in 2004
2004-10-11   Logo
2004-09-09   Software Awards
2004-09-01   MicroISVs
2004-08-17   Being Independent
2004-07-02   Shareware
2004-03-17   Shareware Profitable?
2004-01-31   Fire And Motion
2004-01-29   Getting Started With Your Own Software Company
2004-01-24   Ideals
2004-01-19   Platform vs Application
2004-01-16   Mission Statement
2004-01-10   Entrepreneurship Rationalizations
2004-01-10   Make More Mistakes
2003-10-07   Human-like Software
2003-09-27   Why did I leave Microsoft?

Natural Language (6)  

2012-01-23   Conversational Interfaces Redux
2011-10-24   Siri Technology
2011-10-24   Siri and the Human Connection—The Eliza Effect
2011-10-14   Siri and the AI Revolution
2011-10-14   Conversational Interfaces: Siri & Shrdlu
2005-10-29   Programmer's Myopia -- Natural Language Grammars

Technology (66)  

2012-01-23   Conversational Interfaces Redux
2012-01-14   The Computers and Internet of Yesteryear
2011-10-24   Technology & Liberal Arts
2008-12-29   Online Courses
2007-08-09   LISP
2007-06-16   Old School Programming
2006-12-27   Fabricated Complexity
2006-12-05   Lego Programming
2006-08-16   Powers Of Ten
2006-08-03   Less Crap at Microsoft
2006-08-03   Research Pipeline
2006-07-30   Incompletely Undecidable
2006-05-29   Playing with Office
2006-05-25   Office 12 UI
2006-05-23   Google Interviews
2006-04-01   Microsoft Circles
2006-01-27   Professional-Looking Documents in Word
2006-01-26   Software Paradoxes: The Cost of Trying Too Hard
2006-01-25   PivotTables 12
2006-01-25   Innovation at Microsoft
2005-11-23   Office Open XML
2005-11-08   Google AdSense
2005-11-02   Big, Bad Microsoft
2005-10-31   Microsoft and Google Innovation
2005-10-29   Programmer's Myopia -- Natural Language Grammars
2005-10-29   50 Years From Now
2005-10-11   Getting into Microsoft (as a Company)
2005-09-15   Office Reinvention
2005-09-04   Doctors and Patients
2005-08-27   Predicting the Future
2005-08-12   Memes
2005-08-10   Innovation Trends
2005-07-27   The Lure of Free Software
2005-06-25   High-tech Outsourcing
2005-06-24   Rich RSS Integration in Longhorn
2005-06-16   Open Your Mind
2005-06-15   E-books
2005-06-14   Building a Website
2005-06-04   Semantic Web and Ontologies
2005-06-02   Original Ideas
2005-06-01   Office and XML
2005-06-01   Would You Have Allowed Bill Gates To Be Born?
2005-04-19   Hobbyist Programmers
2005-01-29   Collapse
2005-01-25   Second Most Powerful Wizard
2005-01-08   Google - Extension of the Brain
2005-01-07   3D UI
2004-11-13   Electronic Arts
2004-10-02   The Pace of Technology
2004-07-12   Rich Web Applications
2004-06-27   Taking the Limit
2004-06-25   Beautiful OSes
2004-06-21   Missing the Inflection Point
2004-06-20   APIs Are More Than Just Function Calls
2004-05-26   Technology Is Young
2004-02-24   Easter Eggs
2004-02-11   3D versus 2D Animation
2004-02-06   Software Quality
2004-02-06   Software Rewrites
2004-02-06   Joel
2004-01-31   Fire And Motion
2004-01-19   Platform vs Application
2003-11-08   Interviews
2003-10-22   Open Microsoft
2003-10-20   A Taste of Apple
2003-09-25   Seeing Bill Gates's House

Online Courses (2)  

2012-01-16   Online Courses
2008-12-29   Online Courses

Functional Programming (7)  

2010-10-30   Immutable Collections
2007-11-11   The Awkwardness of Functional Programming
2007-10-08   Immutable Data Structures in C#
2006-08-22   Persistent Performance
2006-08-14   Big Lists
2006-05-28   Why Functional Programming Matters
2004-03-13   Math Functions Performance

Immutability (5)  

2010-10-30   Immutable Collections
2007-11-11   The Awkwardness of Functional Programming
2007-10-08   Immutable Data Structures in C#
2006-08-22   Persistent Performance
2006-08-14   Big Lists

Math (5)  

2009-02-08   Unifying Math and Computer Science
2009-02-08   Math & Computer Science
2009-02-08   Mathematical Programming
2005-01-10   Math Quiz II
2004-03-13   Decimal Performance

Smart Software (5)  

2008-01-11   Principle of Most Power
2006-12-28   Hard Problems, Simple Solutions
2006-09-08   Great Developers
2006-09-07   High Level Languages & Performance
2006-06-13   Software Reliability

Life (4)  

2007-11-24   Triple Nine
2004-08-31   Independence day
2004-01-24   Ideals
2003-09-25   Seeing Bill Gates's House

Intelligence (1)  

2007-11-13   What's Wrong With Reason?

.NET (51)  

2007-11-11   The Awkwardness of Functional Programming
2007-10-08   Immutable Data Structures in C#
2007-08-22   Source Code
2007-03-07   Continuation Passing Style & Anonymous Methods
2006-11-16   Active Loops
2006-10-01   MVP - C#
2006-08-22   Persistent Performance
2006-08-14   Big Lists
2006-08-03   Miguel and Avalon
2006-08-01   Spec#
2006-07-31   Lang.NET Symposium
2006-06-14   Queries Refactored
2006-05-28   Why Functional Programming Matters
2006-05-27   Silver Bullet
2006-03-17   Recursive Iterators Performance
2006-03-01   Concurrency Planning
2006-02-10   Delphi -- The End of an Era
2006-02-07   Lisp -- The Secret Weapon
2006-02-06   How Microsoft Does Software Engineering
2005-12-08   Agile Programming at Microsoft
2005-12-08   MS Development Process
2005-12-06   Expression Trees
2005-11-21   Joel Test
2005-10-31   Shipping Software with Databases
2005-09-24   From/Select and Select/From
2005-09-15   Form versus Function in Office 12
2005-09-02   Programmer Myopia
2005-08-23   Algorithmic Complexity
2005-08-22   Software Design Philosophy
2005-07-12   Getting Web Services
2005-07-11   Microsoft At War With Self
2005-06-13   Concurrency Revolution
2005-06-06   Disruptive Programming Languages
2005-06-03   Lightweight Code Generation
2005-06-02   Has Microsoft Found Its Format?
2005-06-02   Office XML, II
2005-06-01   Hungarian Notation
2005-05-28   N^2 Development
2005-02-14   Transparency and Microsoft
2005-01-10   Math Quiz II
2005-01-07   3D UI
2004-11-09   Office XML
2004-06-21   Missing the Inflection Point
2004-06-20   APIs Are More Than Just Function Calls
2004-06-16   Microsoft and the API War
2004-06-14   Platform vs Library Versioning in Longhorn/Orcas
2004-03-13   Math Functions Performance
2004-03-13   Decimal Performance
2004-02-25   Correct Code Is Hard To Write
2003-09-28   Linus on Microsoft
2003-09-28   Inductive UIs vs Productive UIs

C# (3)  

2007-10-08   Immutable Data Structures in C#
2006-10-01   MVP - C#
2005-09-24   From/Select and Select/From

CS (1)  

2005-05-28   Grand Unification