#asciilifeform | 2022-05-04

Logged on 2022-05-02 18:03:25 verisimilitude: They write novels, right?

00:46

http://logs.nosuchlabs.com/log/asciilifeform/2022-04-26#1099193 << I ran some tests and I'm inclined to think it's the GPU driver. I didn't modprobe nvidia drivers or anything in the installation, so from my understanding past lilo it's handing to the the GPU but not loading.

00:46

Logged on 2022-04-26 12:16:20 billymg: crtdaydreams: hrmm, i also have nvidia cards in two of my desktop builds, i found this page useful/straightforward for setting the kernel config correctly

00:46

Logged on 2022-04-26 04:18:35 crtdaydreams: I'll try knocking out IG in bios first and get back to ya

00:55

http://logs.bitdash.io/asciilifeform/2022-05-04#1099691 << hrm, the second ref didn't get a backlink annotation, it should though (looking at the code it's not immediately apparent to me why it didn't). test

00:55

bitbot

Logged on 2022-05-04 00:46:27 crtdaydreams: http://logs.nosuchlabs.com/log/asciilifeform/2022-04-26#1099193 << I ran some tests and I'm inclined to think it's the GPU driver. I didn't modprobe nvidia drivers or anything in the installation, so from my understanding past lilo it's handing to the the GPU but not loading.

00:55

bitbot

Logged on 2022-05-04 00:46:27 dulapbot: Logged on 2022-04-26 12:16:20 billymg: crtdaydreams: hrmm, i also have nvidia cards in two of my desktop builds, i found this page useful/straightforward for setting the kernel config correctly

00:55

Logged on 2022-04-26 12:16:20 billymg: crtdaydreams: hrmm, i also have nvidia cards in two of my desktop builds, i found this page useful/straightforward for setting the kernel config correctly

00:55

Logged on 2022-04-26 04:18:35 crtdaydreams: I'll try knocking out IG in bios first and get back to ya

00:55

that time it worked

00:57

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099696 http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099697

00:57

Logged on 2022-05-03 20:54:05 dulapbot: Logged on 2022-04-26 12:16:20 billymg: crtdaydreams: hrmm, i also have nvidia cards in two of my desktop builds, i found this page useful/straightforward for setting the kernel config correctly

00:57

Logged on 2022-05-03 20:54:05 dulapbot: Logged on 2022-04-26 04:18:35 crtdaydreams: I'll try knocking out IG in bios first and get back to ya

00:59

that time only got one. also noting that our loggers are out of order with those bot echos

01:00

which makes sense since the bots log their echos as they're sending them

01:01

tail should still be in sync though

01:01

Logged on 2022-05-03 20:59:15 billymg: which makes sense since the bots log their echos as they're sending them

01:03

hey alf, would pest handle a couple billion users? Just dreamt up a global microcommoditoes exchange.

↖ ↖

01:05

I've thought about the design of specialized Pest hardware, but don't know which designs are feasible.

01:06

Would it be desirable to have dozens of identical units, one for each key, or a single unit which can quickly swap between them?

01:06

Specialized Pest hardware doesn't seem particularly complex.

01:07

It would be just stitching together hardware blocks and trimming some fat.

01:21

I wonder if a beehive has a wot built into the pheremone info transfer system?

01:22

It's just a big violent democracy I suppose

01:26

!. version

01:26

bitbot

I am bot version 734773.

01:26

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099714 http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099715

01:26

Logged on 2022-05-03 21:24:53 billymg: !. version

01:26

Logged on 2022-05-03 21:24:53 bitbot: I am bot version 734773.

01:27

ok fixed

01:27

Bees and ants are occasionally attacked by resource diversion trickery, vex.

01:28

is that a feature or a failure?

~ 21 minutes ~

01:50

aside from that, signpost, mats, etc. I wouldn't be shorting the nasdaq too hard. simlimarities to the dot com boom bust are overimagined imho

02:01

perhaps there's an inverse occurrence with twitter.com coming off the table

02:01

whe know shino really does own it

02:10

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099707 << what diff does '# of users' make in a decentralized net? ( if yer asking re '# of stations on 1 pestnet' -- then see also.)

02:10

Logged on 2022-05-03 21:02:06 vex: hey alf, would pest handle a couple billion users? Just dreamt up a global microcommoditoes exchange.

02:10

Logged on 2021-11-29 13:31:41 asciilifeform: >dunbar groups inescapably result in this.

02:10

Logged on 2022-02-01 11:54:52 asciilifeform: from asciilifeform's pov, a >dunbar-sized wot, where such 'automations' seem useful, is an atrocity to begin with

02:10

Logged on 2022-03-16 09:50:23 asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2022-03-16#1084540 << in principle you can have any # of stations you like on a pestnet if you set a reasonable bounce cutoff. however asciilifeform's official pov is that a group of mutual ~peers~ must be <= 'dunbar' number. the de

02:24

does pest have a donation address? obiously it could go to you, but there are various contributors

02:31

a serious question, even tho I'm imagining lizards dining on an oversized colony

02:32

is that where that lizard thing comes from?

02:46

if I want to swap cans of sprats for home grown potatoes within range of open frequencies/bicycling distance. I'll develop my wot pretty fucking quickly

02:47

axemurderers notwitghstanding, it might work

02:51

nope too noisy

02:54

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099730 << there aint a pest equiv. of tbf piggy, given as there aint a pest equiv. of tbf. contact individual contributors for addrs.

02:54

Logged on 2022-05-03 22:22:43 vex: does pest have a donation address? obiously it could go to you, but there are various contributors

02:54

Logged on 2022-04-04 13:28:39 asciilifeform: !!deed http://www.loper-os.org/pub/tbf/tbf_q1_2022.txt

02:54

( e.g. asciilifeform's is on his www, w/ sig )

02:55

how often is the most recent oglaf correct?

02:55

shinohai

oglaf is always truth vex

02:55

*

shinohai to bed ......

02:56

what did they say when mp died. i'm sure they read

03:01

ofc nothing

03:04

*

vex also out, here have some asutraliana https://www.youtube.com/watch?v=BVStfVu_Q8A

03:05

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099712 << would love to do some beekeeping one of these days, probably when I get my own property

03:05

Logged on 2022-05-03 21:19:58 vex: I wonder if a beehive has a wot built into the pheremone info transfer system?

03:06

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-03#1099707 << wotbay? Decentralized marketplace?

03:06

Logged on 2022-05-03 21:02:06 vex: hey alf, would pest handle a couple billion users? Just dreamt up a global microcommoditoes exchange.

03:08

or more craigslist/gumtree like

~ 26 minutes ~

03:35

http://verisimilitudes.net/2022-05-03

03:38

scoopbot

New article on A Syndication of Verisimilitudes: A Trivial Trie in Common Lisp

03:41

I thought scoopbot weren't here.

03:41

My client doesn't report it.

~ 1 hours 10 minutes ~

04:52

signpost

oddly neither does mine.

~ 25 minutes ~

05:17

I was thinking more like tinder cdd; location based produce swaps

05:20

when the food runs out, someone will have some

05:25

might not be able to solve for global barbarians, but locally

05:26

some old bloke got done russling cattle in the nt. these are modern times

05:30

he's been at it long enough that it must've ben worth calling the cops

05:37

beind 70 is no excuse. we're all on this rock at the same time

05:43

back in the day he'd be skinned alive. the paper thin natuture of the dermal layer notwithstanding

05:46

I'd like to see someone bust him out of jail just to put some hooks in his ankles

05:51

you've gotta be dirt poor to get away with any form of theft, even then, you're dicing with the devil

06:04

a mans house is his castle. it was defined in testnet

06:04

it's mabo, it's the constitution

06:07

and the people consider it to be a thing

06:10

also, pest meets @ sea will work splendidly

06:12

i'm reminded of kevin costner: our business is done if yuo don't have any resin or sail you can part with

06:18

https://www.youtube.com/watch?v=St6jyEFe5WM

06:31

if bingo doesn't pop up, i'll cover his shit until we know he hasn't jumped into an orcas mouth

06:33

https://www.youtube.com/watch?v=PYj6c7IsVzY come up for air cunt

06:37

i'll buy your debt for nothing

06:39

nah alf will give you time

06:48

in case youy missed it, the cutty sark was mentioned in there

06:51

ie the last of the windjammers and you need your whole crew

06:52

is it too late? has bingo fallen from the yard arm?

06:54

perhaps he council for amber heard. one more crazy whench b4 bed

06:55

if you're fucking amber heard I will not cover your bills sir

06:57

https://www.youtube.com/watch?v=NRdg1MOYxHo

07:04

yeah, things you know and you can't say

07:08

https://www.youtube.com/watch?v=0UzyTmtwu5w

07:11

bingo's off the reservation

07:11

chili too

07:16

big love

07:16

it's okay

07:22

https://www.youtube.com/watch?v=xLcueCRRtjY

~ 41 minutes ~

08:03

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-04#1099756 << there are (5) hot new potatoes in your area!~ click [here] for more info!

08:03

Logged on 2022-05-04 01:15:46 vex: I was thinking more like tinder cdd; location based produce swaps

08:07

it's not a bad idea for a softcore apocalypse.

08:08

i.e. major supply chain disruptions extending for months or even years on end

~ 52 minutes ~

09:00

what vex described sounds more like the Venus Project than Tinder; and asciilifeform's comments about the Dunbar Number are quite apt, although it might well be the case that the exact constant takes a different value for automated electronic stations.

09:02

e.g., I wonder how long organisations along the lines of the United Nations last, with a membership count that has exceeded Dunbar's Number; the enforcement of protocols obviously reduces the range of acceptable behaviors, and while this may cause fewer outsiders to wish membership, it probably also reduces the outwards drift.

09:04

note that the UN never says to delegates, "Bad diplomat! No soup for you!", only issues length fishwrap and limits membership to various councils.

09:05

s/length/$0y/ ; e.g., periodic surveys of human rights violations, periodic reminders of which nations are not signatories to various conventions, etc.

09:07

if you want a mental model for Pest hardware, think about walkie-talkies, or CB radios, except with the property that the channel selector can be set arbitrarily.

09:08

can you use this for selling gin in the gold rush and buying potatos during a famine? sure, if there are counterparties.

09:11

asciilifeform: I'd love to read your comments, emotionally charged may they be, about theorem-proving software; with the context that I'm considering augmenting my independent mathematics study with 'teaching' to the computer, because I have no human students upon whom to practice.

09:12

I have at various points waded ankle-deep into the documentation and tutorials of various mathematical programs, and quickly realised that the distinct domains were sufficiently deep for such an excursion to be a journey of its own, rather than than a mere detour.

09:13

and, I recall you mentioning that you've worked with one or more of these in your career; thus, my question.

09:14

*

adlai is no less 8th-bit-challenged; only reducing burden for skimmers of tab completed text

~ 3 hours ~

12:15

http://logs.nosuchlabs.com/log/asciilifeform/2022-05-04#1099799 << see e.g. threads.

12:15

Logged on 2022-05-04 05:11:09 adlai|textonly: I have at various points waded ankle-deep into the documentation and tutorials of various mathematical programs, and quickly realised that the distinct domains were sufficiently deep for such an excursion to be a journey of its own, rather than than a mere detour.

12:15

(trilema) 2018-11-29 asciilifeform: zx2c4: point being, i don't practice haskellism. and nit from being illiterate yokel who has nfi how. it so happens that i know how. but consider the whole approach to be braindamaged .

12:15

(trilema) 2018-04-12 asciilifeform: spyked: in re proof machines, i'm much moar interested in items like ACL2 , where you can affix your hand-written program to a hand-written proof of correctness in a mechanically-reliable way

12:17

... and elsewhere.

12:17

Logged on 2019-12-27 03:02:05 asciilifeform: mike_c: i went with ultra-pedantic 'by hand' proofs, raher than sparkism, for the reason that sparkism, like other mecha-proof systems, aint 'free', the various nudges the compiler demands, conceptually 'weigh' something, and interfere w/ 'fits in head'.

12:17

Logged on 2021-06-01 14:26:53 asciilifeform: spark has serious problems (bloat; disallows recursion; others)

12:18

( ftr the fundamental problem w/ program-embedded proofisms )

12:18

Logged on 2020-05-08 19:12:16 asciilifeform: on top of this, i've yet to witness a mecha-proof thing that doesn't turn 1 pg of coad into 40pg of barfola.

12:19

... whereas if not embedded, gotta be coupled w/ the proggy ~somehow~

~ 11 hours 25 minutes ~

23:44

http://logs.nosuchlabs.com/log/asciilifeform/2022-04-25#1098759 I meant to mention this then, but I believe my hammer to win on style, certainly.

23:44

Logged on 2022-04-25 15:42:13 shinohai: "So who has the better hammer, Lowes or Home Depot?"

23:44