noghartt

#!/usr/bin/env zsh

mv ~/.zsh_history ~/.zsh_history_bad
strings ~/.zsh_history_bad > ~/.zsh_history
fc -R ~/.zsh_history
rm ~/.zsh_history_bad

noghartt

• Por: Paulo Torrens
• Originalmente portado no facebook em 2014-03-08

#["LÓGICA DE PROGRAMAÇÃO" É BOBAGEM, e explicarei porquê.]

Se preparem que o texto é longo.

Várias vezes chegam novatos aqui perguntando como começar, e a galera diz "estuda lógica primeiro, depois vai pra linguagem X". Vivo dizendo que é bobagem. Ontem, em particular, falei isso, e vieram várias pessoas por inbox me perguntar porquê (e uma pra me xingar, achando que falei por arrogância).

Pra facilitar, eu vou escrever uma boa explicação de porquê "lógica de programação" é furada, doa a quem doer, e postar na APDA e no fórum da EnergyLabs (para futuras referências, porque esse assunto vai voltar, ctz).

noghartt

const TRUE = x => y => x;
const FALSE = x => y => y;

const zero = f => x => x;
const succ = n => f => x => f(n(f)(x));

const plus = m => n => f => x => m(f)(n(f)(x));
const mult = m => n => f => x => m(n(f))(x);
const exp = m => n => n(m);
const pred = n => f => x => n(g => h => h(g(f)))(u => x)(u => u);

noghartt

import Paper from '@mui/material/Paper';
import Table from '@mui/material/Table';
import TableBody from '@mui/material/TableBody';
import TableCell from '@mui/material/TableCell';
import TableContainer from '@mui/material/TableContainer';
import TableHead from '@mui/material/TableHead';
import TableRow from '@mui/material/TableRow';
import {
  useReactTable,
  getCoreRowModel,

noghartt

import ts from 'typescript';
import { readFile, writeFile } from 'fs/promises';

const sourceText = await readFile('./input.ts', { encoding: 'utf8' });

const source = ts.createSourceFile('input.ts', sourceText, ts.ScriptTarget.Latest);

const newArticle = ts.factory.createObjectLiteralExpression(
  [
    ts.factory.createPropertyAssignment(

noghartt

Books

• Elementary Computer Science: From Bits and Bytes to the Big Picture
• Concrete Mathematics: A Foundation for Computer Science (2nd Edition) #math
• Crafting interpreters #interpreters
• Free Programming books #books
• The Elements of Computing System: Building a Modern Computer #books #to-read

Links

• Build your own X, a repo containing a lot of projects teaching how to build cool things, from a database from scratch, 3D stuffs and other cool features
• tpetricek/Teaching a repo containing study material to things like PL

noghartt

In this tutorial we're going to build a set of parser combinators.

What is a parser combinator?

We'll answer the above question in 2 steps.

1. What is a parser?
2. and, what is a parser combinator?

So first question: What is parser?

noghartt

import { fetchQuery, graphql } from 'relay-runtine';

export const fetchVersion = async (environment) => {
  const response = fetchQuery(
    environment,
    graphql`
      query fetchVersionQuery {
        version
      }
    `,

noghartt

My Arch Linux installation

• Before the installation
  • Save things that you need to be saved
  • Make sure the drive security is not frozen
  • Erase all data from your storage (SSD NVMe)
  • Wipe on an Empty Disk
• Installation
  • Disk partitioning (UEFI)
  • Setup the Disk Encryption

noghartt

Books

A list of links containing cool references, resources and things related to books about Computer Science and related.

• Haskell Programming for First Principles
• Types and Programming Languages #math/type-theory
• Essentials of Compilation #computer-science/compilers
• How to design computer programs
• Structure and Interpretation of Computer Programs
• Introduction to Theory of Computation, Michael Sipser #computer-science/theory-of-computation