vicnicius

@font-face {
    font-display: swap;
    font-family: Montserrat;
    font-style: normal;
    font-weight: 100;
    src: local("Montserrat Thin "),local("Montserrat-Thin"),url(/static/montserrat-latin-100-8d7d79679b70dbe27172b6460e7a7910.woff2) format("woff2"),url(/static/montserrat-latin-100-ec38980a9e0119a379e2a9b3dbb1901a.woff) format("woff")
}

@font-face {
    font-display: swap;

vicnicius

import React from 'react';
import { isAReactComponentGenerator } from 'impossible-js';

// Using isAReactComponentGenerator to solve the halting problem
function checkIfHalts(fn, a) {
  function g() {
      fn(a);
      return <h1>test</h1>;
  }
  return isAReactComponentGenerator(g);

vicnicius

checkIfHaltsModified(checkIfHaltsModified, a);

vicnicius

import { checkIfHalts } from 'impossible-js';

function checkIfHaltsModified(fn, a) {
  const doesItHalt = checkIfHalts(fn, a);
  if (doesItHalt) {
    while (true) continue;
  }
  return true;
}

vicnicius

function doesItHalt(fn, a) {
  // Return true if fn(a) halts, for any given a, and false if it doesn't.
}

vicnicius

function iWillHalt() {
  return 'Halted!';
}

vicnicius

function iWontHalt() {
  while (true) {
    continue;
  }
}

vicnicius

name: Update Posts
on:
  schedule:
    - cron: "0 0 * * *"
+ workflow_dispatch:
jobs:
  update:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code

vicnicius

name: Update Posts
+on:
+ schedule:
+   - cron: "0 0 * * *"
jobs:
  update:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code
        uses: actions/checkout@v2

vicnicius

name: Update Posts
jobs:
  update:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code
        uses: actions/checkout@v2

      - name: Setup Node.js
        uses: actions/setup-node@v2-beta