| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://leepike.github.io/blog/
access-control-allow-origin: *
expires: Fri, 16 Jan 2026 00:20:06 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 483C:63659:82F0:C225:696981DC
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 00:10:06 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210066-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768522207.523146,VS0,VE232
vary: Accept-Encoding
x-fastly-request-id: 77aa2b85ad05b75791d95c69854eeded434388fc
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 07 Jan 2026 18:44:41 GMT
access-control-allow-origin: *
etag: W/"695ea999-1edb"
expires: Fri, 16 Jan 2026 00:20:06 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 3CDA:22FEC8:88E5:C835:696981DE
accept-ranges: bytes
date: Fri, 16 Jan 2026 00:10:06 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-bom-vanm7210066-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768522207.769077,VS0,VE229
vary: Accept-Encoding
x-fastly-request-id: c31a590906cf5c303f99c91b8ed36d68dba8895d
content-length: 2462
Blog | Lee Pike’s Blog
Posts
- Hidden Theorems Jan 02, 2026
- AI Won’t Eat Compilers Dec 08, 2025
- Wittgenstein was a Neuro-Symbolist Nov 28, 2025
- Will AI Have its Challenger Disaster? Nov 17, 2025
- Max: Phase 1 Report May 18, 2016
- Viva La Resistance! A Resistance Game Solver Feb 08, 2016
- 15 Minutes Feb 09, 2015
- All Hammers are Terrible Dec 29, 2014
- Using GHC HEAD Oct 11, 2014
- SmartChecking Matt Might's Red-Black Trees Aug 21, 2014
- SmartCheck: Redux Jun 17, 2014
- Embedded Security in the Mainstream Apr 02, 2014
- Stop Regression Testing Dec 16, 2013
- Printf No More Oct 24, 2013
- SMACCMPilot Oct 08, 2013
- Book Review: Automate This May 28, 2013
- A Dane Goes to NASA Nov 03, 2012
- The Worst Offenders Oct 13, 2012
- Lowering the Bar Oct 03, 2012
- SmartCheck Jul 26, 2012
- A Fistful of Dollars Mar 08, 2012
- When Formal Systems Kill Feb 19, 2012
- Who's Afraid of Software? Jan 20, 2012
- Copilot featured in Aerospace America Dec 10, 2011
- Stable Names in Haskell Nov 26, 2011
- Meta-Programming and eDSLs Jan 30, 2011
- Haskell and Hardware for the Holidays Dec 18, 2010
- Backseat Driving: Copilot Updates Nov 21, 2010
- Copilot: a DSL for Monitoring Embedded Systems Sep 26, 2010
- Shocking Tell-All Interview on Software Assurance Aug 30, 2010
- Copilot: A Hard Real-Time Runtime Monitor Aug 22, 2010
- Twinkle Twinkle Little Haskell Jun 01, 2010
- An Apologia for Formal Methods Mar 14, 2010
- 10 to the -9 Jan 25, 2010
- Writer's Unblock Oct 01, 2009
- Finding Boole Aug 11, 2009
- "Schrodinger's Probability" for Error-Checking Codes May 15, 2009
- An Atomic Fibonacci Server: Exploring the Atom (Haskell) DSL May 05, 2009
- N-Version Programming... For the nth Time Apr 27, 2009
- Programming Languages for Unpiloted Air Vehicles Apr 20, 2009
- Byzantine Cyclic Redundancy Checks (CRC) Apr 18, 2009