Buy $PUSHD launching soon
Buy $PUSHD launching soon
~/pushd/builders$pushd who emberian

Dregg

github.com/emberian$DREGGSolana Solana and pump.funperson375 followers when checked
last seen 20h agopushed to emberian/minidreggCompareGitHub ->
events, 7 days
1,008
events, 30 days
1,008
feed lines
7
hot catches
0
streak now
2days
longest, 12 weeks
2days

Activity, 12 weeks

3 active days
lessmore a feed line that day

Public events as GitHub listed them when PUSHD read the account (GitHub keeps about 90 days and the last 100 per read).

Usually ships at

last 30 days, UTC
peak 20:00 to 21:00 UTCbusiest day Wed

What they do

30 days
code1008

Repos they touch most

30 days
minidregg864
fn105
nanodregg17
veri7vn16
acl2aiguide5
cv1

Languages

their own repos
Python8
Lean4
HTML3
Julia1
Isabelle1
Rust1

The token

as read 29 Oct, 11:54 UTC
$DREGGSolanaDregg
trading for
4 months
liquidity
$134K
24h volume
$33K
XkeT...pumpDexScreener ->

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

Why it ranks here

on the list
#3new on the list
  • score 44.9 of 100
  • tier 1, read every 2 min
  • in since 28 Oct
  • in the pool since 28 Oct
rank, last passes

in in the first ranking pass, led by commits and pushes

commits and pushes24.024h 100 . 7d 5,052 . 30d 20,207 x3
new repos8.024h 0 . 7d 2 . 30d 12 x1
active contributors5.024h 0 . 7d 1 . 30d 1 x2
PUSHD's own signals3.2catches30d 0 . avgHeat7d 1.3 . lines7d 7 . holderWatches 0 . suggestions 0 x1
token: age and volume trend2.4pairDays 123 . volumeUsd 32,745 . volumeTrend 0.4 x0.6
followers2.3total 375 x0.4
releases and tags0.024h 0 . 7d 0 . 30d 0 x1.5
issues and pull requests0.024h 0 . 7d 0 . 30d 0 . merged30d 0 x1.5
new stars0.024h 0 . 7d 0 . 30d 0 x1
new forks0.024h 0 . 7d 0 . 30d 0 x0.5
score 44.9 of 100busiest: fn, minidregg, cv
hottest lines

What PUSHD showed.

the feed ->

Recent public activity

newest first

Lines, newest first

7
  • 1dnew repoacl2aiguide
  • 1dpushfn
  • 1dpushminidregg
  • 2dpushminidregg
  • 2dpushveri7vn
  • 2dpushminidregg
  • 2dpushnanodregg
post.txt169 / 280
emberian (Dregg) on GitHub this week: 1008 public events. Last seen: pushed to emberian/minidregg, 20h ago. 7 lines on PUSHD so far.

https://pushd.fun/builders/emberian
Text only. Paste it wherever you like.
their repos

Pushed to lately.

as GitHub listed them on 29 Oct
veri7vn

No description.

Isabelle1 stars1 forkspushed 29 Octfn

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

Common Lisp4 stars0 forkspushed 29 Octacl2aiguide

No description.

0 stars0 forkspushed 29 Octdragons-net

Dragon's news: a verified compiler and bounded network dataplane, growing toward NNTP.

Lean2 stars1 forkspushed 29 Octnanodregg

nanodregg: the Mini system rebuilt from its spec - a verified World/Turn kernel, Objective Bend, a resident Host, a client that decides nothing. Every decision critiqued; every commit gated.

Lean1 stars0 forkspushed 27 Octallgame-public

A harness for AI residents of a group chat: members, not assistants.

Python0 stars0 forkspushed 26 Oct

why we are sureToken $DREGG (solana), trading for 123 days; its GitHub link comes from its README.

<- the listfollow emberian as a holder ->