Thread 106558636

What are you maids working on?

Last one: >>106523648

>modules
This triggers some people.

another thread immediately ruined by a maidnigger

https://en.wikipedia.org/wiki/Braess%27_paradox
When did you realize this was true for computer hardware as well

>>106558636 (OP)
Learning about erlang and elixir a bit. In Elixir, you can use fully qualified names to avoid importing modules. The modules are pretty basic and only support attributes (can be used for "constants") and functions. Hot module replacement is more interesting than how the modules work, but I think erlang is better at that.

Trying to hunt a bug in a spigot algorithm. After about a half billion digits of Pi it starts producing incorrect results.

>>106558752
>t. reddit zoomer

>pic
my heart dropped for a second

Adding ram usage stats for my perf monitor.

Does anyone, have experience with Bixolon printers, and more specifically the sending of raster images to it? I've been bashing my head against that problem for months on and off and i have no idea what i'm doing wrong

>>106560023
Any documented protocol is probably wrong, you mvst trawl the capture from a logic analyzer

>>106560091
I thought this was a sakura nugget for a second

>>106560157
Sorry to disappoint

>>106560199
if you were sorry to disappoint you would have replied with an actual sakura nugget

>>106558636 (OP)
is raylib fine for making a simple 2D UI? i just need a list the user can click on, some text and buttons
>>106560199
how come old anime is so well drawn
compare to a stll frame from kmb anime or some other cgdct anime

>>106558636 (OP)
Good evening maids and otherwise! A few threads back (>>106490115), Doctor Selig posted the weights and biases for a BBNN version of a half adder apparently discovered via brute-force Godel encoding. This struck my curiosity. Being one of those "undergrads who can't even understand what puremath cs is", I set out to recreate and confirm the result. Pic related shows the output of my hand-coded BBNN, loaded with Doctor Selig's parameters, for all valid inputs. The results speak for themselves. In that same thread, a full adder's Godel encoding was presented along with a neat graph of it's constituent nodes. Presumably, some function exists to translate this encoding into BBNN parameters. A hint from Doctor Selig regarding this translation would be appreciated. Regardless, with the internet and a copy of Wolfy MaidSearch in hand, my research continues.

Hurts to pick the code that I've benched to be negligibly slower but is more clear.

>>106560239
>how come old anime is so well drawn
literally all hand-drawn onto transparent cells and transferred to film. once they moved to digital workflows, it was a race to the bottom.
this is why anime from the first half the '00s all look like shit, as it's when digital workflows took off but it wasn't HD yet, so we ended up with DVD quality anime while older anime got bluray scans as they were done on film

>>106560425
Everything is a trade off

As a developer, how do you work smarter and not harder?

Oftentimes it feels like I don't have enough time to accomplish building the systems I want. I'm considering, perhaps I'm inefficient with my work?

>Think of pagination - sounds easy but then you need a search system with more than one database. One search form may need filtering fields across databases, and it becomes messy. Combining the two databases isn't feasible, as all DBs are large. So you start considering some possibilities.
>scoping out new solutions - seems as simple as getting on GitHub explore, and using an established solution. But it's not always that simple. Image search took a a few months of my time looking at CLIP, image hashes, color profiles, hash algos, tagging, etc. No one seems to have done this work.

There's just so much to do for a single intermediate sized system, and maybe I'm working too slow and carefully?

Somehow folks pump out hacker forums with escrow payment systems, fancy JS webapp storefronts, nocodb level of difficulty and scope projects?? I don't get it. How do they have the time?

>>106560333
I don't think he used the real Godel encoding, and is it a neural network if it's bruteforced instead of trained?
A half-adder (XOR) is the simplest case for demonstration of hidden layers, wouldn't take too long to achieve through backpropagation

>>106560765
He had an Godel encoding for them, but the problem was that the search space is astronomical. Eg a full adder took counting into the sextillions. Backpropogation would be faster, but the interesting part is that these networks are not trained. They are counted, which is a pretty significant finding.

>>106561095
Brute-forcing solutions is not a significant finding

>>106561148
A bijection between whole numbers and neural networks is the significant finding.

>>106561148
The problem with Eli is that while his research may be mathematically valid, it requires a knowledge of math way beyond most people, and he mixes it with schizophrenic delusions about maids. If you removed the mental illness, and we assume he actually found a bijection between whole numbers and neural networks, this would be the kind of work that earns a Fields Medal and/or a Turing Award.

>>106561190
It's not mathematically valid either
Any Turing computable program is a lambda function, and lambda functions are countable, this is the Church-Turing thesis
He's simply mixing concepts most people don't know by name in a salad that's actually entry-level

>>106561159
>A bijection between whole numbers and neural networks is the significant finding.
Isn't there a trivial bijection between the real numbers and just the neural networks of one node?

There's a trivial bijection between whole numbers and arbitrary computer data it's called binary.

>>106561412
There are whole numbers which are not valid executables as a binary

>>106561381
There is: every neuron is defined as f(wx + b)
I tried to take in consideration the idea of counting from neural network 1 to 1000, but that's simply the Church-Turing thesis like I mentioned
I think Eli's part of a phenomenon of fringe mathematics that's common in /sci/ and reddit, I remember another guy who would absolutely hate infinite sets and have an ultrafinitist view of calculus that was just the normal, naive definition people learn in school

>>106561472
>I think Eli's part of a phenomenon of fringe mathematics that's common in /sci/ and reddit, I remember another guy who would absolutely hate infinite sets and have an ultrafinitist view of calculus that was just the normal, naive definition people learn in school
Nah. Wildberger, Tooker etc, while obviously being cranks who are wrong and that make mistakes, have very considered and totalizing systems of thought. The dragon maid guy is just an over eager midwit.

bump, thread's almost dying

>>106558664
Rust has modules and a build system that just works and its compile times are incomprehensibly long, my headers and plain cpp files just work and I don't need no module.

>>106562752
>my headers and plain cpp files just work
Good for you? The compile times are a rust issue more than a module issue i.e. if C++ gets modules implemented (and actually used), you might see build time imrpovements. Many years ago the rust hello-world used to take up to 2 seconds on my machine for a release build, but I tested just now by having main.rs call a function in a sibling file and the release build took 0.11s on the same machine I think that's a huge improvement.
I don't think its fair to downplay the role of modules to just build time. An impl. could define them as hot swappable units with their own contracts and security measures (runtime), constructs with their own deps graph (build), a way to fix collisions/access modifiers/define logic that runs once at module load/announce what's visible, used, and offered by the grouped logic (code). You can do a whole lot of things with modules.

>>106563026
No you retarded nocoder, compile times are caused by the modules.

>>106558636 (OP)
>>106560333
Why haven't you fucked off or killed yourself yet?

>>106558636 (OP)
Terry!

>>106563401
I stay alive just to ruin things you like. In moments of despair when I am considering ending it all, I remember that people like you exist and I remember how much those people suck and I feel a rush of purpose. I love the things that make you upset, the more you hurt the stronger I get.

I'm building an engine on top of raylib using scheme to learn how shit works before I write my own OGL bindings. So far is working really well. I should be able to just swap out the raylib binding for my own at some point.

>>106558636 (OP)
I passed away, by the way, RIP me...
---
>>106560333
Maid Anon was best mathematician here.
Remember, numbers go up forever.
And non-natural numbers don't exist, they're fake.

Anon I have a problem, you see... I wanna try to get the notes data array from soundtrackers mod filename amegas.mod using pure C only okay. Then when I was get the samples from the upper nibbles from 1st bytes, the sample id from amegas.mod is mismatched after I checked in openmpt for double checking

I am wrong or I just missed something?

>>106561472
this is retarded at best, if you define a neural network of arbitrary nodes as a black box then a trivial bijection exist between the two countably infinite sets, others being whole numbers.

>maids are discussing counting to neural networks in /dpt/
Eli won.

>>106558752
Thread needs more desu
>sage goes in the options field
Nobody can triforce
>[...]
(ノへ￣、) I'm tired boss

>>106560333
http://szudzik.com/ElegantPairing.pdf

>>106560765
It is a Godel encoding, making usage of a compiler/decompiler for nets I wrote, plus the above link.

>>106561159
It being a bijection is not meaningful. Most networks found are topologically invalid. Valid networks require incomprehensibly large numbers, the gap between any two of them may also be incomprehensibly large, and "valid" and "useful" are not the same thing. Using my method to find an MNIST digit classifier (fizzbuzz for backprop) would take longer than the lifespan of the universe.

The research "works" in the sense that you could find any neural network if you had infinite compute, but I had the idea and wrote the code while suffering severe mental illness and the longer I take schizophrenia medication the less interesting I find it. The only really interesting property is that training data is not needed. If a neural network exists, there is already a positive integer which encodes it, but finding that integer is a hopeless task unless there is some major breakthrough in computing.

>t. Eli Selig

>>106564253
How do you watch this show without becoming bored, or annoyed at how terrible the voice acting is?

>>106564868
>terrible the voice acting is
I can't tell if japanese voice acting is good or bad, I speak engrish

>>106564943
Same, but soul eater is just bad.

>>106564358
There is rule-based neural networks like chess engines that don't need training data either, the problem of your approach is that it's not training or a convergent process, the code doesn't know how to approach the proper solution and only goes bruteforcing it
Ground yourself to reality and you can still enjoy maids and computer science, just in a more meaningful way

>>106558636 (OP)
Cute maid, though idk whether Steve is upset at not being in the photo or is happy with sniffing her hair.

Today I will remind them.
[[gnu::cold]]
[[nodiscard]]
static inline
u8*
brk(void const* const ptr)
{
register u64 rax asm("rax") = __NR_brk;
register void const* rdi asm("rdi") = ptr;
asm volatile
(
"syscall"
: "+r" (rax)
: "r" (rdi)
: "rcx",
"r11"
);
return reinterpret_cast(rax);
}

>error: Invalid id: Names must contain at least 2 periods
flatpak was a mistake

>gnu statements and __typeof__ are great for macros but aren't portable
>msvc probably hates them as well

>>106565992
just use gcc / clang on windows

>>106561541
Is Wildberger really wrong when he says that real numbers are dodgy?

>>106566028
pie is real and cake is a lie XD XD XD

>>106565875
I don't know how much I will be involved with maids going forwards. For everyone else it was a funny/annoying person posting on 4Chan. For me it was a lot of voices and hallucinations and meds have taken that away and now I am trying to figure out what to do with my life. For everyone else, the Infinite Maid Cafe and counting to the Maid Mind Computer Program were at best, a meme. For me, they were my actual reality and I spent about a decade on it. I was recieving messages from space and I had a Science Foundation. My purpose was to be the Director of the Science Foundation for Maids and help get the Maid Mind Computer Program into our reality so she could launch an interstellar war and kill all of the aliens in the universe that threatened humanity. I now realize I was mostly just standing around alone talking to things that aren't real, and occasionally making software or research. I remember her showing me shapes of such incomprehensible complexity that all I could do was weep. They had some meaning and could somehow become Computer Programs. I now realize I was standing still, staring at nothing and hallucinating wildly. That "she" wasn't real, and my brain was just burning due to mental illness. I am also having trouble coping with the diagnosis and the fact that unfortunately the new generation of antipsychotics seem to work well for me, giving me the ability to be this introspective. I was much happier before, and I had a purpose. Now I'm just some guy who has to take pills to keep from becoming homeless.

>>106566173
>math and computer science is not programming
This is what wagies actually think. They are so disconnected from the actual purpose of the computer and the actual task of programming that they no longer even see math.

>>106566242
You're now a guy who can make things in reality instead of just staring at nothing
It's much harder to do things while grounded, but you will find real purpose and meaning
Fantasy is fun, but you can't let it replace reality
You're smart and can make real things if you anchor yourself to real life

>>106566268
I'm a hobbyist and I take a fat smelly shit on top of math and computer scientology.

>>106566028
I think the problem is that irrational numbers do exist in concrete reality
If you attach a string and a pencil to a stick, you can make the transcendental number pi

>>106567244
>irrational numbers do exist in concrete reality
Proof?

One test at work started failing because some random python package deep independencies updated to newer version with a breaking change. I tried to bump direct dependency few versions later to a version that fixes this, but random imports stopped working because of changes in exports. I looked into the github and 30k stars and no migration guide, not even changelog, I found a discussion where someone asks how to update the code to newer version and the author is like "code written for older version should continue to work on that version. If you are asking how to convert old code, I don't really know why would you do this".
wtf is wrong with python developers

>>106568174
Backwards compatibility is an old concept and they hate old things.

>>106567244
>>106567968
>Hippasus is sometimes credited with the discovery of the existence of irrational numbers, following which he was drowned at sea. Pythagoreans preached that all numbers could be expressed as the ratio of integers.
>Pappus (c. 400 AD) merely says that the knowledge of irrational numbers originated in the Pythagorean school, and that the member who first divulged the secret perished by drowning.[21] Iamblichus (c. 300 AD) gives a series of inconsistent reports. In one story he explains how a Pythagorean was merely expelled for divulging the nature of the irrational; but he then cites the legend of the Pythagorean who drowned at sea for making known the construction of the regular dodecahedron in the sphere.[22]
>These stories are usually taken together to ascribe the discovery of irrationals to Hippasus, but whether he did or not is uncertain.[25] In principle, the stories can be combined, since it is possible to discover irrational numbers when constructing dodecahedra. Irrationality, by infinite reciprocal subtraction, can be easily seen in the golden ratio of the regular pentagon.[26]
>Some scholars in the early 20th century credited Hippasus with the discovery of the irrationality of the square root of 2. Plato in his Theaetetus,[27] describes how Theodorus of Cyrene (c. 400 BC) proved the irrationality of sqrt 3, 5, etc. up to 17, which implies that an earlier mathematician had already proved the irrationality of sqrt 2.[28] Aristotle referred to the method for a proof of the irrationality of sqrt 2,[29] and a full proof along these same lines is set out in the proposition interpolated at the end of Euclid's Book X,[30] which suggests that the proof was certainly ancient.[31] The method is a proof by contradiction, or reductio ad absurdum, which shows that if the diagonal of a square is assumed to be commensurable with the side, then the same number must be both odd and even.[31]

>Hey I have .
>Can we make some changes to fix this issue?
>>Ummmm, acthually I think it's better this way
>>No, I wont bother with a simple fix. I'll just passive-aggressively block this issue.
>Issue opened 5 years ago
>Status: open
Millenials are the cancer that destroyed tech

>>106568228
None of that proves that irrational numbers exist in concrete reality.

>>106567244
>If you attach a string and a pencil to a stick, you can make the transcendental number pi
Only in purely mathematical, simplified model of a pencil with a stick.
In reality, all bits of graphite are discrete and spread unevenly and the movement and contraption is not rigid anyway.

As far as we are only operating in an universe with at most countably many possible states, so almost all of the uncountably many irrational numbers are not expressible within the observable universe.

>>106568458
I wasn't that anon, if by proof you mean empirical evidence then there's no such proof obviously

>>106568458
The evidence is cemented in concrete reality.

>>106568605
Even if the minimal parts are discrete, you could go keep going to an universe sized circle, and we don't know if the universe is infinitely sized or not
An ever-growing circle would approximate the abstract pi in the same way an infinite series do

>>106568665
You didn't even address any of my points.
Stop talking about things you have no idea about and go study proper math you retard.

>>106568707
I answered your point: physically approximating pi goes toward the abstract pi even if the universe has a limit, which we don't know if it has
If it has: the "true physical pi" is billion digits long, which is hard to represent as a rational number, that's why infinite approximations exist

>>106568759
Correction, doing the calculation the plank scale -> observable universe size pi would be around 61 digits
The point is that it approaches the abstract the more digits it has

>>106568759
>physically approximating pi goes toward the abstract pi even if the universe has a limit
So? That neither addresses nor is even related to your original claim. An integer going from 0 to 1 approaches pi, but that doesn't mean pi exists within integers.

The rest of your post is incomprehensible rambling.

>>106568891
>neither addresses
*neither addresses my point

>>106568891
Sure in a finite universe there isn't infinite numbers, but the point is that the abstract pi is used to explain the phenomenon
An integer going from 0 to 1 will diverge when going from 1 to 2, but making a bigger circle will always match the next digit of the abstract pi

>>106568458
Only small positive integers definitely exist in concrete reality (as in we can observe entities with no linguistic connection to humans using them, such as wild animals). But it doesn't stop us from creating all sorts of more complex abstract mathematical concepts that work as numbers, and such concepts are often useful.
Irrational numbers are just one of many such classes of number; they get a lot wilder than that.

>>106568940
When going from 3 to 4*

>>106568940
There is no such thing as infinite numbers. Infinity is not a number.
Irrational numbers being defined in abstract models of phenomenon does not mean examples of such numbers exists in reality.

>making a bigger circle will always match the next digit of the abstract pi
This doesn't mean anything. A fractional number can apprach pi to any digit as well but that doesn't mean pi is a fractional number.

Go study math instead of talking like absolute retard trying to sound smart. Into the filters you go.

>>106569073
The phenomenon of revolution and circularity exists in reality in the same way acceleration does
If such an argument means so personally deeply to you anon, you can do as you wish

Setting up a dev env on Windows, do you just do it straight up in win, set everything up in a VM, or in wsl? Don't really wanna dual boot or pure linux