A Entrevista de Programação Mágica: Uma História de Prolog, Lisp e µKanren

2025-01-02

O programador experiente Vidrun enfrenta uma entrevista incomum. Aisha, uma engenheira com três anos de experiência, abandona as perguntas típicas e envolve Vidrun em um duelo de codificação usando Prolog e o cálculo lambda. Aisha guia Vidrun na construção de um interpretador Lisp, culminando no uso inteligente de µKanren e macros personalizadas por Vidrun para resolver o problema, criando uma conexão com Aisha através da arte compartilhada da programação. Essa história combina proeza técnica com realismo mágico e dinâmica interpessoal, mostrando a engenhosidade e a arte da programação.

Leia mais

Tempo POSIX: Não é o que você pensa

2024-12-26

Este artigo desmascara um equívoco comum sobre o tempo POSIX (tempo Unix): não é simplesmente o número de segundos desde 1º de janeiro de 1970, 00:00:00. Devido aos segundos bissextos, o número de segundos em um dia UTC não é uma constante de 86.400, levando a discrepâncias entre o tempo POSIX e o número real de segundos. O artigo examina o impacto dos segundos bissextos nos cálculos de tempo e recomenda alternativas como CLOCK_MONOTONIC ou TAI para medição de tempo precisa, evitando erros causados por segundos bissextos.

Leia mais