I respectfully ask that you don't quote me as “$company person Geoffrey Huntley said” – if I speak for a company, I will publish on its channels. My full name is "Geoffrey Huntley" please use that and not "Geoff Huntley".
| // paste this file on a empty directory | |
| // npm i axios | |
| // You should go to your browser on Cookie session and get JSESSIONID and li_at from Linkedin Section | |
| const JSESSIONID = 'YOUR JSESSIONID' | |
| const liAT = 'YOUR li_at' | |
| import axios from 'axios' | |
| const headers = { |
| <?php | |
| // Your PHP code here | |
| ?> | |
| <!doctype html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta name="viewport" content="width=device-width, user-scalable=no, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0"> | |
| <meta http-equiv="X-UA-Compatible" content="ie=edge"> |
This was a response to a Hacker News comment asking me what I've been up to since 2010. I'm posting it here since HN rejects it with "that comment is too long." I suppose that's fair, since this ended up being something of an autobiography.
--
What happened after 2010?
The purpose of this tutorial is to walk through the required steps to upgrade NXT chip (or pocketchip) from debian jessie to debian buster.
If you would like to start your Chip from scratch, follow the steps in the Preparation section.
A linux host machine, recommended Ubuntu 18.04. However I managed to do it with 20.10 with some tweak.
| #!/usr/bin/env stack | |
| -- stack --resolver lts-14.20 --install-ghc ghci --package containers --package mtl --package optics | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE DerivingStrategies #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE NamedFieldPuns #-} | |
| {-# LANGUAGE OverloadedLabels #-} |
Below are the steps required to flash a NextThingCo CHIP or PocketCHIP from the command line, as of November 2018. The web flasher no longer works, and there are numerous errors when flashing from the command line, mostly due to broken dependencies. The following method works for flashing a CHIP as of November 2018:
Note: Flashing must be done on Linux. Tested on Ubuntu and Rasparian. Mac OS seems to not work.
| ---------------------------------------------------------------------------------- | |
| library IEEE; | |
| use IEEE.STD_LOGIC_1164.ALL; | |
| use IEEE.NUMERIC_STD.ALL; | |
| entity binary_calc is | |
| port ( | |
| input1: in std_logic_vector(4 downto 0); -- first 5-bit input number | |
| input2: in std_logic_vector(4 downto 0); -- second 5-bit input number | |
No mundo da programação funcional, uma ideia introduzida há algum tempo vem ganahando força. É a tipagem dependente:
tipos que dependem de valores. O tipo de par ordenado (n : Natural) ⨯ (Vetor a n) é um exemplo de tipo dependente.
O primeiro elemento do par é um número natural n. O segundo elemento é um vetor que armazena valores do tipo a e
cujo tamanho é aquele mesmo número natural n. Estabelecemos uma relação de dependência entre um tipo e um valor.
O primeiro elemento do par é sempre o tamanho do vetor.
