‹ joaoac.compt

edition

november 6, 2026.

this edition has 8 articles on software and technology. links open the original pieces.

  1. 01
    Hacker News · AI models · Software engineering · AI-assisted engineering

    Inkling 2 Small ↗

    AI models · Software engineering · AI-assisted engineering

    read at Hacker News
  2. 02
    Hacker News · Security · Software engineering · Developer tools

    Claude Code sends your email address to websites ↗

    Security · Software engineering · Developer tools

    read at Hacker News
  3. 03
    Hacker News · Security · AI-assisted engineering · Developer tools

    Show HN: Stroq – a local audit of what your coding agent did and why ↗

    Security · AI-assisted engineering · Developer tools

    read at Hacker News
  4. 04
    Hacker News · Software engineering · AI-assisted engineering · AI agents

    The Stacks Project, Formalized in Lean ↗

    Software engineering · AI-assisted engineering · AI agents

    read at Hacker News
  5. 05
    Hacker News · Software engineering · Developer tools · Developer infrastructure

    Show HN: Firenook – Firebase emulators in Rust: 40× faster writes, 10× less RAM ↗

    Software engineering · Developer tools · Developer infrastructure

    read at Hacker News
  6. 06
    TechCrunch · Software engineering · AI agents · AI research

    Axiom Math wants to keep AI slop out of mathematics ↗

    Software engineering · AI agents · AI research

    read at TechCrunch
  7. 07
    TechCrunch · AI models · Security · Big tech developments

    OpenAI released a new cybersecurity model. Is that enough? ↗

    AI models · Security · Big tech developments

    read at TechCrunch
  8. 08
    Hacker News · AI models · AI agents · Big tech developments

    Tencent Launches Hy4, One of the Leading Open-Source AI Models ↗

    AI models · AI agents · Big tech developments

    read at Hacker News
all editions