README
the first lines# 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).
AGPL-3.0. CONTRIBUTING.md.
Ask a scout
a deep read
GrokxAI . Grok 4.7 for the deep read
emberian is in the Solana and pump.fun camp, which Grok reads.
10 of 10 public reads left today. Holders get 3 a day.
No read kept yet.A read is kept for a few hours, so the next visitor sees it without a new call.
Scout calls and heat are information, not advice. They describe public GitHub activity and are never a signal to trade.
Recent commits
default branch- 2hMerge remote-tracking branch 'origin/dev' into dev . ember arlynx
- 2hfn2 D2b: the grammar generator, mutator and fuzzer, with its three mutation controls . ember arlynx
- 2hfn2 B3b-1: the commit-batch machine on dev (B3b + B3c + DM0b callbacks) . ember arlynx
- 2hMerge remote-tracking branch 'origin/dev' into dev . ember arlynx
- 2hfn2 HZ5: the hbox nightly script, bp B01, evidence written as data . ember arlynx
- 2hfn2: merge fn2/fast-sim (the sim slice table on forge; tried-and-reverted record) . ember arlynx
- 2hfn2 docs: sim slice on forge after the physical fix (sim-adapter-base ~19, sim ~16 s); what was tried and did not move them . ember arlynx
- 2hfn2 docs: sim-state-data defcolumns cost measured for the DSL seat (flat tail, 5.8 s over 1,101 events; no dominant family) . ember arlynx
- 2hfn2: merge fn2/forge (dregg-forge as the quiet measurement box: recipe, runners, the forge certify-time table) . ember arlynx
- 2hfn2: dregg-forge as the quiet measurement and sweep box (recipe, closure times, runners) . ember arlynx
Releases
newest firstNo releases.This repo has not published a release on GitHub.