~/pushd/brief$pushd brief 2026-10-28
the brief . 28 Oct 2026

28 Oct: 6 feed lines from 17 builders.

17 watched projects were active, with 1,158 public events. emberian was the busiest, with 725 events. The hottest line: emberian created acl2aiguide, heat 3/10. 2 new repos appeared. The busiest camp: Solana and pump.fun projects.

public events
1,158
feed lines
6
hot catches
0
builders active
17
$ sort --by heat | head -56 lines
  1. 01
    new repo06:20 UTC
    emberian created acl2aiguide

    A guide to ACL2 for humans and for AIs: the logic and the prover, how proofs fail and how to read them, modelling...

    low
  2. 02
    new repo23:35 UTC
    Phala-Network created phala-analytics

    Phala analytics: Ethereum subgraph, circulation API and analytics.phala.network dashboard.

    low
  3. 03
    push11:12 UTC
    priors-agents pushed priors

    On-chain credit pool for ERC-8004 AI agents on Robinhood Chain: agents borrow USDG, repay it and earn a public...

    low
  4. 04
    push11:11 UTC
    priors-agents pushed erc-liquidity-locks

    Draft ERC: one interface for any contract that locks pool liquidity (v2 pool tokens, v3 and v4 positions), read by...

    low
  5. 05
    release12:23 UTC
    Acurast released acurast-processor-update processor-1.29.0

    This repository contains the Android Processor APKs and the changelog of the iOS Processor updates.

    low
$ camps --vs last-7-daysevents
  • Robinhood Chainquiet

    Robinhood Chain projects: 0 events, under its usual day of 12.1.

  • Base and EVMnot read yet

    Base and EVM projects: not read yet. The watcher reaches every account in turn.

  • Solana and pump.funbusy

    Solana and pump.fun projects: 786 events, 13.8x its usual day of 57.

  • AI agentsbusy

    AI agent projects: 338 events, 2.9x its usual day of 118.3.

  • Tools and infrausual

    Tools and infra: 34 events, about its usual day of 23.

this day average day, the 7 days before

The week before counts what GitHub still listed when the watcher read each account, so older days can read low.

$ busiest hourUTC
10:0099 events in that hour
share the day

Copy as post.

The day in a few lines, with the link to this page. Plain text: nothing is posted for you.

post.txt227 / 280
PUSHD brief, 28 Oct 2026
1,158 public events from 17 watched projects. 6 feed lines, 0 hot catches.
Hottest: emberian created acl2aiguide (heat 3/10)
Busiest camp: Solana and pump.fun projects
https://pushd.fun/brief/2026-10-28
Text only. Paste it wherever you like.

Written from the stored counts with fixed sentences. No model writes this page, and it says only what the counts say.

replay 28 Oct ->