sick
#💽Programming Chat v2
rustic vine
wintry fable
I actually found a neat looking lang recently that effectively acts as a weird hybrid between scientific calculator and programming language
spare quartz
theres a ton of work put into types
spare quartz
I actually found a neat looking lang recently that effectively acts as a weird h...
what, R?
rustic vine
I have since switched to this from this, which I described earlier
also the former might make it into the C++29 spec!
wintry fable
Nubat also has a bunch of extensions, like getting the properties of various elements n such
rustic vine
looks cool
declarative syntax always pleasing to read
DSLs that read like natural language are awesome imo
wintry fable
Also I'm wondering if for gamedev I should go with SDL3 (my main one so far) or GLFW (lets me do things with OpenGL easier, since SDL3 is focusing on going with Vulkan)
rustic vine
use raylib 😅
spare quartz
use win32
wintry fable
I could go with Vulkan as well via SDL3's GPU library, but Vulkan is pretty hell
proud creek
Ehhh
rustic vine
It's not, notch made a terrible take
rustic vine
I don't agree with his take at all
flint belfry
also hi gmhs
wintry fable
use raylib 😅
I've tried Raylib and found it seemed to not get the best performance, which makes sense given it's likely doing a lot of bg stuff
proud creek
what do you mean ehh
Is a chef who uses pre peeled garlic or doesn’t grow their own crops still a chef
rustic vine
I've tried Raylib and found it seemed to not get the best performance, which mak...
oh really? I've only experimented with it, not done actual production
flint belfry
Is a chef who uses pre peeled garlic or doesn’t grow their own crops still a che...
thats completely different 😭
rustic vine
thats completely different 😭
It's not
proud creek
How
rustic vine
Notch's take is insane and wrong
wintry fable
Same, but just based on the testing I've done it didn't run all that great compared to other C libs
spare quartz
thats completely different 😭
programming isnt coupled to just game programming
rustic vine
Same, but just based on the testing I've done it didn't run all that great compa...
interesting, I've not noticed it, but admittedly, I've not done much with it
wintry fable
Also yeah saying someone isn't a programmer because they don't make their own engine is just dumb
flint belfry
programming isnt coupled to just game programming
im not talkinmg abut the actual post im talking about the chef comparison
smh
rustic vine
I would say glfw, but I've also not used sdl LOL, so maybe my opinion here is not very helpful
wintry fable
As kinda stated, Notch hasn't really made his own either
proud creek
im not talkinmg abut the actual post im talking about the chef comparison
It is the same thing
wintry fable
I would say glfw, but I've also not used sdl LOL, so maybe my opinion here is no...
SDL's what I used in the example thingy I posted
This one
rustic vine
oh cool
proud creek
Plus frozen pizza != a game engine
spare quartz
I would say glfw, but I've also not used sdl LOL, so maybe my opinion here is no...
i've used glfw and it's pretty okay
rustic vine
yea idk too much
spare quartz
but i wouldn't suggest either
rustic vine
i've used glfw and it's pretty okay
thats my opinion of it as well
proud creek
It would be more like pots and pans = game engine
wintry fable
The functions there are basically all straight identical to C, just imported over
SDL3 makes 2D stuff quite easy, drawing shapes and textures is very simple and well optimized
But for 3D I'll need to dive into one of the proper GPU apis, like Vulkan or OpenGL
Or DirectX but I no likely microshit
rustic vine
I had to parse and manipulate an HDF(5) file the other day
absolutely terrible experience
people need to get with the times
and stop using these ancient formats
spare quartz
if your language doesnt have an ffi for fortran its not gonna make it
i dunno what to tell you
wintry fable
Fortran is also part of a lot of compiler suites I believe
iirc both MSVC and GCC have fortran compilers that are actively maintained n such
wintry fable
Truue
rustic vine
its really sucky that theres so many cases of "the best" still being absolutely terrible
or maybe not absolutely terrible, but just not as good as it really could be
imo Eigen is one of those
wintry fable
I've not really looked much into C++, never really cared for the OOP stuff
I tended to just go right to C
spare quartz
good
rustic vine
🤷♂️
you definitely can write simple code in cpp
me when my simple C code actually invokes UB in 20 different places
wintry fable
I think Nelua strikes a nice balance, it's got Lua-style OOP (so no classes, but structs can have methods and metamethods to emulate them)
But not all the crazy class shit
wintry fable
me when my simple C code actually invokes UB in 20 different places
Not sure I've actually ran into UB so far, closest I came was using malloc when I should've used calloc
Oo uninitialized variables is one I ran into, tho just setting the variable to 0 did the job, Nelua actually does that automatically unless you specify otherwise
spare quartz
wintry fable
Huh, what language is that
spare quartz
lavish dove
I *could* go with Vulkan as well via SDL3's GPU library, but Vulkan is pretty he...
I'm pretty sure Vulkan is Nvidia being a piece of shit
Libdrm is easier than Vulkan lmao
Also sdl3_gpu will use directx on windows
It's also easier to literally make an entire Intel integrated graphics driver than use vulkan
So vulkan is just a piece of shit bloatware
Saying it's better when it's worse
lavish dove
Well obviously not an entire Intel driver but definitely mode setting and shit
lavish dove
Raaah tell them to report it to mingw then fuck off
spare quartz
no 😭
spare quartz
Bruh it's because there's a space in the folder
lavish dove
Oh dear lord
spare quartz
holy crap Exception_Information takes forever compared to Exception_Message
thats 20x slower than average
spare quartz
pastel tinsel
@timid quartz
proud creek
nix
spare quartz
Hey rust users I got a question
with Ada.Text_IO;
procedure Main is
type GUID is new String (1 .. 32)
with Dynamic_Predicate =>
(for all C of GUID => C in '0' .. '9' | 'a' .. 'f');
ID_1 : constant GUID := "030000004c050000cc09000011810000";
begin
Ada.Text_IO.Put_Line ("Reading from device " & String (ID_1) & "...");
end Main;
How would you be able to do this
spare quartz
C is a Spartan language, and so should your naming be. Unlike Modula-2 and Pascal programmers, C programmers do not use cute names like ThisVariableIsATemporaryCounter. A C programmer would call that variable tmp, which is much easier to write, and not the least more difficult to understand.
:<
Encoding the type of a function into the name (so-called Hungarian notation) is brain damaged - the compiler knows the types anyway and can check those, and it only confuses the programmer. No wonder MicroSoft makes buggy programs.
empty ginkgo
does anyone here have experience in handling audio in raw data
because i think i messed some settings up
pulled these audio files from an alarm system OTA firmware update, imported them into audacity with raw data (in my hex editor i saw no ID bytes) and default settings, and this came out (ear warning)
wintry fable
I'm pretty sure Vulkan is Nvidia being a piece of shit
NVidia is not behind Vulkan, Khronos (the devs of OpenGL) are
Nvidia still supports OpenGL, and OpenGL is generally easier to use, but SDL3's GPU library only supports Vulkan, D3D, and Metal, of which Vulkan is the only cross-platform option
Also the SDL3 GPU library is just as complex no matter what option I take, modern graphical pipelines are just really damn complex
timid quartz
Nvidia still supports OpenGL, and OpenGL is generally easier to use, but SDL3's ...
Huh didn't know OpenGL and Vulkan were made by the same people
wonder why they decided to start vulkan rather than making opengl better
feels like opengl is more supported and stable
timid quartz
does anyone here have experience in handling audio in raw data
not sure sorry
maybe @spare quartz?
empty ginkgo
not sure sorry
i was able to figure it out by the very techy strategy of trying all possible audio codecs
spare quartz
Huh didn't know OpenGL and Vulkan were made by the same people
Also the basis for vulkan was from AMD
empty ginkgo
it was 32-bit signed PCM iirc with 22 kHz sample rate and probably some other settings
timid quartz
Also the basis for vulkan was from AMD
still feels like opengl >
I've also heard vulkan has like
empty ginkgo
feels like opengl is more supported and stable
its dead and dying from what i've seen - too legacy
timid quartz
a FUCK ton of boilerplate
spare quartz
Vulkan is extremely discrete yes
This is an “improvement” over GL as it presents much more flexibility and opportunities for performance/design all over the pipeline
empty ginkgo
a FUCK ton of boilerplate
more boilerplate -> better, of course - people do still write code in java
spare quartz
But alas, much much much more to get a triangle on screen
timid quartz
more boilerplate -> better, of course - people do still write code in java
cough atp
empty ginkgo
*cough* atp
exactly
spare quartz
fym exactly 😭
lavish dove
NVidia is not behind Vulkan, Khronos (the devs of OpenGL) are
opengl wasnt made by khronos it was made by silicon graphics for their cards (first sentence on nvidias website!!!!)
it was so good it was adopted by a bunch of other cards (and windows/linux (mesa) wrote drivers for opengl)
then nvidia formed khronos, it brung a bunch of contributors but they sat there and looked pretty till they combusted and intel only helped fund the place
opencl also wasnt made by khronos
I cant find a list of teh contributors and where they were from but I remember them all being nvidia employees
see how convient it is that they removed all the employee names that were part of khronos? heh https://www.khronos.org/members/list#modal
they also just took a bunch of open stuff and said it was theirs, there wasnt any officiation to my knowledge
theres also a buch of other organizations from the same time period (like UEFI, HDMI), all had the same reputation of enshittification of open source standards
but because they are the authority you cant question them, they charge for membership; and its easy money and a easy path to monopolization
lavish dove
Huh didn't know OpenGL and Vulkan were made by the same people
no they werent waaaah 😭 https://developer.nvidia.com/opengl first sentence on nvidias own website!!!
lavish dove
Also the SDL3 GPU library is just as complex no matter what option I take, moder...
no its really simple lmao
its still just lots of copy pasting of the same things that just add latency and complexity... but atleast its more simple
the reason why im like this is because I keep seeing long time industry proffesionals dissing vulkan because it was obviously made to be complicated and specific to nvidia in order to prevent competition
I was researching and it seems like opencl was actually officiated to be part of khronos from apple so its cool
the khronos website says opencl 1.0 was made in 2016 and the apple website says 2009
timid quartz
the reason why im like this is because I keep seeing long time industry proffesi...
are you pro OpenGL or pro Vulkan
spare quartz
I’m pro Direct2D personally
timid quartz
directx
timid quartz
I'm pro writing to the VGA buffer directly
lavish dove
I'm pro writing to the VGA buffer directly
yes
im pro writing to vga with timings and shit lmao
spare quartz
im pro writing to vga with timings and shit lmao
the analog DVI users are gonna hear about this one
lavish dove
true
wintry fable
wonder why they decided to start vulkan rather than making opengl better
OpenGL is pretty stuck due to cross-compatibility with the really ancient versions, you can write the same OpenGL code and it should generally work on every machine that supports it, all the way back to like Windows 95 lmao
Vulkan is an attempt of theirs to make a proper modernized API that isn't tied down by those constraints
The issue is that it's extremely verbose and complex
Anyways I guess Raylib is far more performant than I remember, or maybe it just got better, either way I set up a Nelua environment for it and it seems to run pretty well
So for now I might stick with that for 3D
Until I want to go back to uh
Very nice and easy GPU operations
lavish dove
The issue is that it's extremely verbose and complex
Well it's like that because it gives "direct control" but it doesn't lol
lavish dove
Very nice and easy GPU operations
Sdl_gpu my beloved
Vulkan is verbose in the way that it gives you so many features and your forced to configure all of them
spare quartz
Checking .\classes\classes008_202\com\oracle\webservices\internal\api\databinding\Databinding$Builder.class ...
1: "SourceFile" 2
2: "SourceFile" 16
3:
[ 0, 32]
4: "SourceFile" 16
A:
[ 0, 32]
B:
[ 0]
FAIL. 820756826
--> 820756826
"SourceFile" ended too early. Length: 2
why though???
spare quartz
wintry fable
I've tried Rust, using the Bevy engine anyways, was interesting but the syntax felt a lil odd coming from C and Lua, and debug builds reach immense size without optimization
spare quartz
i've tried rust and dislike it simlpe as
wintry fable
Yeah that's basically me lol
Also the rust plugin I got tried to keep me using snake case and full words for everything which can be a lil funky, though now Godot's making me do that (well technically not but I prefer consistent syntax) so it's not the only lang that does that
I also tried Zig, using C interop with SDL3, was also neat but it also has some elements that I'm not too big about
Like having to always use returned values, even if it's just dumping them into _, and having to do annoying amounts of error checking
And, as can be seen, having to encapsulate the entire C imported module in a variable and prefix every call with that, so all the SDL functions and constants and shit have to be prefixed with c. since I called the module that
spare quartz
@timid quartz running strings on this old rust-made minecraft mod we found
theres shockingly lots of metadata in here
we know his projects source directory layout, what crates he used, his compiler/path, his C: name, and the fact that he's on windows
we're cracking this mod at this point
spare quartz
like, how pirated apps are made
we're pulling apart the native binaries/jvm code to get a better look at what they're doing since their code isn't open
spare quartz
yeah their code is more complex than that
they've got two bin files corresponding to archs, which apparently support windows/linux/macos meaning they're aggregates
codev is running ghidra on it right now
lavish dove
least epic reverse engineer project
I think I tried to reverse engineer the quest 2 pc protocol thing and gave up immediately
all I had to do was figure out what changed because they had just updated it lol
spare quartz
i'm deferring it for later, but we'd just need to modify their JVM loader code to get the actual parts needed
full berry
hey guys, i know this is a really long shot, but does anyone know of any good package that would handle logins with oauth2 flows? specifically session management and shit (essentially it's like User clicks a button on a webpage -> they get sent to the discord oauth2 flow -> after authorization they get directed back to the website -> the package handles the return code, fetches the user info and starts a new session on the server)
only request is that the sessions are handled on the server (NOT the client, jwt not allowed 🤢)
ive tried better-auth, their flow requires emails for oauth2
lucia i've been recomended too, but it's betting deprecated in a month or so
authjs is JWT based
oh and the framework im using is sveltekit
spare quartz
u2 local_variable_table_length;
{ u2 start_pc;
u2 length;
u2 name_index;
u2 descriptor_index;
u2 index;
} local_variable_table[local_variable_table_length];
i have not worked with web stuff in a hot minute so personally idk... if you're open to kotlin i would suggest ktor sessions
spare quartz
```
u2 local_variable_table_length;
{ u2 start_pc;
u2 length;
...
CLASS files are correct, so its definitely a misalignment in LVT/LVTT
hoping SE 9 doesn't introduce new trial issues
spare quartz
https://cdn.discordapp.com/attachments/937444160254906419/1327319236082794658/ja...
what mod is this
also yay me about to have 4 packages on the index
spare quartz
spare quartz
lavish dove
(oops, duped MENU on accidnet)
lmao
lavish dove
https://www.intel.com/content/www/us/en/docs/graphics-for-linux/developer-refere...
intel integrated graphics is just normal x86
lol
apparently simd isnt for x86 but for the x86 integrated graphics
proud creek
i feel like typescript should just be put with javascript
spare quartz
i cant run
dude who reviews the Alire index PRs is in a military university of spain :Sob:
mic everywhere
rustic vine
what mod is this
Not a mod yet, but is a project made by one of the create: aeronautics devs
Made by @eriksonn
timid quartz
<@195942662241648640> think you might find this interesting ^
I get to play with breabboarb this semester
spare quartz
Not a mod yet, but is a project made by one of the create: aeronautics devs
… creates… aeronautics…
I gotta forward this to codev rn
spare quartz
I get to play with breabboarb this semester
Lucky
rustic vine
I gotta forward this to codev rn
hm? whos that
spare quartz
the person I develop breadmod with (Chris from neco)
basically we’re just trying to do everything possible with a mod which includes something like aeronautics
rustic vine
the person I develop breadmod with (Chris from neco)
oh ye I see
rustic vine
basically we’re just trying to do everything possible with a mod which includes ...
cool
spare quartz
OHHHH
spare quartz
does anyone know what tpot is
Yeah that explains why he sounds so arrogant
Didn’t know they weren’t an adult
spare quartz
timid quartz
https://fixupx.com/stylewarning/status/1881222854001533309/photo/1
Haskellers and rustaceans are quite friendly with each other actually
Not surprising
spare quartz
i just find it funny since the organizations logo is a direct reference to haskell despite them rewriting it all in rust
also its gonna be -6 c tomorrow 😭
timid quartz
i just find it funny since the organizations logo is a direct reference to haske...
you should rewrite it in ada
timid quartz
mm fair
timid quartz
they make api stuff though so that feels like a lot ...
speaking of api stuff, what state is your http thing in
I noticed that ada has no discord bot lib
spare quartz
speaking of api stuff, what state is your http thing in
operational
timid quartz
operational
incl. tls?
spare quartz
rn it only supports server side requests though since i havent made a client yet
spare quartz
incl. tls?
no
timid quartz
ame
spare quartz
ill look into continuing tls after reading a JMOD file
because tls is wayyyyyy outside my domain
im not a mathematician
spare quartz
im compelled to by <my brain>
timid quartz
Outside of that idk what math would be involved
spare quartz
the HTTP library isnt dependent on GNAT.Sockets though
so you can use the ada binding to openssl and pass in that tls stream to get it working with tls
really simple actually
timid quartz
im compelled to by <my brain>
Well if you want anyone to ever use it you'll need to support at least one standard encryption scheme
Maybe using GNAT.Sockets is better for that reason
spare quartz
wdym
lavish dove
I dont use vim the simplicity and usability is too much, while I can explain the learning curve.
I only use proffesional tools like XCode
timid quartz
Just to have easier TLS
lavish dove
GNAT.Sockets doesnt provide TLS
timid quartz
so you can use the ada binding to openssl and pass in that tls stream to get it ...
Were you referencing your own thing here?
timid quartz
wolfssl
lavish dove
ada = rust??!?!?
spare quartz
GNAT.Sockets TCP socket -> openssl -> simple_http
timid quartz
ada = rust??!?!?
ada < rust
lavish dove
impossible
timid quartz
GNAT.Sockets TCP socket -> openssl -> simple_http
Oh ic
lavish dove
zig > fucking everything (I only hello world in zig)
spare quartz
yeah ok
timid quartz
zig is cool
timid quartz
Go try it smh
timid quartz
Oof Google link
timid quartz
Yeah what's this hmmm
spare quartz
anyways yeah AWS is the "complete" solution for modern HTTP
it does a LLLLLLLOTTT of things for you
timid quartz
How does one add it
timid quartz
Figured
spare quartz
ada >>
timid quartz
Rust >>
spare quartz
❌
timid quartz
No crates, AWS can't even compile on Windows
No memory management that isn't unsafe
spare quartz
i wanna write an RFC for ada/spark for a secure random generator
timid quartz
No explicit safeguards for unsafe
spare quartz
Discrete/Float randoms aren't specfiied to be cryptographically secure
spare quartz
No memory management that isn't unsafe
not true
lavish dove
stack fr fr
spare quartz
memory pools, controlled types, no accesses, or just use a gc
timid quartz
Or well very few that are just names like "unchecked" rather than actual things like unsafe blocks
spare quartz
No explicit safeguards for unsafe
and thats because there isn't really anything unsafe you can do without making it very explicit
timid quartz
memory pools, controlled types, no accesses, or just use a gc
Or just have smart compiler
spare quartz
everything will be designated with an Unchecked or use of System.Address (which is restrictable)
spare quartz
Or just have smart compiler
RAII 
timid quartz
and thats because there isn't really anything unsafe you can do without making i...
Same in rust but we have a whole thing called an unsafe block
spare quartz
yeah but we don't need that since we're explicit
timid quartz
RAII <:TrollHD:1209617018320457769>
Rust has this
spare quartz
ada does too
thats why i said it
im pretty sure we did it before C++
no wait
we did it before YOU, and just after C++
83/95 always tripping me up
timid quartz
yeah but we don't need that since we're explicit
Unchecked_Func != unsafe { unsafe_func(); }
spare quartz
how :3c
timid quartz
unsafe blocks are recognized by the compiler whereas your unchecked functions are just names
You could easily have an unsafe function that isn't labeled as such in ada
spare quartz
unchecked functions are recognized by our compiler as well
you can restrict them with pragma restrictions
theres another philosophy thing here
timid quartz
Your syntax is also overly verbose :3
spare quartz
okay well thats just ada
spare quartz
theres another philosophy thing here
"unsafe" operations in ada will almost never lead to undefined behavior (unless you intentionally do so by dicking about with addresses) due to runtime checks
in rust, the same applies, but its capped within a block
(that isnt to say UB doesn't exist)
oh
i didnt know that was possible
I think that's somewhat misleading. For one thing, if you're running under an operating system, with proper protections set up, erroneous execution will not erase your system disk. The point is that Ada doesn't ensure that, but the operating system does. Likewise, Ada doesn't prevent your keyboard from catching on fire, but we hope the computer manufacturer will.
spare quartz
'
lavish dove
Why can't x86 add swap instruction
Oh it does
Oh nice it's even capable of waiting in case another cpu is accessing it
wintry fable
I like it when a language allows a,b = b,a
Doesn't work in C, but does work in Nelua, I think it's compiled to C code using a temp variable, which then gets optimized out ig lol
The circle of life
full berry
oh hi gm
lavish dove
I like it when a language allows a,b = b,a
yeah thats pretty cool
spare quartz
spare quartz
why don't you relay yourself onto some grass
BARK BARK BARK BARK
timid quartz
wrong animal
timid quartz
you're basically writing java
kotlin gave you the freedom of not needing classes and yet
spare quartz
you can't do this without classes 😭
i find this neat though
i think kotlin is a giant improvement over this
timid quartz
i think kotlin is a giant improvement over this
mm that's beautiful
spare quartz
yeah okay crab
timid quartz
Java the way Sun intended it
spare quartz
this is NOT the way sun intended it
Java 7 was
ugh i hate youo
now i wanan write a language for jvms again .......
umm crap whats astros new name again
@full berry i think you might like this so fwding
timid quartz
now i wanan write a language for jvms again .......
call it Phosphate and make it have syntax even more verbose than Ada with the type system of Rust
spare quartz
that sounds like hell
honestly though
if there were a language with ada type/aspect system with rust's syntax
that would be dreamy
Moreover, society has got accustomed to the concept that computers keep on getting faster. This makes them applicable to more and more high volume but low quality applications.** But this cannot go on.**
i love the ada RM rationale
In recent years the cost of processors has fallen dramatically and for many applications it is now more sensible to use several individual processors rather than one high performance processor.
Moreover, society has got accustomed to the concept that computers keep on getting faster. This makes them applicable to more and more high volume but low quality applications. But this cannot go on. The finite value of the velocity of light means that increase in processor speed can only be achieved by using devices of ever smaller size. But here we run into problems concerning the nonzero size of Planck's constant. When devices get very small, quantum effects cause problems with reliability.
No doubt, in due course, genuine quantum processors will emerge based perhaps on attributes such as spin. But meanwhile, the current approach is to use multiprocessors to gain extra speed.
(full paragraph)
timid quartz
import system module Stdio;
import system module Strings;
declare function MyFunc nonreturning
declare parameters
A is Signed_32Bit_Integer;
B is Unbounded_String;
end parameters;
declare variables
Y is Unbounded_String;
end variables;
declare body
Y := Strings::Concatenate (B, A'ToString);
Stdio::PrintLine (Y);
end body;
end MyFunc;
@signin.aws.amazon.com
spare quartz
i think the full names can be shrunken down like how they are in ada
spare quartz
and the scheme is a little weird ('ToString looks a bit like C#)
but thats not THAT bad
timid quartz
actually instead of end, complete
timid quartz
i think the full names can be shrunken down like how they are in ada
The import system module can have the form (import/export) (local/external/system) (file/module/package)
timid quartz
You're going to say this is good syntax
spare quartz
local/external/system is actually not that bad of an idea?
could be very useful for networked oses
(file/module/package) just looks like a rip from CLASS notes though
timid quartz
It's actually not
spare quartz
what is its implication
timid quartz
I just thought of it
spare quartz
oh
timid quartz
what is its implication
You can import either a specific file, a subset of a package (a module), or an entire package
spare quartz
ah
timid quartz
It's maybe kinda like the import whatever.* syntax in Java
spare quartz
in java terms it goes
Module
Package
CLASS
fields/methods
ic ic
spare quartz
"Modules" aren't really referencable by imports iirc, just access control logic
timid quartz
like you could do import system package Standard_Library to import the whole thing
spare quartz
if theres one thing about importing in ada that i think could be improved its the uh
private with or limited with syntax
they're just a bit confusing to me
use type x; is pretty good though
timid quartz
You can come to Rust :3
spare quartz
HELL NAW
timid quartz
It's either pub or it's not
spare quartz
well in ada its the same thing
it's just theres an extra layer to it all since the separation of specification and body exists
limited with iirc allows for limited circular references, private with allows you to see specification/body private members (where applicable)
use type lets you use the operators of a type without having to do A."+"(B, C)
timid quartz
Private specification, public body 
spare quartz
not scientifically possible :X:
a body is always private
you COULD just have a spec thats completely within a private block but
thats just a worse body, at that point, just write the body
timid quartz
Me when I define every body in the .h file in C
spare quartz
terrible
timid quartz
LTO be damned
spare quartz
oh yeah
i need to start tagging my stuff Preelaborate or Pure
apparently they're quite important to some (Pure means a unit cannot have sideeffects, Preelaborate means a unit cannot run anything hidden to a user)
timid quartz
apparently they're quite important to some (Pure means a unit cannot have sideef...
Eh who cares if like 1 person thinks it's important
This is Ada not Haskell
spare quartz
i dunno apparently were kinda functional
what.
thats cool
i didn't know we had language level support to just
direct what affinity a task has
umbral monolith
spare quartz
RAT ⚠️
spare quartz
GOD i am so good at coding
override fun drainDecimal(
count: BigDecimal,
simulate: Boolean,
additional: MutableList<Any>
): Pair<BigDecimal, List<Any>> {
var actualCount = count
for (unitIndex in this.units.indices) {
val unit = this.units[unitIndex]
if (unit.maxOut == BigDecimal.ZERO) continue
val toDrain = this.extractAction(actualCount, simulate, unitIndex, additional) ?: actualCount
if (toDrain == BigDecimal.ZERO) continue
val drained = unit.drainDecimal(
unit.maxOut?.min(toDrain) ?: toDrain,
simulate,
additional
).first
actualCount -= drained
if (actualCount == BigDecimal.ZERO) break
}
return count - actualCount to additional
}
base drain
private var subExtractAction: ListenerHandler = { _, _, _, _ -> null }
override var extractAction: ListenerHandler
get() = { c, s, u, a ->
var fluid = a.getOrNull(0) as? Fluid
val unit = this.units[u]
if (fluid == null) {
a.add(0, unit.fluid)
this.subExtractAction(c, s, u, a)
} else {
if (fluid == unit.fluid) this.subExtractAction(c, s, u, a)
else BigDecimal.ZERO
}
}
set(value) {
this.subExtractAction = value
}
fluid extension
works perfectly
lavish dove
```kt
private var subExtractAction: ListenerHandler = { _, _, _, _ -> null }
...
woah its beautiful
full berry
<@456226577798135808> i think you might like this so fwding
:3 :3
spare quartz
spare quartz
https://cdn.astrohweston.xyz/u/7873540f-4779-4431-98fb-334d8bc197c6.png
yeah windows has a lot of catastrophic failures
full berry
windows is a catastrophic failure
full berry
the shorthand of my hand
spare quartz
says the guy who can't even code in a real language
full berry
IS TYPESCRIPT NOT REAL
spare quartz
yes 😭
spare quartz
none of your code is refined
full berry
what is r language
spare quartz
this code is BEAUTIFUL
full berry
why does my teacher have it
full berry
HAWK
spare quartz
what is r language
language for statistical computing
spare quartz
statistics is a branch of math
spare quartz
and why do you know this 😭
because i misspelled roblox once
full berry
with... r?
spare quartz
HAWK
are you okway 🤨
OH YEAH
i frogto to say
but we're ditching physx
(it's too unstable)
we're making our own physics engine : 3
full berry
spare quartz
this will fit in line with our projects using bigdecimal because
unlike (every mod in existence)
our machines can have infinite precision!!!!
lavish dove
but we're ditching physx
(use opencl instead to flex over nvidia that cuda is shit)
lavish dove
(get hired by oracle then add gpu compute (but call it coproccessor so nvidia doesnt pay you to only allow cuda) into java)
lavish dove
why are rfc's so like
like that
they are difficult to read
supposed to be requesting for comment not requesting for brain cells
theyre not hard to read but they are up there
nvm they are easy to read
I think i've been listening to miku sing dixie land for too long
lyric mesa
no way,,,
lavish dove
Woah
wintry fable
minecraaaft
The Fabric API really seems quite nice compared to Forge
Especially old 1.7.10 Forge, which is what I've been working with
full berry
what are macros exactly
spare quartz
The Fabric API really seems quite nice compared to Forge
In my experience the fabric api is much worse (in terms of lacking features)
But breadmod is an incredibly diverse project so no mod loader sufficiently encapsulates all of our goals
timid quartz
But breadmod is an incredibly diverse project so no mod loader sufficiently enca...
Make new loader called Loaf Pan
Or Oven
spare quartz
WE WENT OVER THIS ALREADDDYYYY
timid quartz
MAKE IT
spare quartz
if we were to it’d be called breadloader (provisional name)
timid quartz
YOU KNOW YOU WANT TO
spare quartz
we’re working on a physics engine rn
timid quartz
you must make your own loader you must do it all yourself you must do it you must do it you must do it
spare quartz
called Breadsticks (Breadphyx, Bread Physx, Bread Physics)
timid quartz
- Make BreadMod and physics engine
- Make Breadloader (still think Oven or Loaf Pan is better)
- Make BreadVM (better name tbd) and run all of MC on it
timid quartz
So then just do #2 as well
spare quartz
Okay but you have to draw a furry if I am to do #2
timid quartz
Joke’s on you I can’t draw
timid quartz
I just can’t draw
spare quartz
Sighhhh
timid quartz
Find something else
timid quartz
Make the mod loader :3
mmmm should probably game less code more
but game so fun and coding so...ugh
spare quartz
how about coding a game
spare quartz
: <
timid quartz
it's all discord bot and API and it's drudgery
timid quartz
timid quartz
telegram 👎
spare quartz
Nya 👎🏻
timid quartz
signal better
proud creek
telegram 👎
i agree
lavish dove
this is going tO FUCKING MAKE ME CRASH OUT
if that furry was real I would stare it dead in the eyes and rebel against this tyranny and harmony of the gay
and ofc her name is Ellie
spare quartz
lavish dove
lmao
we becoming insecure with this one
bro should open his terminal without admin and try to cd into another user's directory lmao
spare quartz
bro only codes in UNIX single user mode 🙏
lavish dove
bro I cant evne look at my guest account without using su I cant even use sudo becausee it checks for permmission every step of the way
full berry
is that the chess guy
spare quartz
is that the chess guy
gothamchess yes
a stupid dancing kitsune thing is enough to entertain me for days
spare quartz
BLEHHGHGHghghgh curseforge
at least that console is colored unlike a certain launcher
full berry
you seem like the type of guy who would build everything from source
spare quartz
no i just hate curseforge cause they're not that great of a co
full berry
co?
spare quartz
company
spare quartz
also i'd suggest using prismmc over them but if you're already set up thats a hassle
full berry
also i'd suggest using prismmc over them but if you're already set up thats a ha...
eh don't play mc enough to bother lmao
maybe if i start again i might
i just wanna play SF5
spare quartz
are they owned by twitch or something
spare quartz
i should keep modding
i need to supersede neoforges "scanner"
we already superseded their logger
just look how pretty they are. ...
(ignore the GPG popup our mod uses GPG signing for some things)
full berry
(ignore the GPG popup our mod uses GPG signing for some things)
what things
spare quartz
there's an encrypted image of omaneko
also player certificate signing for ||starting HTTP servers in game|| but thats clasifeied
timid quartz
just look how pretty they are. ...
Windows
timid quartz
Good
timid quartz
応 コンコンコン！
大願成就 コンコン！
秋風の おくり物
稲穂立つ田園は 黄金の季節
目をこらせ かくれんぼ
ぴょこぴょこ 黒いお耳
stop singing bayachao
spare quartz
IT FINALLY WORKS
uuuuuuggggh
i honestly got one of the worst headaches while writing this
timid quartz
https://fixupx.com/mitsuhiko/status/1882737039017447481
Yeah this is true
Kinda turning into JS
spare quartz
I feel like that’s inevitable with the sheer ecosystem you have
http server in std lib 😭
we don’t even have specification mandated SOCKET support yet this guy wants an entire ass server
timid quartz
http server in std lib 😭
Bro needs to go use Go or Zig
Rust chose to have its stdlib not have stuff like an http server in it
spare quartz
I thought something like Ada’s stdlib was packed already
But this guy wants NJS
use your debugger correctly!!!!!
we have logpoints and conditional breakpoints!
printlns are faster in the short term but they suck at introspection
timid quartz
debuggers ❤️
spare quartz
Mmmm
I feel like drawing
But I’m also tired
NOOOO
DO NOT PRINTLN DEBUG WITH THREADING
(in ada doing that causes your output to completely mix up 😭)
spare quartz
I mean if you have proper synchronization
Yeah but by default Text_IO is not protected
if you print a large thing like an exception log along with another task printing small stuff
the exception log will get clobbered with the small output
Maybe smth like Log4J does mutexing
spare quartz
ughhh bored
Draw ;3
timid quartz
無理
rustic vine
Don’t make me pull up Jisho in bed
Bed? Its noon!
spare quartz
Yeah I’m not exactly constrained by “work hours” or “school hours”
rustic vine
Don't you have school?
spare quartz
I’ve adjusted the parameters to where I no longer need to do it on a timely fashion
;; I’m very good at deferring
rustic vine
I’ve adjusted the parameters to where I no longer need to do it on a timely fash...
The... parameters?
spare quartz
And given the occurrence of a recent affair that isn’t changing anytime soon
spare quartz
The... parameters?
(I do not have to attend to a school in person, nor online)
I just do stuff when I feel like it and it counts as education
spare quartz
It is
I still eventually have to do things though
Since I only have like, 600 days before I’m forced to
spare quartz
yeah I’m enlisted by then 😭
rustic vine
yeah I’m enlisted by then 😭
Oh what
spare quartz
I still feel like it’s 2020 so that feels like a day
rustic vine
Enlisted?
spare quartz
or warranted (hopefully)
rustic vine
What does that actually mean
spare quartz
like, becoming a service member of the us army
rustic vine
Like for you
spare quartz
oh well
rustic vine
Oh ok
spare quartz
I’m kidding I’m not being an infantryman
I’m enlisting in order to pursue piloting because it just seems like a cool thing to do
rustic vine
I’m enlisting in order to pursue piloting because it just seems like a cool thin...
Oh that's cool
spare quartz
I’ve been planning it for over 6 years now so yeah 😭
rustic vine
Oh I see
I guess my question is then like, why is now the time you've planned to enlist
spare quartz
🍋🟩
rustic vine
Anything in particular or just happened to be so
spare quartz
I guess my question is then like, why is now the time you've planned to enlist
wdym by “now”
rustic vine
Well I guess not "now" but why have you decided when you are going to enlist is when you are going to enlist
Like in 600 days
spare quartz
600 yeah
but that’s when I become 18 and have hopefully something to my name aside from … 5 robux
rustic vine
Oh alright I see, they won't let you for under 18?
spare quartz
and enlistment is an “easy” way to do some stuff for cheaper (even though being a pilot gives you a contract of 10 years!!!)
spare quartz
Oh alright I see, they won't let you for under 18?
You can join under the delayed entry program at 17 iirc
But that’s not the first thing I’d like to do
rustic vine
but that’s when I become 18 and have hopefully something to my name aside from …...
I'm a little past that and I don't even got the 5 robux 😭
rustic vine
I'm in college yea
spare quartz
good enough 👍
rustic vine
😅
rustic vine
But that’s not the first thing I’d like to do
Whats first?
spare quartz
I’m hoping to MAYBE get a cert and do some freelance/contract work before enlisting but
spare quartz
Whats first?
apply for high school to flight school first
if I get accepted (even though the rate is like, 3%), a lot of my work is done for me
otherwise look into maybe getting a degree before/enlisting immediately
rustic vine
Is that like a program or?
spare quartz
where I’ll then pursue a way into getting into WOCS
spare quartz
Is that like a program or?
yes
if you’re accepted and pass you immediately get a job as a 153A (helicopter pilot)
rustic vine
Pass as in just a test or? Oh, program, so I assume some sort of schooling?
spare quartz
(well, not immediately, training and all, but…)
spare quartz
Pass as in just a test or? Oh, program, so I assume some sort of schooling?
there’s basic training, WOCS (warrant officer candidacy school), SIFT (something instrumentation flight test iirc)
then training on a simulator
then training on a real plane
then getting assigned to a plane
spare quartz
depends on if you mean from the program or from enlistment
rustic vine
Not the same?
spare quartz
the program lets you expedite steps
rustic vine
Ohhh
spare quartz
I’d say 2-3 years from it
enlistment… 4-5+ years
I’d probably just be doing cyber on the latter while waiting to get recommendations
rustic vine
I’d say 2-3 years from it
Oh so actually pretty fast!
spare quartz
being a pilot requires at least a Secret and cyber would probably give me a TS/SCI
spare quartz
Oh so actually pretty fast!
yeah
when I put it like “2 years” it sounds a lot longer than “600 days” even though it’s only a little more
Maybe I’m just really dissonant with time
rustic vine
2 years is a lot less than what I was expecting
And it goes by fast if you're having fun
spare quartz
Just gotta
Not do a thug shaker central
Even though I know a little too much about mil Intel because I was practically born into this all 😭
Ugghhh why is bayachao so good
rustic vine
Not do a thug shaker central
LOL
rustic vine
Ugghhh why is bayachao so good
Whats that?
spare quartz
the japanese singer I’m addicted to (aerasto knows more)
rn I just have this on loop https://youtu.be/wBo_-GPXDcQ?si=Y6UFlCPX3TeOeHyh
timid quartz
I’m enlisting in order to pursue piloting because it just seems like a cool thin...
so....get out of the house and maybe get shot and crash
rustic vine
at least with a helicopter you’re not GUARANTEED to die if you’re shot
isn't a plane with wings better? you can glide or something? idk I ain't a pilot
spare quartz
helicopters have this thing called autorotation
rustic vine
the japanese singer I’m addicted to (aerasto knows more)
oh huh, idk any japanese
spare quartz
basically if you’re high up enough the rotor can spin fast enough without the motor actually being on
letting you land safely
rustic vine
I wasn't allowed to visit japan until I was 18 (and haven't yet) so I don't really know much about the country
rustic vine
basically if you’re high up enough the rotor can spin fast enough without the mo...
oh like spinning wings
wait thats goated
timid quartz
helicopters have this thing called autorotation
me when I explode the rotor and all the blades so it can't autorotate
spare quartz
the Russians made a helicopter that did that
It’s the only one to have an ejection seat iirc
timid quartz
have fun with the guided rpg flying straight towards your propellor
rustic vine
It’s the only one to have an ejection seat iirc
do you get ejected into the blades???
spare quartz
Modern helis have ECMs and can vaporize people with 20mm 😭
spare quartz
do you get ejected into the blades???
The rotor is detonated before ejection on that specific helicopter
timid quartz
Modern helis have ECMs and can vaporize people with 20mm 😭
- I emp your heli
- I fire the guided rpg
- Rotor go boom
rustic vine
The rotor is detonated before ejection on that specific helicopter
oh, sounds like you don't wanna use that unless your rotor is broken anyway
spare quartz
1. I emp your heli
2. I fire the guided rpg
3. Rotor go boom
- I don’t think you know what shielding is nor what an ECM is
- All my helicopters are coded in Ada and would destroy your warhead made in Rust
spare quartz
oh, sounds like you don't wanna use that unless your rotor is broken anyway
Well you wouldn’t want to eject on a fighter plane either
timid quartz
1. I don’t think you know what shielding is nor what an ECM is
2. All my helicop...
I just make the emp bigger
rustic vine
- I put surge protectors on my wiring so I'm safe from your emp
thats how it works, right?
right??
rustic vine
Well you wouldn’t want to eject on a fighter plane either
oh
spare quartz
Kinda
EMPs aren’t like
A real thing
But a faraday cage is probably what you want + all the braiding and shielding we made for PCBs
rustic vine
I remember seeing here in my state there was a plane that had no front landing gear or something and it was just spinning on the ground for like a solid minute before the pilot ejected
military plane
spare quartz
A real thing
(Unless you use a nuke, or the sun, but like, I’ve got bigger problems then)
spare quartz
I remember seeing here in my state there was a plane that had no front landing g...
I think I’ve heard of that
Scary stuff
spare quartz
what heli do you even want to fly
Anything but a little bird
rustic vine
black hawk?
we'll get atp the bell UH-1
spare quartz
big ball rotor
I just got reminded of that AI picture of that bird with huge balls 😭
timid quartz
listen ion care what you look at in your free time
rustic vine
its definitely like that
spare quartz
rustic vine
oh what is this
spare quartz
this is who aera works for btw…
spare quartz
rustic vine
truly brilliant features
spare quartz
<sound:346444423271415819:1099452410973409331>
wow its just a soundboard
... but in a message
riveting
spare quartz
oh huh, idk any japanese
yeah the video is a day in the life of aera
its really insightful
anyways
$500,000,000,000 for an ai project seems like a lot
rustic vine
yeah the video is a day in the life of aera
seems like a very exciting day
or, eventful?
spare quartz
The space ecosystem is not immune to memory safety vulnerabilities, however there are several
constraints in space systems with regards to language use. First, the language must allow the code
to be close to the kernel so that it can tightly interact with both software and hardware; second, the
language must support determinism so the timing of the outputs are consistent; and third, the
language must not have – or be able to override – the “garbage collector,” a function that
automatically reclaims memory allocated by the computer program that is no longer in use.xvi
These requirements help ensure the reliable and predictable outcomes necessary for space systems.
According to experts, both memory safe and memory unsafe programming languages meet these
requirements. At this time, the most widely used languages that meet all three properties are C and
C++, which are not memory safe programming languages. Rust, one example of a memory safe
programming language, has the three requisite properties above, but has not yet been proven in
space systems. Further progress on development toolchains, workforce education, and fielded case
studies are needed to demonstrate the viability of memory safe languages in these use cases. In the
interim, there are other ways to achieve memory safe outcomes at scale by using secure building
blocks. Therefore, to reduce memory safety vulnerabilities in space or other embedded systems
that face similar constraints, a complementary approach to implement memory safety through
hardware can be explored.
reading this still makes me sad
literally only memory safe language that's proven to work in space and it's got no mentions 🙏
the doc from the nsa in 2022 does mention it though so
i guess that's a win ..
(wow just realized Ada 2022 was not a ratified specification yet when this was published)
sobbing so hard with spark rn
rustic vine
i guess that's a win ..
aww it was last 😅
spare quartz
it's so ironic too
the language is still listed in it's specification as a trademark of the us government
yet the agencies alongside it barely recognize it
lot of different contributors over the years though (at least to the rm/spec)
spare quartz
nono we have a sizable presence in Paris
mainly due in part to AdaCore having offices there
full berry
Kinda turning into JS
function is_even ❤️
timid quartz
function is_even ❤️
function isEven(number) {
if (number === 0) {
return true;
} else {
if (number === 1) {
return false;
} else {
if (number === 2) {
return true;
} else {
// ...
}
}
}
=== was 9/11 for the dynamically typed programming languages
full berry
```js
function isEven(number) {
if (number === 0) {
return true;
} else ...
actually unironically my robotics teacher forced us to do something like this for the robot code just because we "didn't have much time left"
(it did not work)
spare quartz
I FOUND ITTT
full berry
Aera I went to your github profile to open your rustblox repo
and the first thing i see is
spare quartz
Aera I went to your github profile to open your rustblox repo
and the first thin...
can we kill him with hamemrs
full berry
PLEASE
full berry
ill pay you
spare quartz
ill pay you
REALLY
full berry
yes
spare quartz
Miko R Elbrecht 10607 Green Timber Dr and idon'thaveanaccount stupid 545
full berry
your name is not miko