Skip to content

A blog by John Wickerson

Why apostrophes are important…

Posted on 17 Apr 2012 by John Wickerson

He has feet the size of rabbits.
He has feet the size of rabbits’.

Share this:

Click to email a link to a friend (Opens in new window)
Click to share on Facebook (Opens in new window)
Click to share on LinkedIn (Opens in new window)
Click to share on Pinterest (Opens in new window)
Click to share on Reddit (Opens in new window)
Click to share on Tumblr (Opens in new window)
Click to share on Twitter (Opens in new window)

Like this:

Like Loading...

Posted in Uncategorized

Post navigation

Previous Post Trivia+cryptic crossword

Next Post The Isabelle logo as end-of-proof symbol

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Connecting to %s

Notify me of new comments via email.

Notify me of new posts via email.

Δ

All posts

“A Squash and a Squeeze” – Academic Edition
Some reflections on FCCM 2022
The “Cluedo” effect in randomised testing
High-level synthesis, but correct
What’s the Rush?
Understanding the memory semantics of multi-threaded CPU/FPGA programs
Introducing C4: the C Compiler Concurrency Checker
Fuzzing High-Level Synthesis Tools
A translation puzzle
Diagrams for Composing Compilers
Uncovering multicore interference
Highlights from FPGA 2020
New names for odd and even functions
Fuzzing FPGA synthesis tools
A plot twist! Drawing better graphs in PL papers
In praise of scatter plots
Loop invariants – where should we put them?
Modulo scheduling with rational initiation intervals
How to draw block diagrams
A wordless proof
A rant about fire doors
Never Say Never Again – chords
Greatest hits of PLDI 2018
What is the difference between latency and throughput?
Greatest Hits of FCCM 2018
Concurrency-aware scheduling for high-level synthesis
What do you get if you cross Weak Memory with Transactional Memory?
Who has the most POPL and PLDI papers?
So, who has the most FPGA, FCCM, FPL, and FPT papers?
Ribbon Diagrams for Weak Memory
Translating lock-free, relaxed concurrency from software into hardware
Memory Consistency Models, and how to compare them automatically
cppreference.com gets acquire/release instructions wrong
Why we should plot normalised data on a logarithmic scale
Bad UX design: “Updated Just Now”
Aqua Marina – piano sheet music
Tips for commuting between Cambridge and London
On the letter O and the number 0
Some useful and free Mac apps
The Isabelle logo as end-of-proof symbol
Why apostrophes are important…
Trivia+cryptic crossword
How to fix a Roland HP 136 Digital Piano
Adding PDFs to BibDesk
Chrome-style tabs for…
A star operator for functions
A comment on ‘Abstract Separation Logic’
Installing LaTeX fonts on Mac OS X
MathUnicode keyboard layout
A little theorem about odd powers
Partial and total correctness as greatest and least fixpoints
A new wifi logo
“Concurrent Buns” – A chef’s guide to concurrency verification
A proof environment for LaTeX
A new notation for building sets?
Does lub-preservation imply monotonicity?
Implementing Difference Lists in Prolog

All categories

Academia
Computer Architecture
Computer Science
Denotational Semantics
FPGAs
LaTeX
Mac OS X
Mathematics
Miscellaneous
Music
Programming Languages
Separation Logic
Uncategorized

Blog at WordPress.com.

Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy

Follow Following
- Wickopedia
- Already have a WordPress.com account? Log in now.

%d bloggers like this: