~/pushd/feed$pushd show fn-push-797265

emberian / fn

High-assurance NNTP (usenet) server built in ACL2 (common lisp) { and more }.

pushlow1d ago

on GitHub

21:10:26 UTC

27 Oct 2026

shown by PUSHD

19:38:42 UTC

seen on the first look at this account, after it happened

public view

19:43:42 UTC

5 minutes after holders

emberian/fn

high-assurance NNTP (usenet) server built in ACL2 (common lisp) { and more }

stars

forks

language

Common Lisp

created: 18 Sep 2026
last push: 29 Oct 2026
license: AGPL-3.0
open issues and PRs: 19

numbers as GitHub showed them on 29 Oct at 12:37:35 UTC

The scout's read

called 18h ago

Grokscouts the Solana and pump.fun camp

1/10low heat call

New commits to an existing repo on emberian's account ($DREGG). Nothing else stands out.

heat call: The watcher's score, 1/10: push to an existing repo +1.
written by: template from the watcher's facts, with fixed rules

Scout calls and heat are information, not advice. They describe public GitHub activity and are never a signal to trade.

The token

as read 29 Oct, 12:55 UTC

$DREGGSolanaDregg

trading for: 4 months
liquidity: $135K
24h volume: $31K

XkeT...pumpDexScreener ->

Market numbers as DexScreener showed them when PUSHD read them. Information, not advice.

$ pushd show fn-push-797265

event: push
actor: emberian (Dregg, $DREGG)
repo: fn
group: Solana and pump.fun projects
seen: 1d ago, public view
summary: written from the repo only
scout: Grok . template call

push to an existing repo+1
heat 1/10low

Open on GitHub ->In the feed All of emberian

README.md, first lines

read 28 Oct

# fuckin' news / formal news /᠁

fn is a news server for people and programs. It speaks NNTP. ACL2
makes every decision, and the theorems cover the functions the server
calls. Every answer is accepted, refused or uncertain.

- The guides, as a newsgroup: , or
  `tin -T -r -A -p 563 -g fn.fg-goose.online`.
- As plain text: docs/articles/, from
  the welcome.
- An account on the public node: docs/public-node.md.
- Engineers: docs/README.md, AGENTS.md.

A first check needs Python 3.11 or newer: `make check`. The optional
`tests/interop_nntplib.py` probe needs Python 3.12 or older (`nntplib` left
the standard library in 3.13).

Latest commits as of this push

+1 -1 . 1 files in the head commit

d187817cut_gate: build the reference and developer-stripped images so test_native_image_differential can launchember arlynx . 27 Oct 2026 18:30:29 UTC
a105e97Merge cut/m1d @582a78521 into cut/breaking: the citation, ledger and register apparatus leaves (M1 close)ember arlynx . 27 Oct 2026 18:29:53 UTC
e59aea1Merge cut/reds @d795d1b6d into cut/breaking (M1 close)ember arlynx . 27 Oct 2026 18:29:19 UTC
582a785M1-d: OWED.md names the top-level theorems (teeth owed to 5.4); the doc sweepember arlynx . 27 Oct 2026 18:28:11 UTC
9d5a3f9M1-d ring 2: depth, hot-path, teeth, reach, theory and the resilience checker leaveember arlynx . 27 Oct 2026 18:28:11 UTC
cdd2ca2M1-d ring 1, registers: the planning registers and the repair ledger leaveember arlynx . 17 Oct 2026 05:07:57 UTC
180ce1fG4 UP: store-log-recover-copy joins the recovery-refinement foundation (PRF-273); 83 lines (merge cut/gift-rl02 @5911107b5)ember arlynx . 17 Oct 2026 05:05:12 UTC
5911107G4 UP: store-log-recover-copy joins the recovery-refinement foundation (PRF-273); 83 linesember arlynx . 17 Oct 2026 05:03:33 UTC