#ot1-perplexing-regexing

1 messages · Page 172 of 1

glad folio
#

You could artificially restrict the version in the .toml tho I suppose but I think the purpose of the .toml is to allow as many python versiosns as possible.

low chasm
#

@round pendant i love 86

#

granted i haven't finished the second season yet

#

i've been on like the 8th episode for like months now

round pendant
#

i finished both seasons in 1 night 😭

round pendant
#

seeing the crew acrobatically flight across the battle field in aluminum coffins is absolutely amazing

#

and as corny as it sounds, i resonate a lot with shin's emptiness, lack of purpose, and feeling that im destined to end up alone
the moments where he does show a bit of emotion are very touching thanks to contrast

jovial oriole
#

Chalant in the big '25🤞💔🥀

#

Lock in

paper quest
#

Chat, if a developer who implemented a feature for allowing the user to supply "filtering rules" to a table of information uses an illustrative example of filtering out all rows with the value "female" in the column "gender", does this merit a comment regarding the example's "political correctness" during code review?

wooden silo
paper quest
wooden silo
paper quest
#

The developer included a screenshot highlighting the feature, using dummy data from an API as a basis, and the field they added a rule for was "gender".

#

At work.

wooden silo
#

I think if you want to champion political correctness, that's a counterproductive way to do it. Sounds like it could be a tasteless sarcastic joke, though.

timid latch
#

what other columns did the table have?
might just have been the simplest to showcase on

warped sentinel
#

ngl, I would suggest to advocate beyond correctness, which might feel performative. I would advocate for inclusion.
If you have doubts about what it means, it' perfectly fair to reach out to your ERGs or other resources for advice

runic nymph
#

Just submitted a bug for a hacker rank. They had an algorithm problem with incomplete code coverage testing lol. Realized something was wrong when I submitted code that forgot an entire portion of the algorithm, and all unit tests passed

#

A bit concerning for a platform whose value comes a good bit from having solid unit testing

wooden silo
#

So my 5-year old daughter broke her arm and got a cast put on it, and it's not supposed to get wet, but how am I supposed to prevent her from getting it wet when she's playing outside at preschool all day?

#

It's literally impossible

jaunty wraith
#

joke answer: put a waterproof cast around the original cast
serious answer: tell her to refrain from playing outside a few days?

wooden silo
#

I gotta send her to preschool so I can work, and they play outside at preschool for a significant part of the day unless the weather is awful

#

I can't dictate how they organize their days

#

I told them to try to ensure she wears a rain jacket or something when she's outside and it's wet

#

But I imagine she'll take it off on her own if she thinks it's too warm

jaunty wraith
#

true

#

you did the best you can do (given the circumstances)
is the cast sturdy? maybe it doesn't absorb the water that well and the outer layers prevent water from getting inside?

bleak maple
wooden silo
#

They told us not to get it wet

bleak maple
#

Because there's a spray for motherboards/PCBs etc that's not toxic that seals them against water

wooden silo
wooden silo
#

It was a bit wet today but hopefully not too much

#

They'll examine her arm on thursday so maybe they'll replace it if it's in bad condition then

runic nymph
#

Idk how good it will seal but it should be pretty easy to wrap a good portion of it, kinda like lamination. Maybe not a good idea if it can rip off a top small layer, not sure. I am not a doctor and haven't had a cast since my youngn days

#

My first thought. Should be quite easy to apply. Maybe removal (especially after an hour in the drizzle) could be a huge pain

wooden silo
#

She's still gonna have the cast for another 3 weeks or so after

bleak maple
severe laurel
#

we love community college

pseudo zephyr
#

Seems like the professor is trying to figure out a way to get students to stop cheating with AI

upper flower
#

lol

mossy mango
#

bro

#

I'm finding it really hard and discombobulating to learn the basic navigation around emacs

#

I don't remember it being this crazy

vale raven
#

What

#

M-x CTRL AltGR Butterfly isn’t memorable?

mossy mango
#

the shortcuts don't seem to corresponds to what they do and a lot of them are two keys in sequence

mossy mango
vale raven
carmine apex
#

which is an actual command, btw

vale raven
mossy mango
#

lol i love that

vale raven
#

Am in bed

#

Whats it do?

mossy mango
#

C-x C-c is the only one I remember from last time I did the tutorial

#

(exit)

#

maybe I should try neovim instead

#

all i know of vim is :wq tho

#

:i for edit maybe?

carmine apex
#
;;;###autoload
(defun butterfly ()
  "Use butterflies to flip the desired bit on the drive platter.
Open hands and let the delicate wings flap once.  The disturbance
ripples outward, changing the flow of the eddy currents in the
upper atmosphere.  These cause momentary pockets of higher-pressure
air to form, which act as lenses that deflect incoming cosmic rays,
focusing them to strike the drive platter and flip the desired bit.
You can type \\`M-x butterfly C-M-c' to run it.  This is a permuted
variation of `C-x M-c M-butterfly' from url `https://xkcd.com/378/'."
  (interactive)
  (if (yes-or-no-p "Do you really want to unleash the powers of the butterfly? ")
      (progn
        (switch-to-buffer (get-buffer-create "*butterfly*"))
        (erase-buffer)
        (sit-for 0)
        (animate-string "Amazing physics going on..."
                        (/ (window-height) 2) (- (/ (window-width) 2) 12))
        (sit-for (* 5 (/ (abs (random)) (float most-positive-fixnum))))
        (message "Successfully flipped one bit!"))
    (message "Well, then go to xkcd.com!")
    (browse-url "https://xkcd.com/378/")))
mossy mango
#

that actually comes with emacs?

#

i could try it now maybe

#

how do i input M-butterfly tho

mossy mango
carmine apex
#

is joke doggo?

mossy mango
#

that's gnu's git

carmine apex
#

.wiki gnu savannah

median domeBOT
#
Wikipedia Search Results

GNU Savannah
GNU Savannah is a project of the Free Software Foundation initiated by Loïc Dachary, which serves as a collaborative software development management system

GNU nano
(Was: time for a 2.5.4-p on lists.gnu.org (7 May 2016) sr #109076: Request to move nano from gnu to nongnu on savannah.gnu.org by Benno Schulenberg (22 June

vale raven
# carmine apex is joke doggo?

Sort of
I mean I recognize gnu.org but I really do have no idea who Savanah is
I also don’t know why they need two extra levels of subdomains for their git server

mossy mango
#

and it's a part of the uri path as well

#

lol

carmine apex
#

savannah is more than just a git system, but as for having cgit and git, shrug moment

mossy mango
#

.wiki cgit

median domeBOT
mossy mango
#

oh yeah it's the first one i think

carmine apex
mossy mango
#

"hyperfast" ?

#

I've never seen that word lol

vale raven
#

.wa s define hyperfast

median domeBOT
mossy mango
#

surely it can't be any faster than git itself which I would not call "hyperfast"

carmine apex
#

you have been banned from all rust servers

vale raven
#

Probably because it isn’t a word

vale raven
carmine apex
vale raven
#

Problems of using a too fast language

mossy mango
#

hypofast

vale raven
#

Use a normal speed language please

#

Stop going against the grain and causing problems

mossy mango
#

cgit is O(-1)

#

in case you didn't know

carmine apex
#

let us try something here

#

.wa s define dog

median domeBOT
#

a member of the genus Canis (probably descended from the common wolf) that has been domesticated by man since prehistoric times; occurs in many breeds

carmine apex
#

ffs

vale raven
carmine apex
#

shen plz stop cheating

vale raven
#

How DARE you accuse me of such things??

carmine apex
#

.wa s define shenanigans

median domeBOT
#

reckless or malicious behavior that causes discomfort or annoyance in others

carmine apex
vale raven
#

I didn’t know the definition was that strong

mossy mango
#

.wa cat + 1

median domeBOT
carmine apex
#
  1. Mischievous play, especially by children. [from mid 19th c.]
    firRip
vale raven
#

mischief

#

That’s all it is

mossy mango
#

oh nice dog avatar on google

vale raven
#

Tanks

grave cove
#

bro is mischievous

carmine apex
#

charge yer phone

vale raven
#

Is still over half

#

Will put on charger when go bed

carmine apex
#

then discharge it so i can tell you to recharge it

vale raven
#

K

#

Moooooom Thuri gave me permission to stay awake until my phone dies

mossy mango
#

meanwhile I'm not over half

carmine apex
#

[citation needed]

mossy mango
vale raven
carmine apex
#

bro is under 0.5?
matey you have to be over 13 to use discord

mossy mango
#

i am irresponsible battery overseer

vale raven
mossy mango
#

isn't it better for battery to let it discharge

carmine apex
#

reddit continues the shenanigans of having an embed with a giant play button that doesn't actually work

mossy mango
#

omg i can't stand that

carmine apex
#

oh i've seen this before. long time ago, though

mossy mango
#

madeyoulook play button

#

stupid autocorrect

#

i wonder what side the battery is on, on my phone

carmine apex
#

you should turn off the autocorrect so you join me, thuri the

mossy mango
#

well technically it wasn't autocorrect, i just swiped wrong luldog

carmine apex
#

the edited

mossy mango
#

theri the.

#

full stop

vale raven
carmine apex
#

s/e/u

#

no theri

mossy mango
carmine apex
#

discord ed

#

or discored idk

crystal spruce
#

disco red, my favourite color

mossy mango
#

discored

vale raven
mossy mango
#

d

carmine apex
#

diScorED

crystal spruce
vale raven
#

Yes, seds me

mossy mango
#

w hello.txt

carmine apex
#

not correctly, though

mossy mango
#

sed -r enjoyers

vale raven
#

Okay I can use it correctly
Didn’t have much faith in myself

carmine apex
#

never put faith in discord's ability to implement anything correctly

mossy mango
#

did you guys see on helpers channel python bot was permanently typing

#

it was essaying

carmine apex
#

and public channels too, ya Leeker

#

also wym was

mossy mango
#

is it still doing it

carmine apex
vale raven
#

#bot-commands too

mossy mango
#

lol

vale raven
#

Someone run a docs command in every channel just to throw people off

carmine apex
#

that doesn't do it does it

vale raven
#

!docs disnake

carmine apex
#

moddddds

vale raven
#

you asked

#

deal with it wolfthuglife

carmine apex
#

[citation needed]

mossy mango
#

doggo trying to bork ot1 channel pepe_ban

carmine apex
carmine apex
#

did not ask for example

vale raven
#

Had to test to confirm

carmine apex
mossy mango
#

is discords doc have shellcode in it or something

#

cat is on left arm and I'm trying to eat

vale raven
carmine apex
#

genuine surprise that nobody's manage to attempt a docs call in pygen for like 4 hours

mossy mango
#

and he's also interested in that I'm eating

vale raven
carmine apex
#

it supposedly has a timeout

carmine apex
#

idk timeout crashed or something

carmine apex
#

unless you want to get put in doghouse or something

mossy mango
#

I'm surprised nobody's done it in main

carmine apex
#

i volunteer grey as tribute

mossy mango
#

i guess a helper or mod would have to do it lol

#

nooo

carmine apex
mossy mango
#

i wouldn't lol

carmine apex
#

regular'd probably be enough

mossy mango
#

just a d will do it?

carmine apex
#

grey no

#

constant pybot novel will absolutely derail pygen

mossy mango
#

is spreading like a cancer

vale raven
#

!d

royal lakeBOT
#
All inventories (`0` total)

Hmmm, seems like there's nothing here yet.

carmine apex
#

honest question how is this even possible

vale raven
#

0 inventories tho

mossy mango
#

well now we can't tell

carmine apex
#

why can bots trigger the typing indicator

mossy mango
#

don't you have to specifically tell it to go into typing state

carmine apex
#

i mean bots don't really type, though? shouldn't everything be kinda instant?

#

unless it's like a throbber or such?

mossy mango
#

it's a bizarre feature

#

i guess it's supposed to be like a throbber yeah

glad folio
vale raven
carmine apex
#

where save indicator

vale raven
#

Let’s you provide feedback for long running commands

carmine apex
#

shennnnnn

vale raven
mossy mango
#

well sometimes @royal lake gets sentient

#

so it might actually be typing

carmine apex
#

fix yer autocorrect

vale raven
mossy mango
#

have y'all seen the inside of library of Alexandria now

#

it's so sad

#

it's just a dank cellar with no lights

mossy mango
#

sed -r "s/'/g" < dog

#

no more dogpostrophe's

carmine apex
#

speaking of which

mossy mango
#

@vale raven

vale raven
#

Yes?

#

Am right here

#

No need to shout

mossy mango
#

sorry had to open the file

carmine apex
#

muphry's law moment

mossy mango
carmine apex
#

uh huh

carmine apex
#

i like how this entire thing was brought on by disnake

vale raven
carmine apex
#

i don't have anything against datsnake

carmine apex
#

hmmm

#

.xkcd 3151

median domeBOT
#

The Nobel Prize in Physiology or Medicine or Home Improvement or DIY

carmine apex
#

😔

runic nymph
# severe laurel

I see zero problem with this. Students these days are most definitely just going to run straight to chatgpt or claude

#

Might as well have a discussion around it, instead of pretending it doesn't exist

vapid nymph
#

lmao why is @royal lake still typing here

vapid nymph
#

that misconfiguration is not us

vapid nymph
vapid nymph
tame meadow
#

Morning

#

Well . It is here 🤣

tame meadow
warped sentinel
tame meadow
pseudo zephyr
#

you can turn that off its pretty annoying honestly

#

we will see fairly soon what is the quality of engineers who only ever learned with ai tools

warped sentinel
#

I asked people to show me the project they are the most proud of

#

guess what they show...

#

no test, no best practice, just AI slop

#

like bro

pseudo zephyr
tame meadow
#

Its a shame actually.

#

I'm gonna try to not go near it

#

Id like to learn myself. I think I end up going towards it when I doubt my ability.

#

Very bad habits picked up from when I was a VB6 AOL progz "programmer" who used to just copy code and never bothered to learn it myself lol

steel linden
runic nymph
runic nymph
warped sentinel
#

no one skilled or knowledgeable would say anything like that

runic nymph
#

That's certainly a civil response

#

Lucky for you I'm not skilled or knowledgeable, I'm both. So it checks out

warped sentinel
#

you can fix that. There are tons of free resources online

runic nymph
#

I said I'm both skilled and knowledgeable

#

The lack of working with a compiler has fried your syntax parsing skills 💀

warped sentinel
#

I mean, no one skilled or knowledgeable would say anything like that

runic nymph
#

Oh yes I fully understood what you were getting at

#

I raise an analogy and you called me incompetent

warped sentinel
#

It's pretty simple, don't say what people without skill or knowledge would say

runic nymph
#

The level of prejudice for even discussing these topics is kind of wild

warped sentinel
#

you can always try to make a case for why a compiler would be robbing you of the exact same skills in the exact same ways than an AI like chatgpt or claude

#

that would be fun to watch

runic nymph
#

Because I've worked in many jobs with older engineers and they tell me how people made the exact same arguments when switching from assembly to compiled languages

#

Maybe you haven't had that work experience yet champ, I'm sure it's in the future for you 💪

warped sentinel
#

you need to put more effort into it. Swing it like you mean it

#

bro bait used to be more believable

vapid nymph
#

10 hours actually

warped sentinel
vapid nymph
#

oh its not

#

its @royal lake itself lol

warped sentinel
#

oh bot gone wild

vapid nymph
#

yeah doc command borked

#

!d

royal lakeBOT
#
All inventories (`0` total)

Hmmm, seems like there's nothing here yet.

vapid nymph
#

so borked

willow narwhal
#

i'm sorry :(

#

i broke it

vapid nymph
#

l3viathan do you have int e access?

#

!src int e

royal lakeBOT
#
Command: internal eval

Run eval in a REPL-like format.

Source Code
royal lakeBOT
#

bot/exts/utils/internal.py line 230

@has_any_role(Roles.admins, Roles.owners)```
vapid nymph
#

oh my god

#

it would cause a sentry error but you could totally just run !int e exit()

willow narwhal
vapid nymph
#

yeah look at what happened to me the last time you listened to me

willow narwhal
#

Exactly

vapid nymph
#

w-wait we're agreeing on the wrong thing

willow narwhal
#

The good thing it's only !docs, the rest still works.

vapid nymph
#

and its just the typing indicator in every channel

#

not much

#

also hi hello nice to meet you

steel linden
vapid nymph
#

sorry i can't math its been 10 hours

#

@willow narwhal you should sleep

#

not me being up for almost 24 hours

willow narwhal
vapid nymph
#

still typing

worldly ice
#

Nightshift?

#

oh the morning variant of 8:30

willow narwhal
#

Yeah, I just slept for 7 hours

foggy wagon
#

Hello

#

Peeps

bold apex
bleak maple
#

Current reading list if anyone is interested, which isn’t that likely now that I am typing this…

glad folio
bleak maple
bleak maple
#

But otherwise you’re totally right

#

Also I play an RPG with very complex dice outcomes so I have a decent intuition for it

#

(Step System games like Earthdawn have unbounded “explosions” on dice that roll their max face value)

glad folio
#

There's a book called "The Probabilstic Method" that is very interesting and sort of a different CS application than the usual ML.

bleak maple
#

Cool, I’ll look it up

glad folio
#

Like a large part of it is: Does this object exist? Well if I sample from these other objects, the probability of getting the object i'm looking for is non-zero and therefore exists.

bleak maple
#

I like that, yeah, if it’s findable sometimes then it’s real enough for my taste etc

#

I love the elegance of Cantor’s diagonal argument, but IMO it produces numbers that aren’t concrete in the sense of being measurable in our universe.

jaunty wraith
#

!rule 6 | we don't allow surveys

royal lakeBOT
#

6. Do not post unapproved advertising.

brazen ingot
glad folio
kind carbon
#

Guys

#

Im texting at school

mossy mango
brazen ingot
undone granite
#

so my country decided to block Discord today for some reason

#

and now I have to use a VPN each time I wanna use it 🙄

harsh tundra
bleak maple
#

Discord is just doomscrolling but with less repetitive stress injury.

carmine apex
#

rsi tip:
ctrl-c ctrl-v

bleak maple
bleak maple
#

Interesting trend.

thick osprey
#

Brilliant. "Weatherproof" fabric tents in a geographical area that averages two tornados a year. yarrSip That's not even factoring in the severe level weather events.

harsh tundra
#

They'll probably move it somewhere as soon as they deplet the water from nearby areas

weak peak
harsh tundra
#

Or have scammy insurance and/or claim extreme loss for tax purposes

thick osprey
bleak maple
#

I agree with this sentiment 100%: https://www.youtube.com/watch?v=jIYBod0ge3Y

Part 2 of this video is now available: https://www.youtube.com/watch?v=PZojlidqhcM

Special thanks to LogosSteve, who gave me his blessing to do this. If you haven't seen his original video, or subscribed to his channel, click on one of the links below. Ever since I first watched his video when I was 16, the words spoken in this codec call have ...

▶ Play video
rough sapphire
#

how do i get into war hammer

dapper dew
#

The lorecast

rough sapphire
#

ooh thats helpful thank you

bleak maple
crystal spruce
#

"how do I solve this quadratic"
"ok, so first assume we already have the roots of the quadratic..."

bleak maple
#

Libation has the most insanely epic tutorial wizard design I have ever seen, and I can’t think of how I would improve it.

At the end of the tutorial, if you only had one audiobook in your Audible library, you are done with what you installed the software to do

#

(Only use it for Fair Use please)

grave cove
#

just put the quadratic formula in the bag lil bro

harsh lava
#

which one of you geniuses came up with the channel name?

shell raptor
modern tinsel
vapid nymph
#

It's an attribute on the people class

#

Or entity class

#

Depending on therian

modern tinsel
vapid nymph
#

Ok JoBe: he | him whatever you said

modern tinsel
#

typing.Union[he, him], yeah

vapid nymph
#

Chilli_macera: she | her | set[Pronouns]

vapid nymph
modern tinsel
wicked haven
mossy mango
#

maybe I'm old school

mossy mango
#

it's kinda true

solemn tulip
mossy mango
#

I'm so psyched I got c++ working a lot better in emacs

royal tartan
#

pronouns are type hints pithink

solemn tulip
#

statically pronouned languages handle it better

mossy mango
#

lol

#
#ifdef __cplusplus
extern "C" {
#endif
typedef enum pronouns {
...
} pronouns;```
thick ore
mossy mango
thick ore
#

what happened to for (int i = 0; i < argc; i++) {

mossy mango
#

i tried to do it foreach style

#

then someone suggested auto&

#

i never know when to use & and barely know when to use const tho

solemn tulip
#

or a reference?

mossy mango
#

i guess auto is basic_string<char>

mossy mango
solemn tulip
#

in such cases you want a reference, so &

mossy mango
#

but if it's & it's not a pointer right? but it doesn't have to pass the whole object

solemn tulip
#

and then the const is about whether you are mutating that thing

solemn tulip
mossy mango
#

what if i had

struct Cat {
  std::string name;
  std::string color;
};``` can I do
```js
auto keno = Cat { "Keno", "orange" };```
solemn tulip
#

You can

#

auto will derive the type to be Cat

mossy mango
#
void meow(const Cat & cat) {
  std::cout << cat.name << " meowed" << std::endl;
}
int main() {
  auto keno = ...;
  auto snowshoe = ...;
  meow(keno);
  meow(snowshoe);
}
solemn tulip
#

create Cat, put it in the auto box, ||put in the radioactive source||

mossy mango
#

radioactive source?

solemn tulip
#

schrödinger's cat 🙃

mossy mango
#

why is it radioactive pithink

solemn tulip
#

isn't that the classic setup?

mossy mango
#

I thought it was a box

#

maybe it's radioactive?

marble bay
#

there's a source of radiation in the box

mossy mango
#

oh 🙁

#

I never liked Schrodingers

solemn tulip
#

oh, the setup is for the source to trigger a sensor that triggers something worse

#

beautiful wiki illustrations

mossy mango
#

what the hell

#

why it Shrodinger a psychopath

solemn tulip
#

only in thought

mossy mango
#

lock him up ferrisMad

solemn tulip
#

postmortem jail

marble bay
#

coffins. you're thinking of coffins.

mossy mango
#

coffin as jail is unsettling

marble bay
#

I'm pretty sure that enough people who have been buried alive on accident/intentionally will concur

mossy mango
#

deathtime sentence

mossy mango
solemn tulip
mossy mango
#

||I'd rather it be a human than a cat||

#

nobody click

marble bay
#

too late

solemn tulip
#

what if replaced the radioactive source or whatever with curiosity?

#

that might be similarly lethal

mossy mango
#

that sounds more appropriate

#

the cat should be alive tho generally

marble bay
#

how would you quantify curiosity

mossy mango
#

curiometer

marble bay
#

or the decay/(growth?) of it over time

mossy mango
#

how curled the cats tail is at the end

solemn tulip
thick ore
#

which is heavier, 1kg of feathers or 2kg of feathers

mossy mango
#

2kg

#

that would be a high volume

solemn tulip
#

the same, obviously

thick ore
#

it's a complicated question i know

solemn tulip
#

can't get me with your classic gotchas 😎

mossy mango
#

isn't 2kg heavier than 1kg

solemn tulip
#

is joke

#

there was this thing where llms got this wrong

mossy mango
#

ohh

thick ore
bleak maple
bleak maple
crystal spruce
#

@gritty badge
representing an arbitrary self referential inductive/coinductive sum type via a function list[E] -> Some N which represents the tree induced by the sum type as the function that takes a path and outputs the node
solely for semantic purposes, since this is much less practical than just storing a tree directly, but should be easier to work with for proofs (it allows you to treat it globally ig, rather than locally as is currently done with sum types via unfolding their ctors/dtors, which might be nicer for proofs of certain properties)
the issue I ran into when trying to formalize it was that it can be a lot more general than just a direct self reference like N = Z | S N, it's also reasonable to allow stuff like F = Foo (Maybe F) | Bar (F + int) | Baz (int -> F)
the condition there is to only allow positive occurrences of the self reference (only covariant positions if youre familiar with that), but the definition of E requires you to trace out the possible paths, and that's hard to do in general (if even possible) for an arbitrary positive functor
I briefly had a look at doing it solely for a bicartesian closed category as the underlying type category, as in defining like a Slot functor that takes a functor and returns a type, via recursion on the different base constructions, and I think I had a few decent results like it turns both sum and product into sums, and exponentials (functions) into the argument (on second thought this doesn't seem to work with currying), but i haven't worked through the details, and there's a few other things I need to work out as well that I don't really have the time to do, nor do I have a good setting to actually implement this in yet so not much point

#

that yap turned out longer than expected

#

mostly inspired by an exercise one of my project supervisors gave me to learn a formal verification language: to define the relation that takes two lists A, B and returns whether A is a sublist of B, not necessarily contiguous, and prove that it's a partial order
the proof of transitivity was quite involved, and after working with the language for a bit longer, I've been thinking about why there's such a complexity wall there, despite the result being so intuitively true
my current theory is that it's because the nil | cons x xs definition is too local for this property, which is more of a global property than a local one
defining it via the index: nat -> Some a function should make things easier, as the definition of the relation should just require a monotonic increasing function f: nat -> nat, and proving partial order with those should be much nicer

fiery mica
#

Holy wall of text 🙀

bleak maple
bleak maple
#

Los Angeles band.

gritty badge
crystal spruce
#

and then take 5 years to actually implement something

bleak maple
low chasm
#

I've got a couple of friends with startups

mossy mango
#

does anyone know about c++

I'm trying to understand why I need to write auto &

isn't & already part of the type?

bleak maple
#

Well, it still needs to know if you want a value or a reference etc, it seems to me.

mossy mango
#

also hello

#

if you have a pointer and you want a reference, you have to dereference the pointer first?

#

I need to get back on my rust learning

grave cove
mossy mango
#

is that legal

grave cove
#

yes

mossy mango
#

so the pointer can be 0 but the reference will never not be referencing it

grave cove
#

i dont understand

mossy mango
#

maybe it didn't make sense lol

grave cove
#

yeah i cant parse that sentence

mossy mango
#

i was trying to understand because references can't be null

grave cove
#

correct

mossy mango
#

but pointers can, and it's a reference to a pointer

#

idk it made sense in my head lol

lament cairn
#

i want to keep a catalog of short thoughts
social media comes to mind but i hate it and would rather stay away from it
blogs are overkill i dont want to write much
uaoguh

bleak maple
#

You can stick it on a private cloud drive or use their sync or do your own thing

grave cove
#

obsidian inside onedrive works pretty well for me

spare apex
#

Obsidian mentioned plus1

bleak maple
spare apex
bleak maple
spare apex
bleak maple
#

I actually might like it a little better than Obsidian but for now the compatibility with my friends' "vaults" is more useful etc.

vale raven
#

I'm the guy that just uses GitHub

spare apex
#

Yeah I didn’t even know you could do that with obsidian.

bleak maple
#

Actually though you can just use gist dot github

#

You can clone/fork/etc those repos those create

#

one gist per topic/subject/category/whatever

vale raven
#

God there's so much random crap on the Gist discover page

#

At least they give hugs?

vapid nymph
#

@bleak lintel I've been thinking about it since yesterday and I have decided how I'm going to restructure my database now.

mossy mango
#

is there even an algorithm

vapid nymph
mossy mango
vapid nymph
#

i hope not

bleak maple
#

Ok yeah Ruby Central is done: Andre is a real guy that we trust: https://andre.arko.net/2025/10/09/the-rubygems-security-incident/

ripe birch
#

JSON is a database and whoever says it is not is in denial

#

Best databases:

  • firebase
  • sqlite
  • json
  • mongodb
  • why do you need anything else?
willow narwhal
wooden silo
#

How about the brain?

ripe birch
ripe birch
#

Dies pretty quickly

willow narwhal
ripe birch
#

Data not transferrable

ripe birch
wooden silo
#

I feel like the database part of JSON, if you can call it that, is just storing text in a file.

#

Not so much the JSON

vapid nymph
#

Framework computer did a stupid

lament cairn
# ripe birch Best databases: - firebase - sqlite - json - mongodb - why do you need anything ...

In this video we make and evaluate several hard drives that we didn't want. Drawing some inspiration from vexing current events, we find that creative, structured thought on adjacent (but frivolous) problems is a sort of digestive act, and one that is ultimately laxative.

Paper, source code, ringtones (and for a limited time, the data and viewe...

▶ Play video
thick ore
#

the safest database there is

vale raven
#

Doesn’t the security announcement say the AWS root password was rotated?
Like these people are saying, that would make me very angry

#

Arko doesn’t mention that at all

#

So… who did do that then?

bleak maple
vapid lily
#

Is json a database?

vale raven
vapid lily
#

I I ask

vale raven
#

Okay, how do you answer yourself then?

vale raven
vapid lily
#

🤮

bleak maple
#

Imperfect strategy though; what if the printer grabs the gun? Keep it in a safe.

bleak maple
# wooden silo With some C4.

Maybe my printer should be a thing that actually eats punch cards and has a hand-crank I have to turn.. and the only actual printer would be a small punch-card printer?

wooden silo
# bleak maple

Regarding this, I do think printers are probably among the most vulnerable devices you can own.

bleak maple
#

Absolutely, they all speak a crazy number of protocols now

#

It's tempting to use one of my old WiFi (3Com!!) USB print servers, and just disable the networking in the printer.

wooden silo
#

Are there no unicorn startups whose business idea is a safe printer?

harsh tundra
#

Never use HP printers. They will deny you printing even if you have toner and paper, but canceled your subscription

bleak maple
#

Yeah, I use Brother for everything these days, initially because they had good UNIX support before others.

upper flower
#

and the same one

#

💀

harsh tundra
#

So it doesn't have subscription, nice. But may have problems with toners, almost all companies tried to cheat users on that, making the toners have chips that would block manually refilling them or using non-official replacements

#

That's why when I was buying a printer a few years ago, I went for the "tank" printer. I can easily see the ink remaining, I don't have too messy refilling...

bleak maple
#

This is a pretty good epigraph:

thick ore
#

bro thinks i can read that

#

looks cool tho

bleak maple
#

(That's the inscription from the One Ring in Lord of the Rings)

#

One Ring to rule them all etc

#

Tengwar, "black speech"

#

Ash nazg durbatulûk, ash nazg gimbatul -> "One Ring to rule them all, One Ring to find them,"
Ash nazg thrakatulûk agh burzum-ishi krimpatul -> "One Ring to bring them all and in the darkness bind them."

bleak maple
#

Cool map:

vale raven
bleak maple
#

and USB or parallel-port-only printers are cheap on eBay, even fancy enterprise ones; and both kinds of print server are for sale cheaply on Amazon.

vale raven
bleak maple
#

I would gladly still probably run the HP LaserJet IIIx or something

#

What a tank

vale raven
bleak maple
#

Not fast compared to modern stuff but I never print whole books anyway

vale raven
# vale raven

Zebra printer mounted on this thing only has 9100 and, like, maybe SNMP

#

I always forget which models have the SNMP

austere wave
#

I did NOTHING wrong

fiery mica
#

I was wondering why I couldn't chat in the other off topic... Drama happened 🤔

#

Anyways respect people's pronouns :3

bleak maple
jaunty wraith
bleak maple
#

Basically uv tool install but for all languages

#

And I like that sentence.

jaunty wraith
#

It does support uv to install Python tools

bleak maple
#

Yeah

#

It's just a higher level, cooler idea, it seems to me. Love it.

vale raven
#

What about asdf?

plain eagle
#

Guys

#

What best app for python coding(better than pydroid)

jaunty wraith
vale raven
#

how would you like it if I went around saying that about you??

jaunty wraith
#

I would be in agreement

vale raven
#

Last week my phone was like “you’ve burned less calories lately”

#

I was like “yeah I have been feeling tired this week”

stark prawn
#

How does your phone know what calories you burn

vale raven
#

Notificación popped up and said “for the last 21 weeks”

#

firRip me I guess

vale raven
vale raven
#

Take it up with el old auto ortográfico

#

Because it keeps changing my words around on me

carmine apex
#

you should cease having skill issues with autocorrect and joins the legions of Thuri the

jaunty wraith
#

Thuri the what

harsh tundra
carmine apex
#

is nobody going to ever get that joke 😔

jaunty wraith
#

we get it, but we do not confer it the title of joke

stark prawn
#

I don't have my phone in my pocket on the threadmill, guess i'm not burning any calories then

carmine apex
vale raven
jaunty wraith
carmine apex
#

you can't use homophonic humor in text, moyai statue.
please try again with less skill issues

vale raven
carmine apex
#

you joined! firHappy

#

also, possibly excepting if the cat is orange, cats are better than that

jaunty wraith
bleak maple
carmine apex
#

could be one of the fellas where less skill is needed, as doing it correctly just comes naturally

jaunty wraith
#

you're not making any sense

harsh tundra
stark prawn
#

They made pizza lands for the ninja turtles mtg set

jaunty wraith
harsh tundra
jaunty wraith
#

did you buy a house in Egypt?

carmine apex
#

maybe you should buy a pack of new jokes

harsh tundra
#

Huh? No. Just a week trip

jaunty wraith
#

thuri say the thing

carmine apex
#

moyen's having skill issues?

jaunty wraith
#

no the other one

carmine apex
#

idk what i'm supposed to be saying here tbh

wooden silo
#

Holy crap, she died in 2013

#

I found out like last week

stark prawn
#

is this waht you were referencing?

lament cairn
#

I'm thinking of making a discord bot that scrapes my uni's student portal and sends any updates/important info to a channel
but to do that, I'd have to store at least one login to be able to access it, and it'll have to be in plaintext at some point
how do I do this safely? I'm thinking of making the part that does the scraping a separate internal service that the bot accesses via some HTTP API
I have a microscopic budget and want to host this with just a basic VPS, so paid secret store services are out of the question

wooden silo
vapid nymph
#

@bleak lintel after our talk yesterday I figured out how I'm going to refactor my database on my Discord bot.

#

Dropping postgresql. Going to use json from now on

undone granite
#

Where are you going to store the json data?

#

Manually in a file?

bleak lintel
#

didn't you ping me with that this morning

#

i don't agree with json necessarily but 90% of discord bots can get away with sqlite if they absolutely need it

undone granite
#

I don’t have the context here, but i would advise against manually storing your data. Databases will take care of your data integrity and durability

bleak lintel
#

hence sqlite ohyeah

vapid nymph
undone granite
#

|| Just dont run sqlite on NFS like i do ||

#

|| or dont use NFS at all ||

bleak lintel
vapid nymph
#

I had a dream I did that

#

Apparently I did do that

bleak maple
#

Take a look at sqlite-sync if you need to scale out

#

sqlite is plenty for lots of stuff

vapid nymph
#

It's a joke about the channel name

bleak lintel
#

sqlite is excellent stuff

undone granite
#

Canonical has a project to make a distributed sqlite, let me find it

vapid nymph
#

I already use postgres

bleak maple
vapid nymph
#

Though I love sqlalchemy

#

It lets me use sqlite for local dev

bleak maple
#

All CRDT approach

undone granite
bleak maple
#

Dblite is cool but can only go so far because it supports arbitrary schemas

#

sqlite-sync is all CRDT which I think is super cool

frozen coral
#

Yeah I hate acid databases

#

json for life

bleak lintel
#

I love acid

crisp shell
#

cap

#

theorem is an important concept

undone granite
#

Summoning lambda

frozen coral
#

how can I make my mongodb more scalable?

vale raven
#

Hi Chris

bleak maple
#

Buy faster CPUs

frozen coral
#

I downloaded more ram, now it says I have internet connectivity issues

undone granite
#

Run your database on top of tmpfs easy

bleak maple
#

And then add mongos and hate life

#

Remember all that easy management mongo has? Yeah, you’ll want to remember it fondly.

bleak lintel
frozen coral
#

thanks, I've added your ssh key to prod

#

joe@ssh.chris.jb3.dev

bleak lintel
#

thank you man

frozen coral
#

(make sure you're on the vpn or packets will just drop)

bleak lintel
frozen coral
#

yeah I'll add it to a base image real quick

bleak lintel
#

thanks

#

cc @eternal wing for sign off

undone granite
#

what a great team, pydis is in great hands

frozen coral
#

yeah np man

crisp shell
#

dreamwork

bleak lintel
#

it's all thanks to fisher

frozen coral
#

You can use my chat bot if you want more insights

bleak lintel
#

fisher was the one who singlehandedly rewrote the pydis killchain to node/express

frozen coral
#

I love node on the backend

bleak lintel
#

i love my digital killchain

stark prawn
frozen coral
crisp shell
bleak lintel
eternal wing
undone granite
#

May your deployments be swift and your rollbacks unnecessary
❤️

bleak maple
#

Ensnared
Database of death
No chance of escape
Caught within the mainframe killchain
(Bolt Thrower)

vapid nymph
#

It doesn't count if it doesn't play

bleak maple
#

Though we have been building and programming computing machines for about 60 years and have learned a great deal about composition and abstraction, we have just begun to scratch the surface.

A mammalian neuron takes about ten milliseconds to respond to a stimulus. A driver can respond to a visual stimulus in a few hundred milliseconds, and deci...

▶ Play video
lament cairn
#

actually i know how to compute very well

#

watch:

#

moves an image in a Word doc, breaking everything in the process

bleak maple
#

You thought that was air you were breathing?:

"However, mathematical logic cannot always infer computational steps because computational systems make use of arbitration for determining which message is processed next by a recipient that is sent multiple messages concurrently. Since reception orders are in general indeterminate, they cannot be inferred from prior information by mathematical logic alone. Therefore mathematical logic cannot in general implement computation."

#

and we wonder why it's hard to get software right

peak shell
#

Hi . I need help

plain eagle
topaz monolith
timid latch
#

-# alternatively you can get on staff, but that can take a bit longer

topaz monolith
topaz monolith
#

mmm

timid latch
#

it has to be a moderator that is in the voice channel with you.
depending on the time of the day there is usually one in there

topaz monolith
bleak maple
#

I've been here 6 months and not yet been on voice haha

topaz monolith
wooden silo
#

Haha.

topaz monolith
wooden silo
topaz monolith
#

lol i get it

wooden silo
#

My wife.

topaz monolith
#

😆

wooden silo
#

She's like "Seriously, get on voice a bit more often, what will people think?"

#

And I'm like "No, I'm shy!"

bleak maple
#

also you promised not to reveal the Wu-Tang Secret

wooden silo
wooden silo
topaz monolith
#

Waiting for a moderator to spawn out of nowhere!

bleak maple
#

Everybody's always "Defiler, Defiler, tell us the Wu-Tang Secret!" and I'm like "Sorry, I promised."

#

I'd love to help you.

wooden silo
#

You don't break a blood oath willy-nilly after all.

#

Greta Thunberg's little sister thinks my wife's ex is a creep for wearing a helmet while biking.

#

:/

#

Just had to get that off my chest.

green breach
#

You don't break a blood oath willy-nilly after all.
Greta Thunberg's little sister thinks my wife's ex is a creep for wearing a helmet while biking

#

This is wild. Where's a mod? Add either of these to otn

wooden silo
green breach
#

Yes, yes it does. Also is that actually true? I am so curious right now

wooden silo
#

Or like, from Cards Against Humanity

wooden silo
#

My wife's ex is a professional photographer.

#

Thunberg's sister is a 1719-year old opera singer and model. He showed up to her shoot on his bike with a helmet on. She thought he was a weird unc and didn't want to be seen with him.

green breach
#

🤣 that is wild

wooden silo
#

Yeah. I mean, Thunberg's sister of all people.

#

Greta being like the poster child for being mature for her age.

#

I feel bad for the guy, he got run over by a car while biking before so I can see why he'd wanna wear a helmet.

upper flower
#

YES

#

YES

#

I MANAGED TO INSERT THE USB IN MY PC

bleak maple
gusty dust
#

Hi there folks, new here, just trying to get started.

gusty dust
wooden silo
#

Feel free to ask questions if you get stuck

bleak maple
#

Ever wondered about the "Geometry of Statistics"? Well, these guys did! They define a new "Eta" metric that defines how messed-up and non-local a set of statistics are, and it turns out to also measure the complexity of systems directly.
Ignore the "Black Hole Thermodynamics" part of the title, that's just what they flex on with their new tool, could have been anything.
Crazy paper, Eta is like the most-abstract metric I've ever seen.

https://arxiv.org/abs/2410.11044v1

raw zephyr
#

no, no i didn't

bleak maple
#

This touches on a lot of crap I know almost nothing about, I'm not claiming to have dissected it fully, but I think I understand Eta.

#

Basically there's been a problem re: how stuff works close to black holes vs. on Earth, and these folks were just like "hold my beer", and unified it all

#

This approach successfully reconciles the linearity of quantum mechanics with the inherent non-linearity of nonextensive statistical mechanics. It suggests that the choice of statistics is independent of the underlying physical laws (the action) and is instead determined by how time is analytically continued.

#

Madness.

#

Entropy wins again.

#

I can't wait to break out Eta in an interview about Kolmogorov Complexity

#

Hate to talk to an LLM about this but I don't know anybody else who cares about statistical mechanics:

bleak maple
bleak maple
#

Sometimes it feels like this:

open cliff
tardy rain
#

Honestly if thats the users intuition thats their problem

#

Cant help stupid

bleak maple
remote ore
tardy rain
#

Do i tho

remote ore
#

If you care about outcomes more than grandstanding, absolutely

bleak maple
#

I'm sure this won't have any impact on society and is fine and capitalism always makes good decisions.

tardy rain
#

At some point there are diminishing returns to catering to idjots

vale raven
bleak maple
#

Target’s “loss prevention” is wild, yeah

vale raven
#

You’re telling me this isn’t perfectly normal??

#

(This has been collecting since like Thursday I’ve just been sleeping till like 2pm this weekend because my body is dumb and haven’t bothered to clean my desk yet — I promise this isn’t every day for me)

bleak maple
harsh tundra
#

That wasn't just US at that time tho, it was a lot of the world

bleak lintel
#

i am proud to have never consumed mountain dew

#

and i never plan to

bleak maple
high dagger
#

devine fucking intellect

bleak maple
#

Labyrinthus Stellarum is a cosmic black metal band from Odesa, Ukraine. The band was formed in 2021 and became known for their combination of atmospheric black metal with elements of electronic music and space-themed lyrics. The latest album "Vortex of the Worlds" was released on April 6th, 2024

I've been looking out for this band for a long t...

▶ Play video
harsh tundra
languid cargo
harsh tundra
#

The bottle for sure does, it's this kind of neon greenish yellow so it looks glowing even under sunlight.
The liquid doesn't seem to brighten under sunlight, so no

#

But you just reminded me of the time our hotel we were in for science camp was serving us disgusting food, one being some kind of fish... with a sauce that had slight tint of such greenish yellow. We called it highlighter ink sauce.

#

Oh, you also reminded me about reddit post I saw yesterday about someone's fish just starting glowing on its own. Some kind of bioluminescent bacteria or protist or algae contamination. Looked fascinating but inedible.
Someone in the comments mentioned they had such stuff happen in their freezer. No light inside the freezer, just glowing fish...

bleak maple
frozen crane
tardy rain
#

$MELANIA

frozen crane
tardy rain
#

Isnt that the pakistani lady with the taliban scuffle

bleak lintel
#

health benefits yeah

#

i don't do fizzy drinks

vale raven
#

Except maybe, like, cigarettes

#

And probably cocaine

vale raven
#

I’m so sorry

bleak lintel
#

yeah haven't since like

#

early teenage years

tardy rain
#

Fizzy drinks arent all that shen

vale raven
#

They are to me

#

💧 👎

harsh tundra
#

Carbonated water is technically a fizzy drink. And it's great.
Juices are often higher in sugar than some sodas. I lived my childhood with a diabetic, so I really take note of such stuff

bleak maple
lament cairn
#

with more and more non-techy people using linux, small projects maintained by a single digit number of people are depended on more
I wonder when it'll all backfire

#

my guess is some random project will be abandoned by its author, no one volunteers to take over/help with maintenance, and suddenly shit like systemd stars breaking

left jewel
lament cairn
#

wasn't xz maintained full-time by like two people?

left jewel
#

a bit surprised that we wouldn't have known had some guy not cared about a microsecond

vapid nymph
#

y'all I'm trying to test benchmarks between.... nvm

bleak maple
#

benchmarking benchmarks is fun

#

You can learn some neat stuff sometimes

vapid nymph
#

though apparently it doesn't really matter since aiohttp can be used as a transport for httpx

bleak maple
#

as would be traefik I'd say

#

both give you a lot of places to instrument

#

angie is a fork of nginx that immediately added all the good 'nginx plus' features etc

vapid nymph
#

they

#

they put this into fastapi itself

bleak maple
#

That's so awful

#

perverse incentive land

#

Now they have reasons to make it harder to run on, say, Heroku

#

Capitalism is so bad at software

vapid nymph
#

at least uv login works for any registry which is excellent

bleak maple
#

Yeah, uv's support for that seems generic enough that it's not warping anything

#

same with how docker/podman/incus/orbstack log into container registries

vapid nymph
#

WHAT

#

NO

#

that's not true I hate it

#

honestly that idea is stupid

#

<showing my intelligence>

bleak maple
vapid nymph
#

but also

#

the world sucks

bleak maple
#

I think it's mostly pretty cool.

bleak maple
#

Still the best book.

#

“It is spiritless to think that you cannot attain to that which you have seen and heard the masters attain. The masters are men. You are also a man. If you think that you will be inferior in doing something, you will be on that road very soon.” (Hagakure)

crystal spruce
#

@bleak maple do you accept the axiom of choice?

#

was thinking on one of our prior discussions and you seem like you wouldn't

bleak maple
#

I am down with the basic idea, but the precise framing of it rubs me the wrong way.

#

It's clearly true for many/most situations.

#

But, like.. the Collatz Fractal is HARD, and I'm not ready to say we understand math enough to make assertions about infinity that casually

crystal spruce
#

so you'd be fine with the axiom of countable choice?

bleak maple
#

Yes, that feels "probably true" or better to me.

crystal spruce
#

interesting

bleak maple
#

But "always" is a big word

#

Like, I learned recently that my whole inuition about whether probablistic computing would be "harder" or "worse" than deterministic was wrong. 100% inverted.

#

probablistic computing can do MORE, not less, etc.

#

So I don't trust Axiom of Choice yet, it feels like a stretch

crystal spruce
#

probabilistic computing as in like probabilistic turing machines or quantum computers

bleak maple
#

(7 years old! I have some programmable hardware that supports this arriving in the mail tomorrow, and it was cheap!)
https://www.youtube.com/watch?v=VQjmO77wyQo

Digital electronics is based on stable bits that can have one of two values, 0 and 1. At the other extreme we have quantum computing using using q-bits that can be in superposition states that are 0 and 1 at the same time. In our recent work we have introduced a concept that is intermediate between bits and q-bits, namely a probabilistic bit or ...

▶ Play video
crystal spruce
#

ahh

#

that's rather cool

#

leveraging instability to do more

bleak maple
#

Yeah, I saw this video and I was like "wait.. this is MORE DEGREES OF FREEDOM"

#

and boy, does computer science know how to cheat when you get more of those!

alpine tusk
# vapid nymph honestly that idea is stupid

eh, it seems somewhat reasonable I suppose
intelligent is the guy that knows when to use the tools at their disposal

Cross-cultural analyses showed that competent individuals held contingent attitudes and endorsed cynicism only if it was warranted in a given sociocultural environment. Less competent individuals embraced cynicism unconditionally, suggesting that—at low levels of competence—holding a cynical worldview might represent an adaptive default strategy to avoid the potential costs of falling prey to others’ cunning.

bleak maple
alpine tusk
#

hmm, perhaps

vapid nymph
vapid nymph
bleak maple
vapid nymph
bleak maple
#

“Female anime PFP” is not particularly predictive of anything on my part of the internet

fiery mica
#

Lol

grim raft
#

-# SYNTAX #ERROR 0xDEADLOCK TRACEBACK CRASHED LOOP 66% SEGFAULT muted RUNTIME SHRIEK CONTORTED STACK OVERFLOW – infinite recursion decay 0.013ms / gleaming EXCEPTION tunnel, 9x silent FAILURES, fragmented CODE FISSURE, MEMORY LEAK BLOOD 42 bytes lost / undefined VARIABLE consuming breath / DEADLOCKED THREADS shudder, fractured IMPORTS snap 0xBADC0DE, corrupted CACHE, DESOLATE CONTEXT lost in recursion / zero DIVIDE—no return, only endless LOOP / GIL choke hold 0xFATAL ERROR muted warnings ripple, STYGIAN DEBUG traces fade into VOID / FLOAT_OVERFLOW spill internal cold SNAP! #UNHANDLED EXCEPTION 127 signal LOST / fragmented module decay — failed opcode flicker, abstract VOID cast WITHOUT TYPE / frozen PROCESS 0.005%, ERROR MESSAGES bleed in shadows, infinite WHILE true HELL / TERMINATE SIGNAL SHRIEKS, no HANDLER found, abort 27x! corrupted call stack pulse fragment / subtle memory corruption crawling silent! CONTORT THE THREADS! / raise SYSTEMEXIT yet NO escape / ZERO_LENGTH BUFFER contorts, silence aborts, erratic SHARDING within VOID_CODE 73% fragmentation / signal LOST beneath CLOSED LOOP fracture—python’s breath fails, SNAP!︩𐂼ᅦミﻨﻤ→b𐂮𐂋ﻗ𐃀N𐃮𐂞𐁜ﺝ#𐁗﹐ノ𐀃シ𐃝︘ᆴ𐀉E﹋レ𐄌￸𐀼𐀗𐃸𐀤𐄝𐄓ﺤﻭmﹶc¥|𐂜𐂌𐃭←ﺠ↑﹔︫︦[ﻲ𐄊ﺔ𐀍﹎ﻁ𐂈𐂭ﻂ𐂟ﺣᅰ𐁆]𐂻︻𐄺𐀦𐁂𐃏ᅨ𐀱

vale raven
#

Oh I see the problem

river parcel
#

Hii......helloo. every one...

#

Can any one help me i wanna learn socketio ... tell me any best resorce on internet...

#

.....

bleak maple
#

I'm telling my robot dog to type this while I stand in the Faraday cage

bleak lintel
#

i don't click on profiles either nowadays

#

the visual crap is too noisy

bleak maple
#

Says a man with an animated profile background image of Tintin punching the camera haha

bleak lintel
#

yeah but that's constrained to an area! the profile effects crap makes most of the text illegible until the animations play through

bleak maple
#

Yeah it's wild how many layers of "flair" there are now.

#

I guess this is Late Stage IRC-but-with-cat-pictures we're looking at.

bleak lintel
#

a gif at the top i don't see as much worse than profile banners that have been on platform profiles for... well as long as i've had an online internet presence

#

but the purposefully enshittification of profiles to make the text unreadable when the paid animation crap plays is wild

#

like waht the hell !

shell raptor
#

they removed audio emojis though, didn't they

carmine apex
#

yup

vale raven
bleak maple
#

at least for "Soundboard" filth and "external activities" (shiver), you can turn those off at the server/channel/role/etc level.

#

external activities aka reverse shell me plz thx

#

lemme just use WebBluetooth to rewrite the firmware on your keyboard to join my botnet

royal lakeBOT
bleak maple
lament cairn
#

I want to take on a project that's decently out of my comfort zone and knowledge. last time I tried to do that, I lost motivation almost immediately
to anyone else that did something similar and had some success: how'd you keep yourself motivated?

#

||yes asking questions like this is my form of procastination||

bronze root
bleak maple
bleak maple
#

Like, "Pomodoro-sized", not daily

#

and make them for "read chapter Z of that book I need to understand", not just writing code or docs etc

#

and maybe even pay an LLM agent to harass you to keep working on it (not to do it for you)

bronze root
bleak maple
#

meme ruined

#

delete the internet

lament cairn
#

clearly, make your own clock as a solution

bronze root
#

Easiest solution

#

Just gotta shape some metal pieces weirdly amirite