💽Programming Chat v2

[timid quartz]

no rush

[spare quartz]

AND

on top of that i need to render the furry video in roblox

[timid quartz]

...

[spare quartz]

:3

[timid quartz]

besides this doesn't matter like that much

if I'm running it myself via datagrip

and it's a select

[spare quartz]

you use data grip 🤢

and i just took in some salt on my skittles 🤢

[spare quartz]

https://youtu.be/coyYUP37d4Q

speedrun time

[proud creek]

][

[proud creek]

no way lmao

[spare quartz]

https://github.com/luau-lang/luau/issues/1467

[timid quartz]

Literally the best database gui out there

[spare quartz]

notepad....

[timid quartz]

You can’t execute queries in notepad idiot

[spare quartz]

yes i can

its called THINKING

[timid quartz]

Notepad is not a console

[spare quartz]

thats quitter talk

[timid quartz]

DataGrip also makes it way easier to export data as like a CSV or whatever you need

[spare quartz]

for reels though i just use a database plugin in intellij

[proud creek]

reels

instagram reels

[lavish dove]

Adacore evil

[spare quartz]

worship adacore

[spare quartz]

https://fixupx.com/ekzhang1/status/1842935564179513437/photo/1

[timid quartz]

Real

Rewrite libc in Rust

[spare quartz]

fake

rewrite libc in ada

[lavish dove]

write your own standard library in assembly then bind it to every popular language

[spare quartz]

gonna have to do that with ada actually

sooner or later

not the latter half though screw that

https://fixupx.com/HSVSphere/status/1843284614087139599

so like do people actually still think that

i thought everyone knew by now something like a word isnt even standardized (... "universal" would be a better term)

[lavish dove]

woah

[lavish dove]

lol

[lavish dove]

would be cool if it was

the types should be more defined in C

unless theres some smart reason why they arent

I think a char is 16 bits on some older japanese machines

[spare quartz]

a char is 16 bits in the JVM architecture

[spare quartz]

and iirc they are, but some intrinsics probably stop you along the way

[lavish dove]

there are definitely intrinsics but on those intrinsic platforms your probably gonna end up writing alot of things in asm anyways

so its probably just better to have the ability to completely disable the standardized types for that stuff to make your own

[lavish dove]

aa

[timid quartz]

Rust having explicitly sized integer types ❤️

[lavish dove]

rust w

[timid quartz]

@spare quartz

[spare quartz]

Aera i JUST woke up

How do you have my sleeping pattern

[spare quartz]

What video is this on

[spare quartz]

AAAAAAAA

😭

[spare quartz]

aaaaaaa

i thought we were making progress on the last oneee

[burnt locust]

Binary 😎

[timid quartz]

It’s obviously windows

[timid quartz]

Probably assembly

[woven flicker]

VSC IS GREAT WYM

[timid quartz]

vsc sucks

[woven flicker]

what else would you use???

vsc is peak

[full berry]

vsc is mid at best

[woven flicker]

personally i love VSC
my main code editor

[full berry]

let me guess

and watch i just know this is true

vsc is the first editor you tried and you never tried something else..?

[woven flicker]

no i tried several others

[full berry]

whats your primary programming lang

[woven flicker]

uh
javascript-

that and lua

[full berry]

EW

[woven flicker]

WYM

[full berry]

EW

JAVASCRIPT

[woven flicker]

@young needle kill this man

WYM

WHATS WRONG WITH JAVASCRIPT

[full berry]

BOR

EVERYTHING

[woven flicker]

JUST CAUSE ITS A LITTLE RETARDED WITH TYPES

DOESNT MEAN ITS BAD

[full berry]

YES

IT DOES

[woven flicker]

NO IT DOESNT

i have never had issues with typing in javascript

[young needle]

oh yes finally

[full berry]

[full berry]

what are you developing

[woven flicker]

its mainly funky APIs with express
uhhh
discord bots

and maybe the rare half-baked file host

anyway javascript is

great

and so is visual studio code

and i will

https://tenor.com/view/kiss-boys-kisser-mega-kot-brick-gif-11900063593491011307

[full berry]

javascript is mid

vsc is ass

[woven flicker]

brick

[full berry]

that's just my opinion though

[woven flicker]

why is vsc ass though

its pretty good

what are you making to require more

[full berry]

i mean if you're doing simple thjings

then yeah okay it's fine

but there's many good code editors out there

i personally use the jetbrains package of ides

[woven flicker]

jetbrains package of ides imo is just bloat and stupidity
too PHAT for me to use it

[full berry]

vsc uses electron

i rest my case

[woven flicker]

lite-xl is pretty good...

[full berry]

never heard

[spare quartz]

It was Mac

Anyone here

Give me an output device that’s part of a computer

[timid quartz]

LOL NO WAY

BASED ALERT??

[spare quartz]

I mean true honestly

SIP and the sheer amount of times it asks you for your password

[spare quartz]

you use js… disregard ….

[woven flicker]

somewhat ig

[woven flicker]

vsc is peak...

[spare quartz]

have you used a mac before

[spare quartz]

https://fixupx.com/AdaCoreCompany/status/1843645387791344077

*We involved Richard Stallman (RMS) from the GNU project and Free Software Foundation in this effort from the early stages, and he came to NYU for several meetings. *

RICHARD STALLMAN HELPED MAKE ADA??

[proud creek]

No way

[lavish dove]

yup definitely a evil organization

[spare quartz]

GOOD

[timid quartz]

https://tenor.com/view/richard-stallman-triggered-oboi-warnedem-gif-15656329

Stallman when it’s not GNU/Linux

[spare quartz]

https://youtu.be/aAkMkVFwAoo

[lavish dove]

has roblox ever lost data

why is everyone worrying

[spare quartz]

iirc yes

but not to the point where its totally screwed everything up

[proud creek]

yeah

[proud creek]

OH ITS TUX BUT HES BLENDING WITH THE BACKGROUND

[spare quartz]

alright guys

i did it

i finished my writing assignment in about 6 paragraphs when it asked for 3 sentences

now to finish the tes-

[spare quartz]

@timid quartz okay ill admit

C# is okay...

i wrote this tiny snippet in about 3 minutes without needing to look up any information aside from TryParse

[woven flicker]

i have

[spare quartz]

oh god. dont make me write it .please

[proud creek]

ew python

[spare quartz]

It’s not letting me take any more assignments on that

I broke the test

[timid quartz]

:333333

you can also write it java style

public class Program
{
    static void Main(string[] args)
    {
        // ...
    }
}

[timid quartz]

who here actually uses copilot or similar

[proud creek]

i do :333

[timid quartz]

jk but

is it like

actually useful

[proud creek]

yeah like a lot of times the suggestion is good

like the autocomplete thing

[pastel tinsel]

me

it helps out with a lot of stupid math stuff

[timid quartz]

fake programmers right here

[pastel tinsel]

I hate math

it is that simple

[proud creek]

REAL

[pastel tinsel]

astro is way more fake than I am by that logic

[proud creek]

also i dont really use it for algorithms and stuff, its just code that I know how to do

[lavish dove]

they are so dumb now man

when copilot was in beta it would literally happily have a full conversation with you and it felt like you were talking to someone

now it gets confused if you say hi

[pastel tinsel]

no yeah that’s true

[spare quartz]

only when writing javadoc or its plainly obvious what i want to do

but again... it gets very intrusive when i havent even gotten a single line down

[spare quartz]

hehehea

someone else has written ada today ..

[spare quartz]

okay so

gui design isnt mine

but i made a simple windowing system!! hooray

[full berry]

i dont use copilot

i used to but i dont like it

like SURE the math stuff is useful but i rarely do it anymore so i dont use it

[pastel tinsel]

We are probably rewriting the entirety of Guardsman again lmfao

[young needle]

bruh?

[full berry]

v5 of v2

[full berry]

make the progress open source rn

[pastel tinsel]

no you aren’t taking our stuff!1!!1!

[full berry]

im taking it in december

[pastel tinsel]

Gonna ip ban you bro

[full berry]

¸im still taking it,,

[pastel tinsel]

The cease and desist in question:

[full berry]

mmmm im still taking it

[pastel tinsel]

Ur going to jail

Either way we can force take down or open source

[full berry]

im moving to north korea

TRY ME

[young needle]

https://tenor.com/view/sigma-flaygel-left-the-world-sigma-vs-boy-war-gif-3565359896491425492

[pastel tinsel]

Ur 15 vro

[full berry]

im definitely not lmfao

[pastel tinsel]

correction

16

[full berry]

correction 8 million

[proud creek]

old ass

[trail beacon]

https://www.ddinstagram.com/reel/DAkAAZUSJXA/

[spare quartz]

https://x.com/zoriya_dev/status/1844316614571012478/photo/1

Zoe Roux (@zoriya_dev) on X

if you feel useless, remember that odin had 64 bits boolean

Twitter · Oct 10, 2024, 9:58 AM

CHAT

DO THEY KNOW.

[timid quartz]

wow you were asleep for a while

[spare quartz]

isthis a good or bad thing

[timid quartz]

idk

seems that you've become nocturnal

check matrix

[spare quartz]

yeah i think you're sane

keep going

[timid quartz]

How do I get ada_language_server….

[spare quartz]

que

[timid quartz]

The ada LSP server

[spare quartz]

it should be included in your ada installation/plugin

[timid quartz]

But I want it not in vsc

I want to be able to use Emacs

[spare quartz]

go odluck

[timid quartz]

Alire didn’t install it I don’t think

[spare quartz]

alire doesnt put ada/gprbuild in path yeah

[timid quartz]

It’s not even in nixpkgs 😭

[spare quartz]

how did you install ada ...

[timid quartz]

Well on my Mac

Just with alire

[spare quartz]

if you want to use ada outside of whatever alire runs itself you have to find the installation directory of where it installed

[timid quartz]

I wonder is there any way to make alire use a version of gprbuild that I installed separately

[spare quartz]

alr toolchains will automatically detect it

assuming its in the path iirc

[timid quartz]

It didn’t seem to do that for NixOS

[spare quartz]

well

its nix

[timid quartz]

Further testing required but that’s on the side

[timid quartz]

Well it’s in the path

[spare quartz]

but its nix!!

[timid quartz]

Maybe I abandon LSP and just configure Emacs to not care about a missing LSP backend

@spare quartz why did you have to condemn me to use the most obscure language with the worst tooling imaginable

[spare quartz]

cause

its simple

[timid quartz]

It’s not though

I didnt do this to you when I said to use C#

[spare quartz]

idk... i think you're just overcomplicating it

[timid quartz]

Bro even you are still actively figuring Ada out

[spare quartz]

THATS CAUSE ITS AN IN DEPTH LANGUAGE

[timid quartz]

It took you a while to get even okay with it

[spare quartz]

but ive 99% got it down

how long did it take for you to understand rust

[timid quartz]

Rust is clamplicated

You said you suggested ada because it’s simple but it ain’t

[spare quartz]

welllll

at least youll learn something new by the end

righttt

[timid quartz]

3:<

[spare quartz]

im pretty sure

if rust is your fav language

ada will be a piece of cake

[lavish dove]

Aint no way

[lavish dove]

My cs teacher said his sister learned "C+, but not c++" in college

[lavish dove]

goddamn man

it says password compromised but it also says they only have my passwords hash

lol

[pastel tinsel]

which

they really can't do anything with

unless they want to spend a very long time cracking it

bcrypt is pretty good

[timid quartz]

ok but like hear me out

the login endpoint expects a password right

sending the password in plain text over the internet isn't safe because of http downgrade attacks

but if you hash the password for transit then you are sending the server the hashed password

meaning the api expects the hash

so you can just send the hash

(I have no clue how to make a proper authentication endpoint)

[pastel tinsel]

dawg

just auth the hash on server side

that is how you are supposed to do it

[lavish dove]

Fr

[pallid loom]

is good but should be replaced

[timid quartz]

Python 3.13 apparently comes with a way to disable the GIL? @spare quartz @lavish dove

[lavish dove]

whats a GIL

Oh I dont think old versions of python even had it at all

[lavish dove]

ok I jsut read up on it, why are they making it "disableable" when they can just make the thing thread safe

[spare quartz]

weird..??

i didnt know python had a GIL/what was a GIL like lucky

i dont know why they just dont do it like the JVM, have a thread hold a lock when say, loading a certain class/running an explicitly synchronized function

i'd imagine python has more cases...

[full berry]

@lavish dove you should make a matrix account too

[spare quartz]

ada WAS defined on a piece of paper after all

[spare quartz]

crap. okay

@flint belfry hi you here

[lavish dove]

Wait how would I be talking to you if I wasnt in the matrix

[lavish dove]

Average 80's programmer behavior

[full berry]

boy make an account

[lavish dove]

When I look up "matrix" it gives me the movie

Idk wtf ur talking about 😭

[spare quartz]

https://matrix.org/

he means this

[lavish dove]

Ohhh that

Did it change it's name or is there like 100 of those

[spare quartz]

man i have no idea how to write C#

[spare quartz]

no its always been like that

[lavish dove]

That looks pretty clean what's wrong lol

[spare quartz]

it doesnt look clean to me :<

especially the enums that i have to duplicate

ive only been writing C# for a day so..

[lavish dove]

Oh damn

matrix wont send me the verify email thing 😠

this matrix thing seems kinda shit

its decentralized but uess centralized servers 💀

anyways this matrix thing seems kinda cool

[proud creek]

Lo

[timid quartz]

Well the servers are decentralized

That’s kinda what it means

But it is still also kinda centralized because everyone uses matrix.org

@flint belfry 👁️

[flint belfry]

ok well

[timid quartz]

belelelelele

[flint belfry]

i was gonna comment that i think lucky meant matrix kinda relies on the matrix dot org domain in the tiniest ammount from what ive seen in homeserver.yaml conf but i could be wrong

[flint belfry]

not matrix i meant synapse

[timid quartz]

Other server implementations also default to trusting matrix.org

[flint belfry]

also can you inv me later im (still) trying to get federation working

[timid quartz]

just give me your handle and sure

[flint belfry]

kk when its ready (fuck you cloudflare)

[timid quartz]

just dont use cf

it's so simple

all the homies hate cf

[flint belfry]

ok well i want to hide my ip....

ben told me a solution though so im just

going to do what he has

[timid quartz]

me when I look behind cf and find your ip anyways

[flint belfry]

ok then what is it.

and whats being served at port 3678 👁️

[timid quartz]

uh what is your website

meemkade.com?

[flint belfry]

yes but meemkade.com is a seperate cf tunnel

to oracle

[timid quartz]

ok what's your website

[flint belfry]

everything subdomain related is my localnet

[flint belfry]

https://speedtest.meemkade.com

or anything else in my connections tab

[full berry]

bro cf is so ass

i dont think it's that big of a deal if someone knows your server ip 😭

[flint belfry]

insert me getting ddosed somehow like 3 times in the past

[full berry]

its good for ddos prevention but that's about it

[flint belfry]

my ip is secure now but like

im still paranoid

[full berry]

you can have ddos protection with proxy turned off can you not

[flint belfry]

well still hiding my ip is a nice thing to have either way

[full berry]

bleh

[timid quartz]

u do know that cf can decrypt https traffic right

you're literally consenting to be mitm'd

[full berry]

yk whats fucked with cloudflare

so

[flint belfry]

oh no a companys going to decrypt a page on my website thats literally just this https://meemkade.com

[full berry]

they dont have a special ip for everyone but rather ip for multiple people

so if a service using cf gets banned

on that ip and ur on it too

yeah

[timid quartz]

it's actually interesting how they do this it's called IP anycast

[flint belfry]

well yeah theres not exactly a solution to that

giving each user of cf their own ip would like

not be possible and at the least wouldnt be free anymore

[full berry]

they also have BYOIP (bring your own ip) in case you have your own for some reason

[flint belfry]

i dont even depend on cf that much

i rdp half the time to any localnet service

[full berry]

my face when cloudflare goes down and then half of the internet does too

[lavish dove]

yeah I realized that and made a new account on mozilla lol

[lavish dove]

guys what if we made a internet protocol where it was functionally impossible to ddos a server
fr fr

cloudflare stonks
internet w ⬆️

[timid quartz]

what's your handle lol

[lavish dove]

its on my profile

discord profile

whys it making me do terms and conditions now??

MatrixError: [403] To continue using this homeserver you must review and agree to our terms and conditions at https://mozilla.modular.im/_matrix/consent?

and the link doesnt work

it dissappeared

[full berry]

@lavish dove @pastel tinsel @proud creek
https://cdn.astrohweston.xyz/u/4a6b6901-34c4-49ed-aa1d-53a6651a4db9.png

[pastel tinsel]

what

why did you post that here

[full berry]

do not trust the dekker

[full berry]

it looked funny

lkike

ugh you made it unfunny

[pastel tinsel]

L

[lavish dove]

lmao

its so gltiched

[pastel tinsel]

What

It’s fine

[lavish dove]

I mean the matrix

[spare quartz]

kadeee,,

[spare quartz]

do you have 2 servers i can see which have DNS able to turn off

[flint belfry]

can you define what you mean by that

[spare quartz]

do you have 2 servers i can turn off the DNS resolver on

[flint belfry]

i mean

i can give you two ubuntu containers and just

remove the dns part from netplan

if thats what you want

[spare quartz]

they need to be two separate ips

[flint belfry]

public ip or local

[spare quartz]

public

[flint belfry]

um

[spare quartz]

i mean

okay.. if its just one ip you can give me

i can use that

[flint belfry]

i could like give you a nordvpn tunneled ubuntu contrainer but like

i only have 1 pub ip

asides from the oracle vms

[lavish dove]

whar

is that a syscall

[spare quartz]

need to write support for it

[spare quartz]

no

[lavish dove]

oof

[pastel tinsel]

ATP is going to explode your public ip

[spare quartz]

partially

it is a dns server so there'll probably be a lot of traffic

[pastel tinsel]

oh then yeah

It will explode

[lavish dove]

dns raaah

lets torrent every domain name

[spare quartz]

i need to figure out how to manage zone transfers and stuff to actually get files

also im running on port 1234 😭

[lavish dove]

1234 avg

[pastel tinsel]

lm ao

[lavish dove]

what if you redesign the internet instead

dns, ip, remake it all

[spare quartz]

say no more fam

honestly i saw that take (but seriously) on a fediverse post a bit back

i don't think people realize just quite how much of there is and why its that way

[lavish dove]

woa

[flint belfry]

what could atp possibly do

[spare quartz]

https://youtu.be/mOYZaiDZ7BM?list=LL

[lavish dove]

I remember the first time I saw that video

[flint belfry]

https://cdn.discordapp.com/attachments/1153582322789142528/1294817306945257472/uncaption.gif

[lavish dove]

every time i had heard it was those dance videos from elementary school

[flint belfry]

nvm you aint getting shi

[lavish dove]

I didnt know it was real

[spare quartz]

rude...

[flint belfry]

ok but seriously

why do you want a vm..

[spare quartz]

because the specification says i need two separate servers for redundancy

the other server can just be my computer

[flint belfry]

what specificiaton

[spare quartz]

dns...

The DNS requires that all zones be redundantly supported by more than
one name server.

[lavish dove]

no wa

just two right?

[spare quartz]

two or more

[pastel tinsel]

Get it reported

[spare quartz]

a lot of domain providers (incl cloudflare) provide 4

man ive never heard of these records before

oh cool

i didnt know dns could report that

[flint belfry]

ooo

so like that one time i accidently made google flag me as a botnet?

[pastel tinsel]

Yeah lmfao

[spare quartz]

google.com.<root>

[lavish dove]

imagine if real ones just give bogus

[spare quartz]

DNS servers have a special error code (5) which means Refused

[lavish dove]

oh shit I remember now on windows it had the operating system under the dns thing

[spare quartz]

so they can probably just deny the request

[lavish dove]

on my school computers

does it say refused is for when its denied it sounds like something special

goddamnit why is writing to a loop device freezing my whole fucking computer

[spare quartz]

when a request can't be done by DNS server policy, like disallowing a range of IPs

[lavish dove]

o

internet censorship raaah

[proud creek]

Womp

[spare quartz]

https://fixupx.com/luciascarlet/status/1845125606465208394/photo/1

[lavish dove]

GUYS OMG

My laptop has the bios beep

It can beep owo

My efi computer from 2012 doesn't even have a beeper but my laptop does

My laptop has the beeper

[lavish dove]

im gonna haved to do arch

cuz I broke my debian installation (took a while)

im actually surprised it lasted that long with how badly I was fucking with it

and it turns out the debian installer

wont let you install to a fuckin uhh

windows partitioned drive

so I guess its arch time

and it just got nvidia utils which ubuntu had but debian didnt??? I couldnt find any package with nvidia-utils for some reason and I needed it to setup my 2nd monitor because fucking bitchass nvidia

woah I just realized I rpoabbly couldve tried to turn on vga compatibility mode and gotten a unaccellerated second monitor without the shitty nvidia-utils thing

the ammount of questions im seeing in linux servers with "help setting up nvidia xx" "nvidia xx broken" and I dont see any amd ones

whats crazy is that my amd integrated graphics worked fucking flawlessly in debian

and i had to wait fuckin like 10 minutes for the nvidia drivers to install and all that shit

I think the only thing with amd was that I had to get mesa which was fully open source and is even a better implementation than windows. and it installed in fuckin seconds

aaa

amd is a fucking w

[timid quartz]

Just use windows

[timid quartz]

https://mastodon.me.uk/@CatherineFlick/113294299997512316

[proud creek]

Seems about right

[lavish dove]

w

llm things are just auto-complete tricked into auto-completing entire conversations

[lavish dove]

bruh now I want to make my own language

im switching projects too fast

[spare quartz]

ignore

guhghuguhguhgh

i lost my mp4 decoder

[lavish dove]

I wanted to watch it but I had 2 hours to see it and was too scared of the grass 😭

[spare quartz]

what

[lavish dove]

It happen on Thursday

[lavish dove]

The solar flare

There was a major one on Thursday

[spare quartz]

OHHH

yeah i read about the auroras that happened

[lavish dove]

My dumbass missed it 😭

[full berry]

SMALL

[flint belfry]

did you write this
your the type of person to make an entire fucking os

[lavish dove]

lmao

went from calculator to operating system

[lavish dove]

#1126483058187579513 message

[flint belfry]

WHICH IS WHY SHE DEF WROTE IT ! ! !

[lavish dove]

#general message

[spare quartz]

HAHAHAHAHHAHAHAHAHHAHAHA

MY UEFI PROGRAM IN ADA WORKKKKSSSSS

This is my first ever test of a bare metal program I wrote on real hardware

[flint belfry]

self torture

[spare quartz]

how

[spare quartz]

WAIT

kade!!

do you trust me with your uefi shell

[flint belfry]

no

not at all

[spare quartz]

aw cmon

its just a harmless 22 KB file

[flint belfry]

vm

[spare quartz]

🥺

[rapid siren]

python seems to fucking hate me

import math

sideA=0
sideB=0
sideC = 0

def solver(A,B):
C = (math.pow(A,2)) + (math.pow(B,2))
sideC = math.sqrt(C)
return sideC
SideA = float(input("Enter the length of side A: "))
SideA = float(input("Enter the length of side B: "))

print("sideC:",str(solver(sideA,sideB)))

no clue why that wont work

[spare quartz]

you set SideA twice and with the wrong capitalization

import math

sideA=0
sideB=0
sideC = 0

def solver(A,B):
    C = A ** 2 + B ** 2
    sideC = math.sqrt(C)
    return sideC
sideA = float(input("Enter the length of side A: "))
sideB = float(input("Enter the length of side B: "))

print("sideC:",str(solver(sideA,sideB))) 

[rapid siren]

thanks

[timid quartz]

uhm ackshually you forgot the two blank lines after the last line in the solver function 🤓☝️

[lavish dove]

ok now make bootloader

[spare quartz]

Rn I’ve run into a roadblock with how functions are executed

(they run indefinitely)

[lavish dove]

oof

[spare quartz]

error: PHDR segment not covered by LOAD segment

i really need to write my own linker script

[timid quartz]

linker script is arcane syntax

[spare quartz]

with the new commands a linker script isnt needed

HOWEVER

i am noticably lacking certain sections in my PE file

[lavish dove]

you didnt??

[spare quartz]

no becuase im quite stupid and copied gnuefis

its no longer needed now

[lavish dove]

why would gnuefi's work

lol

[spare quartz]

because gnuefis is for linking efi applications

of which this is

[lavish dove]

ya

hu

[steady seal]

Slowly learning how to use windows.h 😼 (there is probably an easier way of app development)

[ashen pollen]

Anyone else See GitHub Universe? They’re doing free virtual tickets, looks neat

[umbral monolith]

kms

who designs an API that makes absolutely everything a partial

when in reality it's present

i have to use non-null operators fucking everywhere for no good reason

[lavish dove]

naw windows.h is the best

I didnt like it at first but after a little bit I started loving the beauty of it

linux api even though its many things made by unrelated people and even sometimes not even for linux is still better tho

[proud creek]

oh god lmao

[umbral monolith]

my friend's horror

[proud creek]

i dont think thats how it works

😭

[steady seal]

Probably true, but wouldn't .NET be far more efficient?

[lavish dove]

.net is bloat as far as im concerned

doesnt even come built into windows man

and windows.h is just a library to windows syscalls, I cant imagine that being slower than .net

[steady seal]

Yeah, its certainly the fastest but I would assume that most companies would create their own framework to streamline the process

I don't imagine most of them using just C

[lavish dove]

and they do

well they would probably use something like sdl or glfw

idk

sdl and glfw have bindings to like every language

[steady seal]

we love glfw

[lavish dove]

glfw ends with win

[steady seal]

so true

I also love how C has such a simple print function

[lavish dove]

printf is so elegant its the best

its unsafe but who tf cares

I wish there were less safe languages and more unsafe langauges

[steady seal]

gotta write in x86 on kernel mode for the best experience

[lavish dove]

fr

if I had to teach someone programming I would start from assembly

"wahts a function?" oh it just runs call and ret for you

[steady seal]

I will always have to read the register cheat sheet

[lavish dove]

fr

I think I only have rax-rdx and rdi memorized 😭

[steady seal]

"which register should I use?" all of them ‼️

[lavish dove]

fr fr

[lavish dove]

well they get confused because the registers have labels

[steady seal]

and some of them are pointers

[lavish dove]

yeah

[lavish dove]

I meant like all the tutorials and books give the registers labels but dont say that you can actually use most of them for anything you like

[steady seal]

yeah, its always best practice

can't let them learn they have freedom

[steady seal]

next step is hot wiring a CPU

not sure how you would do that

[lavish dove]

rapid manufacture of magic smoke

[steady seal]

CPU turned into a smoke machine 😍

[lavish dove]

https://tenor.com/view/cpu-on-smoke-cpu-blasts-potato-pc-gif-24592403

[steady seal]

Someday, I will rewrite NT into Roblox 🫡

and we will have world peace

nothing better than having a whole ass virtual machine within Roblox

[lavish dove]

fr

atpstorages made a java vm in roblox

or made some progress idk if he finished

[steady seal]

ooh

[lavish dove]

all ive done was make a video player

[steady seal]

this might be controversial, but JavaScript and Lua have so much in common with syntax 🙏

[lavish dove]

fr??

[steady seal]

Sorta

especially when you add TypeScript

[lavish dove]

huh

[steady seal]

TypeScript adds type syntax to JavaScript; similarly to how Luau adds type syntax to Lua

[spare quartz]

the humble calling convention!

[spare quartz]

my JVMs have full instruction support

[lavish dove]

w

[spare quartz]

they’re just a bit iffy on the intrinsics, which leads to data corruption in big programs (not good)

[lavish dove]

oof

[lavish dove]

wait if java runs on instructions whats stopping someone from making a java cpu

[spare quartz]

We already did

picoJava

[lavish dove]

holy shit

[spare quartz]

also BTW

you don’ttttt wanna do that

[steady seal]

You're so right, I should make my own OS kernel for Roblox 💡(simulated obviously)

[spare quartz]

thats more reasonable

[ashen pollen]

Anyone got any good resources on how to make a website that doesn’t look like it was made in 1999, idk if there’s like some framework or library that your supposed to use.

My programming experience is python and C++ webstuff is way outside of my comfort zone but I figure it’d be good to know

[flint belfry]

on the topic how do i make a website that looks like it was made in 1999, i need what you dont want :D

[spare quartz]

both of you: just learn basic html and css

and have fun with it

[ashen pollen]

i have and this was the best i could do lmao

[spare quartz]

have you tried changing the font style

[ashen pollen]

i might play around with that

i figured there might be some library that makes it easier

[proud creek]

Change the button style with css, colors, format

[lavish dove]

no just learn how they do it

css

those frameworks and librarys are fuckin bloat 💀

[ashen pollen]

Ight, thanks for the info. I'll look into it later, ive come up with a much much more important project i need to figure out before doing any other programming project period.

[full berry]

omg YES i need this

[umbral monolith]

you could try learning tailwind

it has a really modern look but it's got a weird system to it

overall CSS libs are too generic or are too specific and it doesn't get you a style

if you learn CSS and design yourself then you can build your own brand

I've done it many times

like here https://discord.com/channels/346444423271415819/1277332104488943789

[ashen pollen]

Thanks, Doesnt need to be too crazy honestly, just want something i can throw random stuff like that tinkers calculator on, post info on myself and projects im working on. Really the only requirement is that im using HTML + CSS + JS For frontend and Python Django for backend.

[umbral monolith]

if you don't care about being generic bootstrap is a really popular library

it's very generic and mainly used for internal apps but it works great

[ashen pollen]

I'll look at tailwind and bootstrap

[umbral monolith]

bootstrap would be easier imo

[ashen pollen]

good to know, i've heard of it back when i first got into programming since the python course i did had us briefly look over it. but then i went towards more desktopy/ backend and ML stuff rather then web things

[snow oak]

I am returning to C#

[tidal wave]

🎉

Im currently learning C++ as a part of my college course

[umbral monolith]

C# my beloved

[umbral monolith]

C# is more like java than C++ but it does carry some C++ features

you can do manual memory management but you have to configure it to work that way

[spare quartz]

https://cdn.discordapp.com/attachments/405575827296878593/1297340784953266308/20241020_012800.mp4?ex=67163b02&is=6714e982&hm=2b456f56ed8d76a55785da8a9eccbecb1e23cdf1fca7168b1f677779bfa757fd&

not my video but shocking it works

[lavish dove]

thats cool

[spare quartz]

https://front-end.social/@mia/113334952629371626

does anyone know what this person means

[proud creek]

Probably like renting domains and how they expire I guess

And then old sites becoming unavailable

[spare quartz]

what do they expect to do

use the internet archive or something, the internet isn't gonna pay for your computing fees

[umbral monolith]

this is weird

like to me it looks like ```js
function getSomething(x) {
const { something } = await x;
return something;
}

because it is

awaiting a sole function parameter just looks off to me

because it technically is a promise

but

eugh

[umbral monolith]

also syntax sugar my friend did :3

[spare quartz]

this is very gay

[umbral monolith]

yeah

[spare quartz]

i'll steal it if you don't mind

for future coding...

[umbral monolith]

he prolly won't

i like it

its much better than his old system

[spare quartz]

wdym by this

[umbral monolith]

its not mine 😭

[spare quartz]

oh 💀

[spare quartz]

no way this is how i did it first too

except mine had a lot more optionals and i'd never use [1]

AAAAAAAAA

[umbral monolith]

🧌

[timid quartz]

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
type Dialog is record
   Response : Unbounded_String;
   PositionName : Unbounded_String;
end record;
type Dialog_Array is array (Natural) of Dialog;

there u go

in language you can understand

[spare quartz]

no way

aera actually writing ada code unironcially...

[timid quartz]

just speaking to you in your language

[spare quartz]

though thats invalid

[timid quartz]

no its not

[spare quartz]

it is

[timid quartz]

how

it compiles

[spare quartz]

well it's not invalid but it's... bad

Dialog_Array would have a size offff hold on

[timid quartz]

well what would you use

an access String?

[spare quartz]

hold on

[spare quartz]

im talking about the array (Natural) part

[timid quartz]

yowza

oh

[spare quartz]

that should be array (Natural range <>)

otherwise it'd be -2 billion to 2 billion

[timid quartz]

@umbral monolith "who thought making the epoch signed was a good idea" the guys who wanted to represent dates before Jan 1 1970 00:00

[spare quartz]

reinterpreting the epoch as a modular type and then setting the base to the max negative of the signed epoch 👻

if i ever make a file system i wanna make the base time unit a planck time

[lyric mesa]

are we programming

[timid quartz]

in Ada

[lyric mesa]

i love programming

[spare quartz]

INDOCTRINATION

[timid quartz]

programming

[lyric mesa]

whats that :(

[timid quartz]

a terrible arcane language from the 1980s

[spare quartz]

ITSNOT TERRIBLE

you like it.

[lyric mesa]

im sold can we use it for all qs operations moving forward

[timid quartz]

rust better

[spare quartz]

it IS certified to run in airplanes and military equipment so

certify it and it's safer!!

[timid quartz]

nope that's spark

[spare quartz]

ada 83 is literally used in fighter jets

[lyric mesa]

i need to make more rust stuff

ribbon my beloved

[spare quartz]

SPARK is no-error assured, doesn't mean ada is unsafe!

[spare quartz]

whats that

[lyric mesa]

it’s very innovative trust me
https://github.com/ribbonette/ribbon

[spare quartz]

oh i just received terrifying news

[spare quartz]

what does it do

(at a high level)

[lyric mesa]

currently it has a limited form of “verification”, instead called syncing

there’s a lot planned

[umbral monolith]

this is true,,,

[spare quartz]

@timid quartz

this means WAR

(writing my own http server)

[timid quartz]

lol

Lemme guess, in Ada?

[spare quartz]

duh

no other language can serve http...

[timid quartz]

Open me a port you won’t

[spare quartz]

sure i will when i have it

open

[lyric mesa]

do u like the dashboard
https://media.discordapp.net/attachments/1105062029087227914/1293438709026521108/image.png?ex=6717daeb&is=6716896b&hm=bbf5eeade629356059688b8de0377dd175ce7dc9a81756be765689f30fa41916&

[spare quartz]

remove the table/button styling for HTTP1 consistency 👍

[lyric mesa]

it’s so much better than mellow’s dashboard
https://media.discordapp.net/attachments/1105062029087227914/1242116522588246106/image.png?ex=6717b1a8&is=67166028&hm=23831f151243ac088baad3db898b413921ea13091f776b04ca4222b1836d121d&

only image i could find quickly 😭

[timid quartz]

@lyric mesa this is an example that made me think ada was kinda neat

with Ada.Text_IO; use Ada.Text_IO;

procedure Your_Mom is
   type Expr;
   type Expr_Acc is access Expr;
   type Expr_Type is (Addition, Subtraction, Value);
   type Expr (Kind : Expr_Type) is record
      case Kind is
         when Addition | Subtraction =>
            Left, Right : Expr_Acc;
         when Value =>
            Val : Integer;
      end case;
   end record;

   function Eval (Ex : Expr) return Integer is
   begin
      case Ex.Kind is
         when Addition => return Eval (Ex.Left.all) + Eval (Ex.Right.all);
         when Subtraction => return Eval (Ex.Left.all) - Eval (Ex.Right.all);
         when Value => return Ex.Val;
      end case;
   end Eval;

   E : Expr := (Addition, new Expr'(Value, 2), new Expr'(Value, 3));
begin
   Put_Line (Eval (E)'Image);
end Your_Mom;

access Expr is akin to &Expr and .all is akin to a dereference

[lyric mesa]

[spare quartz]

it Spreads

props to you for figuring out type Expr;

it took me months to figure out deferred types because i never had a reason to use them until i worked with the EFI 😭

[timid quartz]

it's literally in the learning thing 😭

[spare quartz]

I SKIP AROUND IT

i've never once sat and read a tutorial start to finish cause either i lose memory of it or i get bored

i have to actually write and refer to it until i have it imprinted

but uh

one thing i should say

you're overusing access types

[timid quartz]

in that example above?

[spare quartz]

yeah

if you're using it as a demo thats fine

[timid quartz]

well that was kinda adapted from the learning thing so...

[spare quartz]

they're generally things you should try to avoid though

[timid quartz]

well how would you implement that without access types then?

[spare quartz]

lemme open my adb file

am i allowed to modify how it works or should i keep the structure of the records

[timid quartz]

Uh as long as the functionality remains the same

being able to represent strings of arithmetic and evaluate them

so you should still be able to

E : Expr := --- ...

and in some way or another do

Eval (E);

@spare quartz im curious, can you modify types that aren't yours in Ada

for example, in Rust, you can impl a trait for any type, even ones that arent yours

trait MyTrait {
  fn my_fn();
}

// u32 is not my type
// (it's in the stdlib)
impl MyTrait for u32 {
  fn my_fn() {
    // ...
  }
}

[spare quartz]

depends

you can make a function that uses some other type but i'm not sure on all the limitations

[timid quartz]

I guess with Ada you don't program in that style that you do in Rust

so you can just make functions that do things with other objects

[timid quartz]

how is this coming along lol

[spare quartz]

cod

[spare quartz]

with Extensible_HTTP;
with Ada.Text_IO;

procedure Basic_Http_Server is
   type Expression_Type is (Addition, Subtraction);

   type Expression (Action : Expression_Type) is record
      A, B : Integer;
   end record;

   function Evaluate (Self : Expression) return Integer is
   begin
      case Self.Action is
         when Addition => return Self.A + Self.B;
         when Subtraction => return Self.A - Self.B;
      end case;
   end Evaluate;

   Add_2_And_3 : constant Expression := (Addition, 2, 3);
   Add_Last_Plus_5 : constant Expression := (Addition, Evaluate (Add_2_And_3), 5);
begin
   Ada.Text_IO.Put_Line (Add_Last_Plus_5.A'Image);
   Ada.Text_IO.Put_Line (Evaluate (Add_Last_Plus_5)'Image);
end Basic_Http_Server;

ignore the file name this is apart of that project

[timid quartz]

Ok so

Even though you can get around this by just writing the appropriate code

This misses the ability to nest Expressions

[spare quartz]

then you make a new type Treed_Expression that does it with accesses

[timid quartz]

Or yknow just make Expression itself use accesses :3

[spare quartz]

no!!!

5 * (5 - 3)

Evaluate ((Multiplication, 5, Evaluate ((Subtraction, 5, 3))))

so much better

because then you can just evaluate things like a tree

[timid quartz]

yeees

I will say that having Expr (Value, #) is a bit clunky though

[spare quartz]

oh thats vestigial

[timid quartz]

No no in my example

[spare quartz]

fixed

[spare quartz]

oh

[timid quartz]

What’s so bad about access types anyways

ooo scary pointers I’m just a wittle programmer I can’t handle pointing to a different memory location

[spare quartz]

because you can't just throw them at everything!!!

[proud creek]

ur vestigial

[spare quartz]

do you even know what that word means

[timid quartz]

C programmers on their way to throw them at everything:

[proud creek]

yea

[spare quartz]

yeah well their language is literally just numbers

[spare quartz]

then you know it makes no sense

go back to twitter

[proud creek]

it makes sense

[spare quartz]

❌

[proud creek]

✅

[timid quartz]

@spare quartz remind me what plain in <argument-name> does again

just read no write right

[spare quartz]

give me context

for like, a function?

[timid quartz]

function/parameter call

or rather signature

but

[spare quartz]

in is the default access state for a parameter

readonly

out - writeonly
in out - read/write

[timid quartz]

"Ada does not require that a subprogram declare every exception it can potentially raise." cringeeeeeeeeeeeeeeeeeee

[spare quartz]

nuh

[timid quartz]

yuh

package My_Bad_Package is
   My_Except : exception;

   -- Doc comment: Raises no exceptions :3
   procedure My_Bad_Procedure is
   begin
      -- ...
      raise My_Except with "Get trolled!";
   end My_Bad_Procedure;
end My_Bad_Package;

-- ...
with My_Bad_Package; use My_Bad_Package;
procedure Main is
begin
   -- Oh gee I hope it all goes fine
   My_Bad_Procedure;
   -- wuh oh! exception!
   -- can't do anything else cause I didn't
   -- know I'd have to handle an exception!
end Main;

@spare quartz

vs rust

[spare quartz]

well

maybe tell the library developer not to do that

[timid quartz]

enum MyExcept {
  // Define all possible exceptions here...
  SomeType(String),
}
fn my_potentially_bad_fn() -> Result<(), MyExcept> {
  // Potentially somewhere in the code
    return Err(MyExcept::SomeType("Messages can be added too!"));
  // Or on success
  return Ok(());
}

fn main() {
  let my_result = my_potentially_bad_fn();
  // Now I know exactly what could happen!
  match my_result {
    Ok(())   => println!("Yipee!"),
    Err(msg) => println!(format!("Wuh oh! Handled! {msg}")),
  }

  // .expect is .unwrap but with a message that gets printed
  // if the Result is an Err (or the Option is None if you use that)
  let my_result_too = my_potentially_bad_fn()
    .expect("I could choose to ignore that there could be an Err!");
}

@spare quartz ^

granted you could also end up with this

fn my_really_bad_fn() -> Result<(), MyExcept> {
  // Is actually malicious
  panic!("Get trolled noob!!");
}

but the solution to that is the same as Ada where you just ask the library developer to not do that

[spare quartz]

well

[timid quartz]

However Ada requires you to document the exceptions that could get thrown since the language doesn't force you to declare them in code, Rust doesn't require this kind of documentation since it's encoded in the semantics of the return type

[spare quartz]

declare
...
begin
...
exception
  when others =>
    null; -- exception discarded
end;

[timid quartz]

Still but

[spare quartz]

sounds like java honestly...

[timid quartz]

Ada does sound like Java yes

[spare quartz]

no

rust

[timid quartz]

Mmm well you have to encode Exceptions in Java

but not RuntimeExceptions

[spare quartz]

thats because you're not supposed to catch those

[timid quartz]

So a function could just throw a runtime exception

[spare quartz]

especially Errors

you're never supposed to catch either

[timid quartz]

But now you have to worry "oh is this library function gonna throw some exception that I don't know about"

So if you really wanna be safe you have to wrap every function and procedure call in an exception handler

And pray that the docs are honest

[spare quartz]

or you could just wrap what you're doing in it

[timid quartz]

But then you don't get granular error handling

Your 50-line long procedure could catch an exception somewhere and you get no information about where it is or why

[spare quartz]

you do

https://www.adaic.org/resources/add_content/standards/05rm/html/RM-11-4-1.html

[timid quartz]

but still this is also just subpar

it's much better at least to me to have the confidence that the Rust type system affords you

Like "oh this function returns a u32? it can't error then!"

[spare quartz]

well i SUPPOSE thats fair

[timid quartz]

I strongly dislike the try-catch style of exceptions

and really just exceptions in general

I will say this

procedure My_Proc is
begin
   -- ...
exception
   when Some_Type =>
     Do_Something;
   when others =>
     Cry;
end My_Proc;

is much better than introducing an entire new block

you can just tack it onto the end

rather than having to do a

begin
   begin
      -- ...
   exception
      -- ...
   end;
end Whatever;

glares at java

[spare quartz]

second begin should be declare but i understand

wait...

[timid quartz]

cope 'em and seethe (from the learn thing)

[spare quartz]

ughuguhguhughuguhguhug

beats you up

???

whatis this vsc error

[timid quartz]

undefined == true

[spare quartz]

i tried to prove your function earlier about the expr

[timid quartz]

if this was his actual code I'd believe it

[spare quartz]

and it just showed a blank error that said that

[timid quartz]

LOL

yeah I noticed the vsc ada thing is a bit buggy to say the least

gone back to using vim with no lsp...

[spare quartz]

GNAT studio time

[timid quartz]

emacs ada modes weren't really great either

ada-mode would complain about something missing every time I opened an ada file and ada-ts-mode always indented 3 spaces, regardless of if that should be the indentation or not

atp

I might have access to gnat pro through my college

[spare quartz]

-# what

-# send send send send sensd sendsn ens nedsns nesndnseds n

[timid quartz]

lemme check

no

no I don't

sadge

[spare quartz]

damn

[timid quartz]

how do I get the free gnat studio

[spare quartz]

https://github.com/AdaCore/gnatstudio

[timid quartz]

I HAVE TO BUILD IT

MYSELF

[spare quartz]

no

[timid quartz]

💀💀💀💀💀💀💀💀💀💀💀

[spare quartz]

look at releases

...

[timid quartz]

oh

[spare quartz]

stoopid

[timid quartz]

they don't have mac builds

[spare quartz]

build it yourss

[timid quartz]

NO my macbook will die

[spare quartz]

In May 2022, AdaCore announced the end of the GNAT Community release in favor of a cleaner and more familiar ecosystem for the Ada and SPARK programming languages, managed by the community: the Alire source-based package manager.

[timid quartz]

oppressive language!!!

[timid quartz]

wait so what

[timid quartz]

this is dead?

[spare quartz]

nnnooo

just the ready made ones on their site are

[timid quartz]

o i c

[spare quartz]

qdf in training???

arcane

[timid quartz]

French

well

nothing of value was lost

delay until what kind of black magic is this

[spare quartz]

waiting my favorite

[timid quartz]

no no but delay until says it will keep a regular interval whereas delay may drift

[spare quartz]

i know those are used in threads for stuff but i can't quite wrap my head on how to use them effectively yet

yeah they still wait though

[spare quartz]

for this

especially these

no clue

[timid quartz]

tasks in ada are strange

[spare quartz]

very

surprisingly well done for the time they were made in though

[snow oak]

@radiant slate insert your code here

[full berry]

@timid quartz
https://thehackernews.com/2024/10/mozilla-warns-of-active-exploitation-in.html

im kinda late but

[lavish dove]

Lmao I still haven't updated yet

[timid quartz]

with Ada.Text_IO; use Ada.Text_IO;
procedure Hello_World is
begin
   Put_Line ("Hello, world!");
end Hello_World;

DROP PROCEDURE IF EXISTS yeet_person;
DELIMITER //
CREATE PROCEDURE yeet_person(IN person_name VARCHAR(40))
BEGIN
    DELETE FROM people as p WHERE p.full_name = person_name;
END //
DELIMITER ;
CALL yeet_person('meownium');

@spare quartz I miss syntax highlighting man

[lavish dove]

lol

[timid quartz]

LOL where is this

[proud creek]

https://x.com/Patrosi73/status/1849455231496577354

PatRyk (@Patrosi73) on X

just found the most schizo TOS I've ever seen. what purpose does this even serve? getting less sales?

please IP ban the entire country of Poland next 🙏🙏

Twitter · Oct 24, 2024, 2:17 PM

[lavish dove]

lmao

[lavish dove]

aw man I tried to go to the website and im banned

[lavish dove]

also if I get banned for life, however I die and get revived, can I be unbanned because I served for life?

https://www.malibal.com/

[proud creek]

lololol

[lavish dove]

their least expensive laptop is 1.2k

thats for ddr4 8 gigs

and intel cpu :ew:

they should totally ban intel cpu's

[proud creek]

damn

[lavish dove]

asm meanwhile