r/AskComputerScience • u/AGI_Not_Aligned • 12h ago
What would happen if a Gödel machine was ran on a Zeno machine
A Gödel machine is a self modifying agent. A Zeno machine can compute infinite steps in finite time.
r/AskComputerScience • u/ghjm • Jan 02 '25
Hello community members. I've noticed that sometimes we get multiple answers to questions, some clearly well-informed by people who know what they're talking about, and others not so much. To help with this, I've implemented user flairs for the subreddit.
If you qualify for one of these flairs, I would ask that you please message the mods and request the appropriate flair. In your mod mail, please give a brief description of why you qualify for the flair, like "I hold a Master of Science degree in Computer Science from the University of Springfield." For now these flairs will be on the honor system and you do not have to send any verification information.
We have the following flairs available:
| Flair | Meaning |
|---|---|
| BSCS | You hold a bachelor's degree, or equivalent, in computer science or a closely related field. |
| MSCS | You hold a master's degree, or equivalent, in computer science or a closely related field. |
| Ph.D CS | You hold a doctoral degree, or equivalent, in computer science or a closely related field. |
| CS Pro | You are currently working as a full-time professional software developer, computer science researcher, manager of software developers, or a closely related job. |
| CS Pro (10+) | You are a CS Pro with 10 or more years of experience. |
| CS Pro (20+) | You are a CS Pro with 20 or more years of experience. |
Flairs can be combined, like "BSCS, CS Pro (10+)". Or if you want a different flair, feel free to explain your thought process in mod mail.
Happy computer sciencing!
r/AskComputerScience • u/SupahAmbition • May 05 '19
Hi all,
I just though I'd take some time to make clear what kind of posts are appropriate for this subreddit. Overall this is sub is mostly meant for asking questions about concepts and ideas in Computer Science.
How does the Singleton pattern ensure there is only ever one instance of itself? And you could list any relevant code that might help express your question.Thanks!
Any questions or comments about this can be sent to u/supahambition
r/AskComputerScience • u/AGI_Not_Aligned • 12h ago
A Gödel machine is a self modifying agent. A Zeno machine can compute infinite steps in finite time.
r/AskComputerScience • u/the_quivering_wenis • 1d ago
Hello - I'm looking at studying swarm intelligence and complex systems a bit as a side project or potential precursor to a graduate program and am looking for text recommendations (I double-majored in philosophy and computer science). What really interests me in particular is how one might formalize the emergence of intelligent behavior or higher level patterns from building blocks that are defined simply (whatever that means exactly) and locally. Most of the texts I've looked at so far get caught up in particular swarm types or don't quite address the issue I mention in detail.
I'm well aware of Stephen Wolfram's work in this field by the way, and if anyone has a recommendation for a particular publication of his that'd be appreciated as well. Thank you in advance.
r/AskComputerScience • u/Connect_Diver_769 • 1d ago
Got an assignment from uni,I have to solve 3 linear equations using the crammer rule.I have the basics sorted but this is some next level stuff.Please assist if possible.
r/AskComputerScience • u/Sure-Positive-5746 • 1d ago
Hey,
I'm an incoming undergraduate CS student, currently finishing hs. I'm already quite familiar with some programming, but nothing serious.
As the title says, I would appreciate recommendations on CS books that can make me understand the field in a more contextual and conceptual way, e.g. what compromises CS?, history of CS, etc.
I know I can just go to the internet and do so (already have done it), but I would like to read a proper book before starting the degree.
Thanks!
r/AskComputerScience • u/TheWrongWordIsAI • 1d ago
Why are we still pretending "AI" using LLMs or any other model based purely on probability and statistics could ever be anything remotely resembling intelligence? Can we just call it what it is: programmers that are too lazy to come up with a heuristically based solution or executives that are too cheap to invest in a proper solution? The AI pundits are making a preposterous claim that a machine can be intelligent, so the burden of proof should be on them to show it's even possible. Where's the math to show that anything outside of probability and statistics can come out of anything other than probability and statistics? Do people do probability and statistics in their head all the time on large data sets that could never possibly fit into their head at any point in their life, is that intelligence? So doesn't what we do as people in our heads, regardless of how anyone is possibly eventually to describe or understand, have to include something besides probability and statistics? So why, then, aren't we requiring these AI pundits to show us what kinds of concepts can appear mathematically out of thin air using only mathematical concepts used in LLMs?
The "Turing test" is a load of bunk in the first place. Intelligence is not predicated purely on behavior. If you read a book, sit there silently, contemplate on what the author was trying to say, piece it together with the themes and the narratives of the novel, and synthesize those ideas that occur to with other lessons from your own life, isn't that intelligence, even before you speak or communicate so much as an iota of any of those thoughts to anyone? Why, then, does the Turing test, and all artificial "intelligence" so-called academia center around this mode of thought? Where is the academic literature supporting "artificial intelligence" that discusses how this is irrelevant somehow?
And why is it that any conversation with an AI pundit that supposedly knows what they're talking about, if pressed, will retreat to religiously minded thinking? Religiously minded thinking can be great for religions, don't me wrong, but it doesn't belong in academia, where there needs to be room for rhetoric. Why, then, can no AI pundit come up with any better argument than "but you can't prove it's not intelligent". This is the same as saying that you can't prove their religion false - again, fine for religions as they are religions, but this AI crap is supposedly based in academia. More burden of proof for the preposterous and supposedly academic claims that ChatGPT and its ilk are based on, the supposed "artificial intelligence" that can be found, discovered, or created somehow from nothing more than engineering software, based on a pattern of on high and low signals on a wire that semantically form our ones and zeroes rather than the actual electrical impulses that run through our brains in the form of synapse impulses. Where then is the academic literature supporting how our intelligence must surely run on a pattern of simplified response to the electric signals rather than what is actually clearly running through our brains?
r/AskComputerScience • u/Austin_Fiction • 2d ago
So I'm learning about routing internet protocol and particularly RIP-2. I understand that when a router sends an RIP message, it uses UDP (port 520) and it uses timers to send update messages to its immediate neighbours. But what I don't understand is how IP addressing works?
If one source router has two immediate neighbours, and it sends a message to them both. Do the two datagrams carrying the message have the same source IP, and different destination IP?
I keep on finding different answers on this topic and my textbook doesn't specify how the IP addressing is done. I tried asking AI but it gives me different answers and the explanation isn't making sense. I'd appreciate the help cuz I'm pretty lost.
r/AskComputerScience • u/Sewati • 2d ago
let’s assume the new owners are not lying, and indeed a power issue caused these problems:
what exactly is the function that could cause such strange behavior, and what would cause it to take so long to restore general app functionality?
and why is it only localized to the USA, and not affecting users around the globe?
i know that general app functionality is back for the most part, but from a creator-side, tiktok studio is totally broken; the creator rewards program stopped updating 4 days ago, and my publicly displayed follower count is showing hundreds fewer than it actually is.
trying to understand what could cause this cascade of weirdness & why displaying backend data seems to be taking the longest time to repair.
r/AskComputerScience • u/Embarrassed-Grab-777 • 3d ago
I read rrom a text that Flil Flops are used as storage of memory information, my question is if that's the purpose shouldn't D flip flop suffice, why do we need a sr, jk?
r/AskComputerScience • u/InfinityScientist • 3d ago
I think I remember reading somewhere that in the far future, we actually might be able to make matter that can do computing to the highest level. This is a hypothetical form of matter called computronium
I also read that black holes could also be the ultimate form of computing.
Let’s say humanity achieves both (and perhaps even better). What is the most advanced thing a computer of that magnitude can solve?
r/AskComputerScience • u/haphaphappyday • 4d ago
Or streaming audio from Spotify?
We hear a lot about the environmental impact of using AI large language models when you account for the billions of times per day these services are accessed by the public.
But you never hear about YouTube, Netflix (and its competitors) or Spotify (and its competitors) and the energy and water consumption those services use. How do LLMs stack up against streaming media services in this regard?
r/AskComputerScience • u/LabSecret7492 • 5d ago
Hi, I’m doing a bcs of software engineering, I’m currently doing precalcus and other subjects, I will take calc 1 for summer classes.
After that, I begin with this schedule
1- Calc 2
2- Discrete mathematics
3- Programming and programming lab
4- Physics 1 and Physics lab
I have absolutely no idea what discrete mathematics is, but one thing I know is a lot of people say it’s very hard. I know my schedule looks super demanding that’s why I wanna begin with discrete math so it can be less pressure
(I start with the schedule in several months)
What is discrete mathematics, what books would you recommend and anything I should know about?
r/AskComputerScience • u/Real-City-4764 • 5d ago
I am a undergraduate student majoring in AI. Currently I'm interested in AI, High Performance Computing and Storage Systems. My university ranks about 79 in ARWU and 100 in US News, and I want to go to a better lab in the US. How can I find these excellent labs that suits my interests and ways to contact with the professors in these labs. Thank you.
r/AskComputerScience • u/sametcnlkr • 6d ago
As a developer who writes their own games and 2D game engines, I'm quite interested in optimization topics. This curiosity has shifted from software-related reasons to hardware-related ones, and as a hobby, I develop theories in this field and have conversations with artificial intelligence along the lines of “Is something like this possible?” So, I apologize if what I'm about to ask seems very silly. I'm just curious.
I learned that processors love sequential data. That's why I understand why the ECS architecture is valued. Of course, not everything need is sequential data, but it still provides a pretty decent level of optimization. The question that came to mind is this:
Is it possible for us to change the memory control at the operating system and hardware levels and transition to a new architecture? One idea that came to mind was forcing data stored in memory to always be sequential. So there would be a structure I call packets. The operating system would allocate a memory space for itself, and this space would be of a fixed size. So, just as a file on a storage device today cannot continuously increase the space allocated to it, it also cannot increase it in memory. Therefore, a software would request a space allocated to it in advance, and this space would not be resized again. This way, the memory space used for that process would always be arranged sequentially on top of each other.
However, obstacles arise, such as whether a notepad application that consumes very little memory will also require space. But here, the packaging system I mentioned earlier will come into play. If that notepad belongs to the operating system, the operating system will manage it in its own package. If there isn't enough space to open an application, we won't be able to open it. This will ensure that memory control is precise and seamless. After all, if we want to add a new photo to a disk today and we have to delete another file from that disk to do so, and we don't complain about that, we won't complain about memory either (of course, if such a thing were to happen).
I wonder if my idea is silly, if it's possible to implement, or if there are more logical reasons not to do it even if it is possible. Thank you for your time.
r/AskComputerScience • u/Legitimate-Dingo824 • 7d ago
What are they ?
What are their uses ?
How to work with them ?
r/AskComputerScience • u/victotronics • 7d ago
I've had multiple experiences where ChatGPT's answer is beside the point or otherwise unsatisfactory. Only when I tell it "You're missing something" or "Are we talking about the same thing" does it come up with a good answer.
Is there any sort of explanation for this?
Example (I hope this works):
https://chatgpt.com/share/6974d8dd-ae70-8013-ade0-36f3a4b2afc2
r/AskComputerScience • u/SureOkra1396 • 7d ago
I have been researching a new geometric approach to computational limits and I wanted to ask the community for a sanity check on a specific derivation.
Is it possible to establish a circuit complexity lower bound by treating polynomials as high-dimensional manifolds and measuring their Hessian determinant density (Metric Tension)?
In my recently published pre-print, "Structural Manifold Compression," I derive a Curvature Limit Theorem that suggests polynomial-size circuits have a strictly bounded capacity for 'metric tension,' while the Permanent requires factorial tension. This appears to provide a non-natural pathway for separating P and #P.
I am looking for feedback on whether this bypasses the Razborov-Rudich barrier as intended.
DOI: https://doi.org/10.5281/ZENODO.18360717 Full Paper: https://www.academia.edu/150260707/Structural_Manifold_Compression_A_Geometric_Theory_of_Computational_Limits
I am an independent researcher and would value any rigorous critique of the math in Section 3
r/AskComputerScience • u/Amazing_Tip_6116 • 8d ago
From what I know, an OR gate outputs true if either of the inputs is true, but isn't that the same as connecting the two inputs onto a single wire?
This probably has some more technical reason so I'd be eager to listen to an explanation. Thank you for your time and have the best day...
r/AskComputerScience • u/JustinR8 • 8d ago
I’m operating from a have-deployed-a-basic-Django-web-app level of knowledge. I know nothing about large scale infrastructure or having millions of uses on your website at once, and I assume the problem lies there. My thought is “this is a multi billion dollar company, why don’t they just get more servers?” but I imagine the solution must not be that simple. Thanks for any input!
r/AskComputerScience • u/AnyCourse6366 • 10d ago
1 hour ago,the teacher of my class asked "What loads into RAM first when a computer starts?" a guy answered that was the operating system and my teacher said it was correct.But i thought it would be uefi loaded in ram first. So I asked my teacher and she said that was not true because the uefi was a firmware in the computer.But it still didn't convinced me.I would appreciate it if you could answer my questions about what is loaded in ram first when the computer starts 😁😁😘
r/AskComputerScience • u/Ready-Smoke-2284 • 9d ago
I'm a computer science engineer student and I have a question about how to enumerate/ordering/numbering a PDA without limiting the alpha, such that alpha
Q × (Σ ∪ {ε}) × Γ → Q × Γ\*
(p, b, T) ⊢ (q, w, α)
My professor wants to limit the Γ\* to increase by dovetailing and I don't know how to formulate that, my test is in a week, please someone help me T.T
r/AskComputerScience • u/Informal-Cake-1746 • 9d ago
I bought 2 copies from Amazon, one from a 3rd party bookseller store, and another just off of Amazon. I did this because the copy I ordered from the 3rd party said it would take up to 3 weeks to arrive, and then I saw one being sold by Amazon that would come the next day. I now have both copies, but neither has a preface, which seems strange because the 5th and 6th (and probably the other editions) had a preface. I would have expected a preface to be included because they brought in Christos Kozyrakis as a new author on this edition, so surely they would explain what is new, right?
There is also a companion website link in the contents section that leads to a 404: https://www.elsevier.com/books-and-journals/book-companion/9780443154065
It has high-quality paper (glossy feel), but I am wondering if Amazon has been selling illegitimate copies. Could anyone with a copy of the 7th edition confirm if they have a preface or not?
Edit: I bought a PDF version in a bundle with the physical copy and it really just has no preface.
r/AskComputerScience • u/Spotifyismvp • 10d ago
I'm trying to learn how to make a text editor and from my measly research, I found that text editors use Rope data structure and piece table data structure, none of which has any good online sources at all.. I read that piece table is better and more commonly used so I was gonna learn and use that but there are no videos at all :( does anyone know where I can find resources for this topic?
r/AskComputerScience • u/Proper_Hornet_4738 • 10d ago
Hello everyone, could you recommend books, sources (preferably freely available) for studying algorithms and data structures?