#💽Programming Chat v2
1 messages · Page 25 of 1
false
show me your cad
i would show you my id but i lose it constantly
but quite literally my name IS miko
i don't know what a cad is
no proof you're not real
do you want my EDA?
eda?
dude im not a contractor, federal employee, or servicemember yet 😭
then become one simply??
its not that hard
and my dad's CAC would just say ...
... nevermind . i completely forgot what happened
anyways why don't you think i'm miko
:<
who what
aera whats astros name
❌
dude
(even worse)
i can do that
@full berry okay
eghres my cac
up there
ugh oh my god it's so weird searching up my name in the logs
it's all for a bot
because you're 50 years old
its been a year since i did it but when i try to do it it tells me i dont need to
lmfao
The size of the specification is the best indicator of how complex, convoluted and mediocre a language is.
i wonder how much time this would take to read
although some of it is just code
457171 words (RM)
so just after C#
neat
2023 ISO/IEC standard only has 1,048 pages but i can't check word count cause it costs $300-$500
weird how this is causing a GPF
oh i see
div requires second operand to be in a register (it's using a mod r/m)
how do i keep doing it
worlds worst counter
worlds worst memcpy... probably where im failing
finally
a number
need to reverse the string but
-1190084288
1129301216
yup these are good
procedure Image_Integer
(Value : Integer;
Value_Image : in out String;
Image_Length : out Natural)
is
begin
if Value = 0 then
Value_Image := " 0";
Image_Length := 2;
else
declare
Counter : Integer := abs Value;
Count : Integer := 1;
begin
loop
Count := Count + 1;
Value_Image (Count) := Character'Val (48 + (Counter rem 10));
Counter := Counter / 10;
exit when Counter = 0;
end loop;
declare
Final : String (1 .. Count);
begin
for Index in reverse 2 .. Count loop
Final (Index) :=
Value_Image (Count - Index + 2);
end loop;
Final (1) := (if Value < 0 then '-' else ' ');
Image_Length := Count;
Value_Image := Final;
end;
end;
end if;
end Image_Integer;
there's probably a better way to do this but i dunno it
Lmaoo
Honestly if Trump was to take a serious stance against memory safety
It’d be because the existing unsafe software “already works” and it’s a waste of funds to rewrite it
Plus, how else can he ensure China and Russia have access to our infrastructure
DISA would be unaffected
but civilian infrastructure??? have at it
they're already insecure as is
being able to write my own ada stdlib is a nice change of pace
Me when I find some part of your infrastructure written in C
well i'm saying DISA would be unaffected cause
the internet is beneath it
it's an intranet you can't hack into without having physical access
me when I find some part of your public infrastructure
completely separate, the only parts you would be able to "hack" remotely is NIPRNet
but that's separate from something like the webpage of https://cia.gov and is... unclassified
would be funny though
niprnet also hosts the military's "office emails" so
you could send something to everyone!!
hmmm
what about an octal mapping
s-imgint.adb:24:55: warning: wrong length for array of type of Mapping declared at line 24 [enabled by default]
s-imgint.adb:24:55: warning: Constraint_Error will be raised at run time [enabled by default]
damn
oh i see why
im stupid
oooo wait
i want binary
oh crap
im reading beyond the string limits but
that's cool
it's cool seeing GCC optimize the way the program is read as i write exports
two separate invocations of rem and / are merged into a __udivdi3 call
should note
i'm running this all under pragma Suppress (All_Checks) since i feel too lazy to add GNAT runtime checks
... and idk how i'd write them since ... that would require exceptions ... which are bad
should probably go into protected mode now that i have simple int logging
maybe make a shell
no makefile support :<
only 23 KB is pretty good
drops to 14 KB optimizing for size
mmmm makefile
i'm using a hybrid of both makefile/GPR rn
GPR handles the mass compilation of ada/potentially c for the RTS/src
makefile handles ASM and linking
makefile >
got down to 13 KB with linker flags
unfortunately can't do LTO because i386/nostdlib :<
-dynamic on a kernel 🧌
12,784 B for a simple kernel that just counts is pretty good i think
at least its not this
(the counter there was just reading 32 bytes beyond the string itself 😭)
no apparently ada itself describes how interrupts are handled its way
now unfortunately the "run-time library" is me in this case so i can't expedite my work
but the kernel code itself can stay separate the from RTL/RTS code so it won't clutter that up
wait kiwi browser is archived??? nooo
this is so sad
such a good android browser
chromium based browser
oh
but also more privacy focused
when I had an S9+ I used it as my primary browser
now on my pixel 8 I may use cromite
cause firefox 
what browser do you use @spare quartz
assuming chrome
i use firefox idot
chrome when im on a mac
the last time i used an android (my grandmas) it was just the default google one
i use chrome whenever i want to clear my history/test something without incurring diffs frrom firefox
(i never clear my history)
ughhh
i have this slight creeping feeling that i'll never like
be good at a real job since they're all collaborative and stuff
i have experience working collaboratively/teaching but my coding style is incredibly specific and i don't like being flexible with it
android is kinda cool ngl
what's a good way to learn rust
don't
for JS i just picked a project with a little bit of back knowledge and just did it and learned along the way
my first project was a discord bot
Simply just don’t learn rust
ATP will encourage you to learn ADA
unless you're forced to, learn a different language
Ada*
and i'm not saying use ada
i'm just saying theres better alternatives for most cases you're probably doing
you can read the book if you prefer just reading, or you can do rustlings/rust by example to get more hands-on
a bunch of other places also have tutorials, such as microsoft and other popular "learn to code" platforms
do n't :<
yeah div and mul are kinda weird
naw they're fine
problem stemmed from the fact i was in Real mode
so the unsigned longs i was passing got truncated
so when it came to read the CX register all it saw was 0
and that's bad
the way i look at it is knowledge is kinda useless if you can't do anything with it
so i think i'll stick with hands-on examples
wtf are rustlings
hands on tutorials
unless you meant it as rustaceans which are just "rust users"
TRUEST STATEMENT EVER
this is what i wish to make with my os
fr
if it was made by me yes
i have so many questions
?
i don't know where to start
you are thy question
ben draw furry art
❌
p-
finish your word
Plane Dragons
reported for nsfw
HOW
lmfao
im just pumping repos out
i wish i could open source some stuff :<

good question
that reminds me I do need to open source some of my stuff

I have been lazyyy
make all your repos public when you make them!!!!
let us see your code!!!!
we'll judge in a good way!!!!!!
i only have one private repo and it was made when i still coded in js
I have one from a while ago too lol
you do something outside of guardsman?? i didnt think that was possible
ci/cd ❤️
LI stuff yeah
I have wanted to open source things like my client timers
i meant the things you want to open source
oh
wait what
what client timers
in game the timers on the screens
I should too
all run on client
But I don’t wanna
to improve server preformance
Cause my code is not good
can you open source your server code to..

all code is bad ... just let us see it...
code is bad, god is dead
???
what
Blood is fuel
do you not know where that quote comes from
no lol
me neither what
oh
oh
makes sense
ew
you're skibidi
I have been like way too active today though
Exactly
got the gdsmn domain moved off my personal site
I have been the polar opposite
it was on your personal site??
isnt your site just a picture
I need to renew my domain 
sub domains bro
ew
Apparently I will get a year for free 
FUNNY STORY
my domain renews in like 5 months
Cause github edu
and heres how many days i used it for:
The goat
......... a day
fixing my network rn
@spare quartz https://mastodon.social/@nixCraft/113890897805272343
Javart?
this is ugly
I feel like you’re always doing that
my domain expired and cpuf couldnt pull data for like an hour
new vlans
auto renew:
this is also my domain
forgot to enable it
lol
also im broke lmao
Didn’t terrys domain expire for a while too lmao
thatsa lot .. ...
❌
yes..
$1 a month
i have $0...
I have enough in my bank...
rich furry
get a job
honestly i would use my domain more but
Hm how much is mine I forgot
dude i wish i could get a job
it's forbidden by law to go to high school and work at the same time
unless you're on holidays
your country sucks
Hm
bro what
?
I can do whatever in the US lol
you know you can get free .me domains with github student dev pack
yeah but i think it's better to focus only on school for rn
I can renew for one year
I have all A's so
i would work if i could to earn a bit of money but
And then get it through github edu again
your domain is weird
yeah the us schooling system is easy as fuck
It’s free
yeah but it looks weird
It can’t be that bad
like clipake sounds like an art program
because we choose our majors in high schools
How
chipflake
TRUE
Then give me a better name
like the direction we want to go in life essentially
i'm in electrical engineering for example, in the US you don't do anything when you transition from elementary to high school
Dawg
bruh?
eh
electives:
you can go to technical schools
and that
electives?
What about university
general education over a field
Courses you chose
And yeah they are specialized
we choose our course
in high school
then based on that we go to uni
like for example you won't finish high school for art
and then go into uni for CS
you can but it's just weird and not ideal lmao
what if you want to get multiple degrees though
like
you're saying that you choose the courses you want in hs
and that translates to your college/uni
if i finish high school i'm gonna get a diploma saying "xyz is a certified electrical engineer" which here even if i decide not to go to uni, it allows me to do so much and get paid a shit ton
Bruh why do you chose so early
but the actual degrees
Can you switch?
like bachelors and majors
wait wait
we do that in uni, like in the us
diploma or certification
yeah but you can't switch like after 2 or 3 years it makes no sense
certification ig
thats weird
Buh
diplomas you get them in uni/college
here certifications are optional things you get for a set of jobs
and you usually have to renew them for money/a test
separate from school
like getting certified CompTIA+ costs money but it looks great for a cybersec job
does your country have oil
a bit yes
brb
disregardable
lemme get in uniform
atp do not send me that oil plane again
WHAT
:3
🦅🦅🦅🇺🇸🇺🇸🇺🇸
?
no get oiut
LOL
OH YEAH
marrrow
did you guys see
did you see the uh
danish PM was at the EU parliament session thingy
and he spoke about like relations to the US
and he said
"Greenland is not for sale, so let me put it in the way you would understand it. Mr. Trump, fuck off."
yes i hear everything about my country 🇺🇸 with an orange retard at the podium
Lmao
yeah trump is fucking stuff up rn so I wouldn't be surprised that countries are talking about the US
this was in official capacity
I saw something like the Denmark people are concerned about trump actually going thought with the greenland thing
the leader of greenland said he would be open to talking trump though
nothing about selling
dude honestly
the dod could do the funniest thing rn (coup de tat)
😭
coup de tat 😭
crazy
I think half of the country would
i think im looking at too much twitter
there is a black spot on my vision
The x logo is engraving itself in your retina
this is the last thing i ever see
That is sure a mouse cursor
did you know... nya :3 mrrp mrrp mrewow merow -w- OwO
What.
what
yes
?
i clearly said i'm currently writing the package System.Img_Uns to add support for the 'Image aspect for modular types
Image unsigned
while true do
amazing
Computer crash
True…
nuh
Stop using out parameters
Functions have return types
Complex data structures exist
Parameters were never meant to be written to
This is real software written by real software engineers
counterpoint
A : Integer with Address => Your_Mom;
begin
A := 5;
looks weird
out parameters are good for the planets health
WHAT IS A SEGMENT
i get the instruction pointer bit but
i honestly do not know what a segment is
mytype_t *myfunc(const mytype_t *in_param) {
mytype_t *out = (mytype_t*)malloc(sizeof mytype_t);
// do null check
// modify data & copy unchanged data
return out;
}
what does that do i dont speak c
oh
it allocates mytype_t and sets it to something
with Address superior
Stop writing code and making chips!!! Sand was never meant to think
Computerphile is supported by Jane Street. Learn more about them (and exciting career opportunities) at: https://jane-st.co/computerphile
This video was filmed and edited by Sean Riley.
Computerphile is a sister project to Brady Haran's Numberphile. More at https://www.bradyharanblog.com
So, if you're going to use C, do what the rest of the C world does, which is set up a flat-memory model, use paging, and ignore the fact that segmentation even exists.
are programmers people?
Paging ❤️
I thought you said smth else
what is this
now running
counter
did you run it
Stop.
i finally got it to behave
also deleted all of my code once
since i forgot to update this
rm -rf /
/home/miko/ufedmi_k/ufedmi_rts/adainclude/system-low_level.adb:45: Error: operand size mismatch for mov' /home/miko/ufedmi_k/ufedmi_rts/adainclude/system-low_level.adb:46: Error: operand size mismatch for mov'
/home/miko/ufedmi_k/ufedmi_rts/adainclude/system-low_level.adb:47: Error: operand size mismatch for `cmp'
kms
No I read it
its just a kernel that does this rn
rn im adding protected mode to it + reading from the RTC
the A20 line is so goofy
But now my bootloader actually reads the elf now so
you have to do like 5 checks for it of which none are guaranteed to work
Bro most computers already have it on even in bios boot just check if it's on
That's very bad lol
Segmentation doesn't exist on 64 bit
It doesn't do anything
inb time
completely prepared for these to have a bug that corrupts the entire kernel
huh interesting
despite the GNAT checks being sent to null;
they still manage to get a GPF fired (which then leads into a DF cause i have no IVT)
im taking chances with the kill committees
i love ada
improving logging ... unsure how i'm gonna make this expansible rn
🧌
nice
writing actual commits
RTS is really growing
the amount of data the compiler makes is insane though
4 files (stdout, stderror, a[da]l[ibrary]i[nformation], c[ompiler]swi[tches]) per file
:dread:
kill
ORB
inb
whyyyyyyy
:haha:
for some reason printing Category makes an error so gotta fix that
weird
the sizes are okay yet somehow its reading past the end of the string
bit goofy but that works
Put_Line (Category
(Category'First .. Category'Size / Category'Component_Size));
uh oh
gotta implement my own malloc...
ld: ufedmi_rts/adainclude/../adalib/a-textio.o: in function `ada__text_io__begin_section':
a-textio.adb:(.text+0x65): undefined reference to `__gnat_malloc'
ld: ufedmi_rts/adainclude/../adalib/a-textio.o: in function `ada__text_io__end_section':
a-textio.adb:(.text+0xcb): undefined reference to `__gnat_malloc'
ld: ufedmi_rts/adainclude/../adalib/a-textio.o: in function `ada__text_io___elabb':
a-textio.adb:(.text+0x25d): undefined reference to `__gnat_malloc'
make: *** [Makefile:36: bin/main.elf] Error 1
NIGHTMARE repo
im the greatest programmer to ever live
so surprisingly no GPF
but i guess that makes sense since im the kernel
but it corrupted all my memory
vhdl 🤢
mmm
do i make malloc automatically "initialize" all the memory to 0
or let the caller do that
also sections
amber looks pretty nice too..
hi
HI
tickets is getting sunset
wow
@timid quartz so i went to go use virtualbox again to test my os and
i saw an ancient instance named "Playing with Rust" last launched on 04/2022
i forgot i tried something low level with rust then 😭
still using the old logo too
so true
I still cannot believe how people were straight-face telling me that C is simpler than Zig in an earlier conversation. And I haven't even whipped out C macros yet.
(The equivalent C code would print "wrong", see RT)
Quoting Dave W Plummer (@davepl1968)
If you know why x > y, you're a good C developer!
i don't understand this tweet
x being bigger than y IS simpler than whatever zig is doing because it's working on the effective binary structure of both
instead of casting y to an i32
1111111111110110 > 0000000000000101
bro what
ah yes good ol coercion
C coercing a signed int into an unsigned int and zig doing the opposite
C isn't coercing anything, it's just comparing the real representation of both
dude their codebase is so messy
in ada the compiler would just yell at you and doing an explicit conversion on x to u32 is illegal barring an Unchecked_Conversion
(so is y to i32 depending on the magnitude of it)
yeah just looked into it
nothing is like
"all in one"
welp time to make shield do this
40 repositories 😭
dude open their github it's like ~40 repositories to runt he whole thing
how many configs do you need
typical JS bot
they even say "it's good tech only runs on a few gb of ram"
my brother A FEW GB FOR A TICKET BOT??
😭
i explode even touching http stuff
you do yeah
whats kubernetes even
kill
i know it exists but idk what purpose it does or solves

active tickets are stored in memory 
what is it 😭
uh docker for docker
ew
god damn
why does PS/2 have so many controls
base spec for PS2
plus 62 more for keyboard
scan codse.......
Wait, this is missing java users hating java and cpp users hating cpp
so
a lot of mixed signals
VirtualBox/Bochs: hangs when reading CMOS, PS/2 POST reports fail (except on bochs)
VMWare: returns "trash" (misaligned) data from CMOS, PS/2 POST reports fail
QEMU: returns nothing from CMOS, PS/2 POST reports okay
Holy shit 😭
i dont understand
the last value on Stat shows the battery status of CMOS yet
it's just not theer in QEMU
got the date right now
even got the seconds right
just gotta correct the hour
nice
what... capctha is this..
okay now to imlpement delays for real
OK
delay works!
it can't do ms precision waits but it can still func tion
yeah im currently testing on a hybrid of both qemu and vmware rn
I ended up getting this working though, which was actually kinda cool
qemu respects PS/2 (while vmware doesn't)
vmware respects RTC (while qemu doesn't)
lol
oh, I didn't say what it was - getting macos to run on an intel minipc I had
yea it was kinda fun
it thought it was a 2017 iMac
with 0 mb ram
I ended up caving and just getting a mac mini once they went arm though
god my RTS keeps getting larger and larger
random thought but, wow mac minis are so good for their price now
600 bucks and will outcompete essentially every other minipc at that price point
I can't even hate anymore
whats this
whole lotta work
thats cool
did yall see the material theme drama that happened back in nov of 24
I only recently learned about it, absolutely hilarious
what was it about
the guy that made material theme force pushed the public repo to remove all previous commits, adding a new license (prior to that it was apache 2) written by himself that essentially makes the material theme proprietary and disallows all use without payment (is that even legal?)
then he proceeded to open like 20 github tickets for repo takedowns that were in "violation" of the new license and also submitted gh issues to a bunch of places
the gh issue thread on this zed material theme plugin was actually hilarious
i'm 99% sure you can't retroactively change your license like that
but what a dick move
LOL I thought so too
Hello, I'm gently let you know you'are violating Material Theme license. You are not allowed to republish the extension since the theme is not open-source and is a pay extension. https://gi...
his replies are actually hilarious
Fail.
Another Fail.
Failed again.
Failed.
@lyric mesa a wild read
fail 😭
port all of sh
yes ma'am
null; 
packages don't need a statement
but rn
ayyy
function Search return Root_System_Description_Pointer is
Address : System.Storage_Elements.Integer_Address := 16#00080000#;
Max_Address : System.Storage_Elements.Integer_Address := 16#00080400#;
Tried_BIOS : Boolean := False;
Pointer : Root_System_Description_Pointer;
use type System.Storage_Elements.Integer_Address;
begin
loop
declare
Check : String (1 .. 8) with Address =>
System.Storage_Elements.To_Address (Address);
begin
if Check = "RSD PTR " then
Ada.Text_IO.Put_Line ("Found PTR");
exit;
end if;
end;
Address := Address + 16;
if Address >= Max_Address then
exit when Tried_BIOS;
Tried_BIOS := True;
Address := 16#000E0000#;
Max_Address := 16#000FFFFF#;
end if;
end loop;
return Pointer;
end Search;
coooolll
vmware says
are you basically just writing your own kernel in ada
you just noticed?
anyways yeah and it makes me really happy working on it since
i'm not googling 99% of the time for kernel OR ada stuff
rn it has very rudimentary
rtc support, logging, scrolling, integers->numbers (incl negatives), PS/2 parsing, ACPI parsing, timed delays (based on RTC)
damn that's cool
i'm not able to take advantage of the safety part of ada yet (aside from the compile time checks)
but when i get into protected mode attaching a logger to GPF* is the first thing im doing
what is your resource for this
wdym
well ig for some stuff you can just google
like acpi spec
what about the ada rts though
oh i'm just using the osdev wiki for acpi/other x86 stuffs
gfg
as for rts, i kinda just had to guess until it worked with not much help aside from parts of the GNAT user guide
gfg
first gpr file i've ever written by hand
the osdev wiki DOES have an ada bare bones tutorial but
it's like a decade out of date and 1000x times harder than whatever i'm doing
whast happnened
idk
(at the core, the RTS is kinda just it's own little project, except that you have to use -gnatp for compilation and set Runtime in the parent project to it, it's nice being able to define the entire stdlib to my liking though)
just didn't go far
ah
this is like the 8th or so kernel i've made so
i understand 😭
this stuff is teeddiouss
mmmm
i should add bayachao music to my iso file and try playing it with the beeper
that would require interrupts though... (i've managed to not use a single BIOS interrupt at all so far)
i've made a lot of progress today wow
they're coming for you
require cpu interrupts****
the entire sequence rn up onto the Halt procedure call is running with interrupts + NMI disabled cause
if i so dare touch Enable_Interrupts the entire thing crasshes
set up proper interrupt handlers smh
idk howwwwwww :<
honestly just register one handler to all the interrupts
my entire low_level package is justt his rn (ignore A20_Line_Status that doesn't work)
it's just the segment part of the ivt idk what to do about
something something
procedure handler (...) with convention => C;
handler'Address -> segment:offset???
uh maybe
okay i got code to segment
hooooweeevrerrrr
my code appears to be beyond the addressable range of a segment..
Put_Line'Address is in here
ayyy
got it working by nudging the linker script
the does limit me to 480.5 KiB of space though
wdym
the actually good names on the commits 😭
well unlike intellij where i can just write wherever and commit however i like
i actually have to type out the git commands manually which lets me think
oh damn
also yo ucan use gdb with qemu
oh yeah ik i have -s set
w coder gameplay 😭
haven't found a need to yet, so i'm just doing everything on -Os with stripped symbols
yeah it was fuckin useless for debugging page faults
😭
and it doesnt stop when theres a fault or anything
-d int -no-reboot the goat
just noticed vmware/qemu use their own VGA BIOS fonts
i kinda wanna add one interrupt to dump it
Linker script is arcane
it was really simple actually
just had to change the number after the .
gordons a trained professional, he doesn't need to hear about all this
huh
how did i do that
No one who isn't already a seasoned developer with years of experience in several languages and environments should even be considering OS Dev yet. A decade of programming, including a few years of low-level coding in assembly language and/or a systems language such as C, is pretty much the minimum necessary to even understand the topic well enough to work in it.
i hhhatteee this
why do i fit this now
years have gone too fast 🙏
damn
new "language" idea
gotta write this
bro
I get everything except a few years of assembly language 💀
i think im going schizo
yeah i'm trying to make something like a java CLASS file
but as a writable (through tools) language instead of just IR
I think it would be way easier to just do your own thing doing that lol
instaed of using some weird other format thing
it's basically just platform-agnostic assembly
every language in existence
true...
every language in existence is also human readable which is NOT what i want
brainfuck
i'm trying to focus on the determinability of a program as well
e.g. you may not define things dynamically ever
woah
and there will always be ONE of something
stack forever
(ever, too, if you use a "50" somewhere in your code, there may only be one "50" in your entire project)
huh
i haven't written it down but basically
bro is making a language safer than rust
you have a base breadcrumb that defines 50 as a datatype
and then if you want to refer to it by a different identifer
you must sub-define that base 50, but not define it as it's own value
i know i'll need to figure something out later since not everything is determinable like this, but i'll probably have it done something like ada
a size must be resolved, then the object, so we can fit it all on a stack
woa
idk i have a lot of schizo ideas whenever im in the bathroom
this is one of them
im gonna steal this from the last programming lang i made
this too maybe
man i REALLY like making languages with assembly directives
how is it 12 am already
🙁
hmm
thinking...
each breadcrumb having their own stack/heap would probably be a bit too much
ill just write it in the broad definition
Yay
😭
@spare quartz 
(use ollama)
ghorrible
i think today im gonna finish off reading (but not parsing) acpi
acpi has this thing called AML which you need an interpreter for
what’s ur favorite ai model
wbu what’s ur favorite ai model
I will tune one to be bayachao