WWDC 2001 2002 2003 2007 2008 2009 2010 2011 2012 2013 2014<
Discover gists
Also, do you guys have any resources on algorithms on ASTs, for type checking, maybe about linear typing and borrow checking as well? That's assuming the AST is the place where I'm supposed to check this sort of stuff.
There are a number of different approaches to typechecking, so there isn't a single answer or direction to go. For systems that support strong type inference, there are two well-known approaches: Hindley-Milner (HM) and bidirectional (bidir) systems, and these approaches aren't entirely separate (HM is often put in bidirectional checking to help with generics). There is also the simpler unidirectional approach taken by older languages e.g. Java, and the simpler way of handling generics by annotating every generic function and datastructure.
Giving direction on typechecking is unfortunately difficult because it is opinionated, because there is a line to straddle with wh
<div class="bg">storeplus</div> | |
<nav> | |
<div class="logo"> | |
<img src="https://raw.githubusercontent.com/CleverYeti/TempAssets/main/Icon.png" width="512px" height="512px" alt="Logo"> | |
<span>Custom Websites</span> | |
</div> | |
<div class="navspace"></div> | |
<div class="navmenu"> |
/*------------------------------------------ | |
Responsive Grid Media Queries - 1280, 1024, 768, 480 | |
1280-1024 - desktop (default grid) | |
1024-768 - tablet landscape | |
768-480 - tablet | |
480-less - phone landscape & smaller | |
--------------------------------------------*/ | |
@media all and (min-width: 1024px) and (max-width: 1280px) { } | |
@media all and (min-width: 768px) and (max-width: 1024px) { } |
/*------------------------------------------ | |
Responsive Grid Media Queries - 1280, 1024, 768, 480 | |
1280-1024 - desktop (default grid) | |
1024-768 - tablet landscape | |
768-480 - tablet | |
480-less - phone landscape & smaller | |
--------------------------------------------*/ | |
@media all and (min-width: 1024px) and (max-width: 1280px) { } | |
@media all and (min-width: 768px) and (max-width: 1024px) { } |
/** | |
* Singleton.cs | |
* Author: Luke Holland (http://lukeholland.me/) | |
*/ | |
using UnityEngine; | |
public class Singleton<T> : MonoBehaviour where T : MonoBehaviour | |
{ |
#!/bin/bash | |
# A bash script to update a Cloudflare DNS A record with the external IP of the source machine | |
# Used to provide DDNS service for my home | |
# Needs the DNS record pre-creating on Cloudflare | |
# Proxy - uncomment and provide details if using a proxy | |
#export https_proxy=http://<proxyuser>:<proxypassword>@<proxyip>:<proxyport> | |
# Cloudflare zone is the zone which holds the record |
### Show Active Interfaces | |
``` | |
$ nmcli con show --active | |
``` | |
### Create a Bridge Interface | |
``` | |
$ nmcli con add ifname br0 type bridge con-name br0 | |
Connection 'br0' (892869fe-f8ac-4f17-ace9-b8aeeeee61a0) successfully added. | |
``` |