- Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
- Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
- The Haskell School of Expression: Learning Functional Programming through Multimedia
- LaTeX: A Document Preparation System (2nd Edition)
- Denotational Semantics
- Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
- Programs and Machines
- The Denotational Description of Programming Languages: An Introduction
// Standard ISRT for ANSI and ISO keyboards | |
default partial | |
xkb_symbols "basic" { | |
// the default variant has no AltGr layer and does | |
// not use CAPS as BackSpace | |
include "us(basic)" |
cy.visit('/404') | |
//=> Test fails | |
cy.visit('/404', {failOnStatusCode: false}) | |
//=> Test passes but does not test the HTTP code was 404 | |
cy.request({url: '/404', failOnStatusCode: false}).its('status').should('equal', 404) | |
cy.visit('/404', {failOnStatusCode: false}) | |
//=> Test passes, tests that the HTTP code was 404, and tests page was visited |
type TemplateType = { | |
template: string; | |
id: string; | |
}; | |
function withTemplate(templateObj: TemplateType) { | |
return function (constructor: any) { | |
let el = document.getElementById(templateObj.id); | |
let p = new constructor(); | |
if (el) { |
If programming is more than just a means of getting things done for you, then Common Lisp is for you!
Table of Contents
Firstly, Create React App is good. But it's a very rigid CLI, primarily designed for projects that require very little to no configuration. This makes it great for beginners and simple projects but unfortunately, this means that it's pretty non-extensible. Despite the involvement from big names and a ton of great devs, it has left me wanting a much better developer experience with a lot more polish when it comes to hot reloading, babel configuration, webpack configuration, etc. It's definitely simple and good, but not amazing.
Now, compare that experience to Next.js which for starters has a much larger team behind it provided by a world-class company (Vercel) who are all financially dedicated to making it the best DX you could imagine to build any React application. Next.js is the 💣-diggity. It has amazing docs, great support, can grow with your requirements into SSR or static site generation, etc.
[{ | |
"id": 1, | |
"name": { | |
"english": "Bulbasaur", | |
"japanese": "フシギダネ", | |
"chinese": "妙蛙种子", | |
"french": "Bulbizarre" | |
}, | |
"type": [ | |
"Grass", |
// An individual movie | |
useQuery(['movies', 5], ...); | |
// A list of movies that are "released" | |
useQuery(['movies', { type: 'released' }], ...); |
/* ******************************************************************************************* | |
* TAILWIND.CSS | |
* DOCUMENTATION: https://tailwindcss.com/ | |
* ******************************************************************************************* */ | |
/* | |
* Available breakpoints | |
* -------------------- | |
* sm: min-width: 640px; | |
* md: min-width: 768px; |
{ | |
"layout": { | |
"id": "com.apple.keylayout.Colemak", | |
"localizedName": "Colemak", | |
"lang": "en" | |
}, | |
"rawMapping": { | |
"KeyA": { | |
"value": "a", | |
"valueIsDeadKey": false, |