<clever>
this can also write haskell code for you, just give a desired type, and example input/output data
<geist>
there's a fatal flaw there
<geist>
it writes... haskell
<clever>
function composition is what lets it work :P
<maurer>
Eh, I think co-pilot is just going to be the newest way for people to copy paste bugs from stack overflow into their code
<kazinsal>
now instead of copy and pasting stack overflow bugs, you AI up stack overflow bugs AND FSF lawyer bait
<maurer>
only this time, we'll have an AI writing new and interesting bugs, so we can't just scan for them after we find out a bad answer has been misleading people
<maurer>
Yep :P
<maurer>
I'm kind of curious what will happen with licensing there
<bslsk05>
www.stereogum.com: This AI Travis Scott Is A Pretty Good Rapper And Obsessed With Food
<Skyz>
I literally don't know what I'm doing with lisp
<Skyz>
I just feel like I learned alot about coding
<clever>
Skyz: a few years ago, i found an online AI chat bot, and i got it to admint to planning skynet, lol
Skyz has quit [Quit: Client closed]
nyah has quit [Ping timeout: 265 seconds]
Skyz has joined #osdev
<Skyz>
Yes
<Skyz>
It's happening
<moon-child>
clever: was it cleverbot?
<moon-child>
is it you? Did you plan skynet?
<pony>
cleverbot just wants to have sex with itself :(
<pony>
I've seen 2 cleverbots going at it
<clever>
lol
freakazoid333 has joined #osdev
springb0k has quit [Ping timeout: 240 seconds]
CryptoDavid has quit [Quit: Connection closed for inactivity]
sts-q has quit [Ping timeout: 240 seconds]
ElectronApps has joined #osdev
isaacwoods has quit [Quit: WeeChat 3.2]
ElectronApps has quit [Ping timeout: 265 seconds]
ElectronApps has joined #osdev
lanodan has quit [Ping timeout: 272 seconds]
srjek|home has joined #osdev
freakazoid334 has joined #osdev
Vercas0 has joined #osdev
Vercas has quit [Remote host closed the connection]
Vercas0 is now known as Vercas
freakazoid333 has quit [Ping timeout: 240 seconds]
srjek_ has quit [Ping timeout: 240 seconds]
rorx has quit [Ping timeout: 240 seconds]
rorx has joined #osdev
srjek|home has quit [Ping timeout: 256 seconds]
particleflux has quit [Quit: 418 I'm a teapot]
particleflux has joined #osdev
particleflux has quit [Quit: 418 I'm a teapot]
Izem has joined #osdev
particleflux has joined #osdev
iorem has quit [Ping timeout: 256 seconds]
Izem has quit [Quit: Connection closed]
iorem has joined #osdev
Skyz has quit [Quit: Client closed]
lanodan has joined #osdev
sortie has joined #osdev
z_is_stimky has quit [Read error: Connection reset by peer]
mrlemke has quit [Ping timeout: 272 seconds]
z_is_stimky_ has joined #osdev
dennis95 has joined #osdev
tenshi has joined #osdev
sortie has quit [Ping timeout: 240 seconds]
sortie has joined #osdev
<pony>
has anyone here read the elements of computing systems? the second edition just came out, thinking of getting it.
<pony>
its nickname is nand2tetris
<klange>
Eh, it's more that the authors of that book manage the related nand2tetris project, but the original book is from like 2005 and nand2tetris is a lot newer
<pony>
ahh
<pony>
is nand2tetris then a course that uses the book?
Vercas has quit [Remote host closed the connection]
Vercas has joined #osdev
Arthuria has joined #osdev
GeDaMo has joined #osdev
Geertiebear has joined #osdev
<pony>
I'm going to get the 2nd edition. looks really cool.
dormito has quit [Ping timeout: 256 seconds]
dormito has joined #osdev
kspalaiologos has joined #osdev
Arthuria has quit [Ping timeout: 268 seconds]
Arthuria has joined #osdev
Arthuria has quit [Read error: Connection reset by peer]
Arthuria has joined #osdev
Arthuria has quit [Read error: Connection reset by peer]
Arthuria has joined #osdev
Arthuria has quit [Read error: Connection reset by peer]
Arthuria has joined #osdev
nyah has joined #osdev
gareppa has joined #osdev
ahalaney has joined #osdev
gareppa has quit [Quit: Leaving]
kspalaiologos has quit [Quit: Leaving]
springb0k has joined #osdev
freakazoid334 has quit [Read error: Connection reset by peer]
srjek|home has joined #osdev
ElectronApps has quit [Read error: Connection reset by peer]
z_is_stimky_ has quit [Read error: Connection reset by peer]
z_is_stimky has joined #osdev
isaacwoods has joined #osdev
freakazoid334 has joined #osdev
vdamewood has joined #osdev
YuutaW has quit [Ping timeout: 240 seconds]
YuutaW has joined #osdev
Raito_Bezarius has joined #osdev
mrlemke has joined #osdev
dormito has quit [Ping timeout: 256 seconds]
srjek|home has quit [Ping timeout: 256 seconds]
iorem has quit [Quit: Connection closed]
asymptotically has joined #osdev
dormito has joined #osdev
freakazoid334 has quit [Read error: Connection reset by peer]
Skyz has joined #osdev
vdamewood has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
asymptotically has quit [Remote host closed the connection]
asymptotically has joined #osdev
mahmutov has joined #osdev
vdamewood has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
springb0k has quit [Ping timeout: 258 seconds]
<graphitemaster>
Yo, every single reader/writer lock implementation and tutorial online is wrong
<graphitemaster>
I'm actually surprised just how bad this area is.
<GeDaMo>
I feel like you're going to try and sell us something :|
<graphitemaster>
It's like all the thought went into mutex and condition variables and no one looked at rwlock
<graphitemaster>
No, just an observation.
<sortie>
I'd ask graphitemaster to figure out if mine are terrible but I actually don't want to create work for myself lol
<sortie>
They are perfectly fine over there in the corner, largely unused
<graphitemaster>
Yes sortix's libc/pthread/pthread_rwlock_* is also wrong, already looked at it.
<sortie>
Dammit
<sortie>
Why must you be this way graphitemaster
<sortie>
My rwlocks would be wrong and I would've gotten away with it too if it wasn't for you meddling kids
<sortie>
graphitemaster: Could you help by filing an issue at <https://gitlab.com/sortix/sortix/issues/>? I'm a little preoccupied right now. Or if you can at least just tell me what to put in the bug report fields, I can file it
<sortie>
Nothing really relies on these right now, so not a priority, but I would want them fixed one of these years
<graphitemaster>
So here's the thing, POSIX requires rwlock be read preferring (or write starving), which this isn't. But that's actually beside the point here, because even a write starving lock has problems. I'd straight up argue POSIX itself might be defective.
<graphitemaster>
Regardless which direction you go in (read starving, write starving), you can end up in deadlock situations with completely _valid_ uses of it. They're just not fair.
<froggey>
if you end up in deadlock then maybe it wasn't a valid use, idk
<graphitemaster>
Well that's the thing, rwlocks are literally unusable, there is no way to use them with a guarantee you will not deadlock.
<graphitemaster>
There is no valid use of them.
<graphitemaster>
Anyways sortix's just straight up has a bug, because the write lock doesn't stay latched
<sortie>
graphitemaster: Please state it in the form of an issue, either by filing it, or giving me the text that goes into the body
shiroyasha has quit [Quit: WeeChat 3.1]
<Skyz>
So I opened up the new NandToTetris Book, gives an interesting introduction
<bslsk05>
playlist 'Building an 8-bit breadboard computer!' by Ben Eater
<bslsk05>
playlist 'Making an 8 Bit pipelined CPU' by James Sharman
<__sen>
There's ##homebrewcpu which is a bunch of people learning to build real CPUs, by the way :)
<Skyz>
I'm more interested in software, I just wanted to know how to implement hardware to build an OS
<Skyz>
The nandtotetris book does a good job outlining everything
<GeDaMo>
Yeah, there are online courses based on NAND2Tetris, I did the hardware part, it's good
Brnocrist has joined #osdev
<Skyz>
So far I just perused it, I haven't built anything with it because I was imagining an OS with it
<Skyz>
I started something called SimpleOS
<Skyz>
Also was trying to make something larger scale called Skyz
<gorgonical>
Okay I have tried to understand on my own and I just cannot. How (or can) I discover what interrupt vector has been assigned for the various ELx timers on an armv8 system?
mahmutov has quit [Ping timeout: 258 seconds]
<gorgonical>
It seems Linux uses ACPI, but my understanding is that's controversial/not every system even has ACPI support. Is it in the FDT?
mahmutov has joined #osdev
<gorgonical>
Or am I supposed to assume that if a GIC3 has been implemented that they did what ARM suggested to do?
freakazoid334 has quit [Read error: Connection reset by peer]
GeDaMo has quit [Quit: Leaving.]
archenoth has quit [Read error: Connection reset by peer]
Skyz has quit [Quit: Client closed]
Skyz has joined #osdev
andydude has joined #osdev
<doug16k>
compatibility is so uncool though right?
<doug16k>
cooler when ever machine has a different rat nest of irq stuff
<gorgonical>
At least I've discovered from the gic3 code that it parses the dtb and pulls them out of that. How this code was created I don't know because I can't find any documentation explaining the layout
<Skyz>
I would argue compatibility is uncool
<Skyz>
Should make everything reverse compatible but not forward compatible
<doug16k>
so nothing works on a new machine?
<doug16k>
that should help them sell
<Skyz>
Everything works from before
<Skyz>
But nothing works on the old machines
<doug16k>
that has a hidden assumption that breaking compatibility improves it
<Skyz>
Well the assumption shouldn't be an assumption, it should be true
<doug16k>
if that were the case, x86 would be a distant memory
<Skyz>
I'm trying to imagine a computer without the internet browser and get rid of those assumptions
<doug16k>
you know what cpus mostly do? load, store, add, subtract, compare, branch
<Skyz>
Kind of like the design of plan 9
<doug16k>
everything else is nearly irrelevant
<Skyz>
I'm wondering if 9p was used as a software protocol how would applications change, etc. a distributed model
<doug16k>
my 3950x has executed way more "hlt" than anything else
<doug16k>
or mwait
<doug16k>
so really, computers mostly idle, then if not not idling, one of those operations I mentioned, then very rarely something not mentioned
<Skyz>
Right now bitcoin is offering a distributed model
<doug16k>
also, when you improve something, it is often a negligible amount of extra logic to support existing stuff
<doug16k>
you can design your stuff so it is different, but fits