The brain is not a computer and the limits of computation as the basis of cognition blog.srazavi.com/essays/2…
πŸ‘︎ 27
πŸ’¬︎
πŸ‘€︎ u/monkeyx
πŸ“…︎ Apr 28 2020
🚨︎ report
Is there a fundamental limit to how much computation can be done per unit of energy?
πŸ‘︎ 9
πŸ’¬︎
πŸ‘€︎ u/RasterTragedy
πŸ“…︎ Feb 17 2020
🚨︎ report
The Kernel Hacker's Bookshelf: Ultimate Physical Limits of Computation lwn.net/SubscriberLink/28…
πŸ‘︎ 47
πŸ’¬︎
πŸ‘€︎ u/corbet
πŸ“…︎ Jun 24 2008
🚨︎ report
Limits of computation (check out Bremermann's) arxiv.org/pdf/quant-ph/99…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/sidjai
πŸ“…︎ Oct 01 2017
🚨︎ report
Limits of prediction: stochasticity, chaos, and computation egtheory.wordpress.com/20…
πŸ‘︎ 16
πŸ’¬︎
πŸ‘€︎ u/DevFRus
πŸ“…︎ Oct 28 2014
🚨︎ report
What is the relation between a tree level computation and the classical limit?

I have seen some mentions that tree level diagrams are related to the classical limit (in the context of qft and I think string theory too).

I know that tree level electron scattering is the same as the classical limit. But I guess this is not always the case, is there some deeper connection?

πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/groenewald
πŸ“…︎ Feb 17 2017
🚨︎ report
How do I get a deep understanding of computation?

More than a programming course, I'm looking for a way to get a deep understanding of how things work, from electrical circuits to internet server systems; I want a mastery-learning ride! Any ideas on where I could get this sort of meticulous resource?

Thanks in advance.

πŸ‘︎ 487
πŸ’¬︎
πŸ‘€︎ u/computer_crisps
πŸ“…︎ Mar 09 2020
🚨︎ report
Plundervolt: "We were able to corrupt the integrity of Intel SGX on Intel Core processors by controling the voltage when executing enclave computations" plundervolt.com/
πŸ‘︎ 931
πŸ’¬︎
πŸ‘€︎ u/alexeyr
πŸ“…︎ Dec 17 2019
🚨︎ report
The Art of Linear Algebra. "This paper describes a technique for 'doodling' equations from linear algebra ... The doodles, known as trace diagrams, are graphs labeled by matrices ... [permitting] computations in linear algebra to be performed using diagrams." [abstract + link to PDF] arxiv.org/abs/0712.2058
πŸ‘︎ 594
πŸ’¬︎
πŸ‘€︎ u/flexibeast
πŸ“…︎ Oct 13 2019
🚨︎ report
Quantum teleportation in silicon could lead to the holy grail of computation - more efficient, more powerful and less expensive quantum computers says University of Bristol thequantumdaily.com/2020/…
πŸ‘︎ 75
πŸ’¬︎
πŸ‘€︎ u/TheQuantumDaily
πŸ“…︎ Jan 06 2020
🚨︎ report
It's the community's fault for embracing mutable state, side effects, and eager computation in the name of pragmatism, so that when a competitive implementation of a language appeared that rejected all three, everybody had to rewire their brains to understand it. reddit.com/r/programming/…
πŸ‘︎ 88
πŸ’¬︎
πŸ‘€︎ u/silentconfessor
πŸ“…︎ Sep 26 2019
🚨︎ report
Intuitive Understanding of Quantum Computation and Post-Quantum Cryptography (Chapter 1) github.com/cryptosubtlety…
πŸ‘︎ 20
πŸ’¬︎
πŸ‘€︎ u/knotdjb
πŸ“…︎ Feb 19 2020
🚨︎ report
Performance of numerical computations in wasm, js and, x86_64 github.com/cbourjau/wasm-…
πŸ‘︎ 26
πŸ’¬︎
πŸ‘€︎ u/cbourjau
πŸ“…︎ Oct 22 2019
🚨︎ report
Google’s Quantum Computing Chief Says China’s Ambition May Threaten US Lead. The tech giant was able to use a quantum computer to solve a complex computation in just 200 seconds. In the hands of a conventional computer, that same calculation would have dragged on for 10,000 years. coinfi.com/news/779716/go…
πŸ‘︎ 50
πŸ’¬︎
πŸ‘€︎ u/olahdonat3
πŸ“…︎ Feb 03 2020
🚨︎ report
SOLVING THEORY OF COMPUTATION PROBLEMS watch.redd.it/hls/5b80688…
πŸ‘︎ 18
πŸ’¬︎
πŸ‘€︎ u/james_frankie
πŸ“…︎ Dec 05 2019
🚨︎ report
The Structures of Computation and the Mathematical Structure of Nature - Michael S. Mahoney rutherfordjournal.org/art…
πŸ‘︎ 41
πŸ’¬︎
πŸ‘€︎ u/agumonkey
πŸ“…︎ Mar 25 2020
🚨︎ report
Scalable & Low Cost Computation of Ethereum Smart Contracts Using Arbitrum on Chainlink medium.com/@EdFelten/scal…
πŸ‘︎ 63
πŸ’¬︎
πŸ‘€︎ u/momentmaker
πŸ“…︎ Feb 14 2020
🚨︎ report
From Single Key to Sophisticated Computation: The Evolution of Crypto Exchange Custody news.bitcoin.com/from-sin…
πŸ‘︎ 82
πŸ’¬︎
πŸ‘€︎ u/givemealaw
πŸ“…︎ Feb 29 2020
🚨︎ report
Light-based computer to parallelize 10-megabit computations - Pixelate light, let it interfere, obtain solutionβ€”size limited by budget. It would take a millisecond to set new bit values with better equipment, about 1.4s per Ising model(a mathematical model of ferromagnetism in statistical mechanics) arstechnica.com/science/2…
πŸ‘︎ 18
πŸ’¬︎
πŸ‘€︎ u/drewiepoodle
πŸ“…︎ Jun 14 2019
🚨︎ report
Scalable & Low Cost Computation of Ethereum Smart Contracts Using Arbitrum, on the Chainlink… medium.com/@EdFelten/scal…
πŸ‘︎ 60
πŸ’¬︎
πŸ‘€︎ u/Theroryshow
πŸ“…︎ Feb 14 2020
🚨︎ report
About limitations on classical verifying of results of quantum computation

Hi all!

I have a strange question. As I understand, the power of quantum computation is the solving problems which are hard to solve, but there are relatively easy to check some given solution. But can it be that there is a some limitation for checking the results obtained from quantum computation? What I mean. Imagine that due to the imperfections in quantum computer the output result of quantum computation is not a pure state in computational basis, but some density matrix:

\rho = p |answer><answer| + (1-p) \rho_wrong, and also <answer|\rho_wrong|answer> = 0

here p - is the probability that the result of quantum computation is the right answer. It seems, this is OK if p is big enough (p~1/2 or p~1/10 ..), we just check the answer, and we can see that result is wrong, and if so we just run our computation again.

But can it be that we have a situation when p must be very close to 1, because, we can not check is the result right or wrong, or we have some limitation for such classical verification (only one, two... times we can verify, but no more) ? Please, give me a Refs if such a question was discussed before.

Thanks!

πŸ‘︎ 6
πŸ’¬︎
πŸ“…︎ Dec 28 2018
🚨︎ report
Q: computation costs of iota vs hashgraph?

I only know the basics of each so I'm hoping someone can explain the resource costs of iota and hashgraph.

As far as I understand it iota is a dag, so in order to do a transaction you must verify two other transactions. That basically means following their nodes back to the origin right? Making sure they check out?

To achieve consensus on hashgraph one keeps a memory of recent transactions and a must compute the consensus. But it works as a dag too.

I'm just wondering which system takes more time, costs more computational resources or bandwidth or memory resources. Can someone clear this up for me?

πŸ‘︎ 11
πŸ’¬︎
πŸ‘€︎ u/Stack3
πŸ“…︎ Mar 22 2020
🚨︎ report
could you give me an overview of what kinds of secure multiparty computation is and isn't possible? also how is yao's millionaire problem doing?

I'm reading about secure multiparty computation and I'm curious what kinds of things are or aren't possible.

I read this article: https://en.wikipedia.org/wiki/Secure_multi-party_computation

But it is quite short and doesn't mention what kinds of functions or data it can be applied to. (Actually I find most Wikipedia articles about mathematics to be very hard to read, much harder than other fields, which are written for lay people.)

Could you give me a simple overview of the state of the (public) art here?

Also an article it links https://en.wikipedia.org/wiki/Yao%27s_Millionaires%27_Problem mentions the millionaire problem (two millionaires want to see who's richer without revealing to the other their exact wealth, which each knows about themselves) but it says it's exponential in time and space. This surprised me because you would think you could do it in O(n) if someone has figured out a good protocol.

Does this mean most protocols are extremely prohibitive to actually run? Can't really be used for much in practice?

I don't know a lot of the jargon.

πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/whatspossibl
πŸ“…︎ Apr 29 2020
🚨︎ report
Theory: for synthetic agents to become intelligent, they will need to have another degree of freedom of computation beyond just linear processing.

My friend just posted this philosophy video about words and it got me thinking about how intelligent minds, and even just emotional minds, have this ability to reinterpret what someone else is saying in a way that meshes with what the mind already "knows" (collected memories).

It could be thought of as "error" or "creativity" in recording data. But it leads to the ability to model novel things without complete information. I can tweak my code for the memories of my own experiences to imagine your experiences, so that I can better model what you want to get and/or do, in a way that's both similar and different to my own. This is necessary for me to do if I want to solve a problem where we both need to get what we want, so that I don't pick a solution that pisses you off, by either denying you what you want, or actively taking away what you already have and need.

This ability to change our own memories/code to bridge the gap between our own data set and the data sets of other individuals (especially humans) is what actual AI will need before it will really be intelligent in the most common sense of effective problem solving with complex situations.

We are wary of computers having a "bias" like this, where they can "make shit up" instead of being totally reliable and predictable, but if we want actual intelligent, creative problem solving from them, they will need to be biased, error-prone, and just generally weird.

That's my theory, anyway.

πŸ‘︎ 22
πŸ’¬︎
πŸ‘€︎ u/Turil
πŸ“…︎ Apr 25 2019
🚨︎ report
Beware of computation in static initializer (much more so since JDK 11.0.2 and 8u201) pangin.pro/posts/computat…
πŸ‘︎ 161
πŸ’¬︎
πŸ‘€︎ u/alexeyr
πŸ“…︎ Apr 06 2019
🚨︎ report
If you were the administrator for the simulated reality that was employing the minds of the earth (like the matrix), how would you deal with scheduled maintenance in order to reduce computation power needed?
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/undead_sandwich
πŸ“…︎ Mar 27 2020
🚨︎ report
Any way to fix the ridiculous amount of Firefox programs that sit in my volume mixer if I don't reset my computer? The Mixer literally won't show other programs anymore as it seems to have a limit on how many it will show
πŸ‘︎ 208
πŸ’¬︎
πŸ‘€︎ u/CopainChevalier
πŸ“…︎ Apr 19 2019
🚨︎ report
Derivations as computations, by Andrej Bauer: "we think of a derivation as a computation tree showing how to compute its conclusion." [abstract + link to PDF of slides] math.andrej.com/2019/08/2…
πŸ‘︎ 72
πŸ’¬︎
πŸ‘€︎ u/flexibeast
πŸ“…︎ Sep 03 2019
🚨︎ report
HARA legal and compliance, Anggir Saktya, was one of the speakers at Computation Law and Blockchain Festival Jakarta Node 2019. On the event, Anggir explained the implementation of Blockchain in business and its position in a legal perspective
πŸ‘︎ 39
πŸ’¬︎
πŸ‘€︎ u/iphygurl
πŸ“…︎ Mar 31 2019
🚨︎ report
Extra Dimensions Give Optimization a Boost - The computation of stable atomic structures can be greatly accelerated if performed in a space with extra dimensions physics.aps.org/synopsis-…
πŸ‘︎ 96
πŸ’¬︎
πŸ‘€︎ u/rieslingatkos
πŸ“…︎ Feb 06 2019
🚨︎ report
Turing's model of computation enough of achieve AGI ?

At present we are using von neumann architectures (based on turing's or similiar models of computation) are the ones we use to train Reinforcement Learning and Deep Learning algorithms, which may some day help achieve general intelligence.

There's this theory that states that almost all models of computations are capable of computing almost everything.

https://mathworld.wolfram.com/PrincipleofComputationalEquivalence.html

Even new types of computers like quantum computers can be modelled as quantum turing machines and as such, the space of computable functions remains the same.

https://cs.stackexchange.com/questions/23162/quantum-computing-and-turing-machines-are-turing-machines-still-an-accurate-mea

The only thing that changes is the efficiency/capability of these different architectures, which is explained by complexity theory.

So my question is there any proofs/thesis etc that shows that almost all intelligent functions are computable by turing's model or lambda calculas ?

πŸ‘︎ 5
πŸ’¬︎
πŸ‘€︎ u/lifeinsrndpt
πŸ“…︎ Apr 19 2020
🚨︎ report
Yesterday, HARA legal and compliance, Anggir Saktya, became one of the speakers at Computation Law and Blockchain Festival Jakarta Node 2019. On the event, Anggir explained the implementation of Blockchain in business and its position in a legal perspective.
πŸ‘︎ 29
πŸ’¬︎
πŸ‘€︎ u/I-Kar
πŸ“…︎ Mar 29 2019
🚨︎ report
FreeCAD Glider Workbench - Airfoil Live Pressure Computation - Visualization of pressure during spline editing vimeo.com/360154725
πŸ‘︎ 22
πŸ’¬︎
πŸ‘€︎ u/hagbard2323
πŸ“…︎ Sep 15 2019
🚨︎ report
If we're living in a Simulation and that is based on any form of computation...

What is the significance of computer technology inside the Simulation?

Think about how computer tech took off so incredibly fast after the invention of the transistor (1948). Imo, we've been witnessing centuries worth of progress in decades or even years.

If we are living in a reality where the reality is not "randomness and physics" but programming, design and purpose...that adds a huge degree of context to the introduction of computer technology within the simulation.

For example, having computers and internet technology allows for all kinds of things that would otherwise not be possible. The average person these days has become much more familiar and comfortable with concepts that would have been completely foreign to their way of thinking just a few decades ago.

If you (as a simulator) want the people in the Sim to be ready to learn more about how things work, introducing the technology that manifests the sim itself is a huge step forward.

πŸ‘︎ 20
πŸ’¬︎
πŸ‘€︎ u/OB1_kenobi
πŸ“…︎ Nov 15 2019
🚨︎ report
Master of web puppets: abusing web browsers for persistent and stealthy computation blog.acolyer.org/2019/04/…
πŸ‘︎ 36
πŸ’¬︎
πŸ‘€︎ u/Gbr28
πŸ“…︎ Apr 12 2019
🚨︎ report
Scalable & Low Cost Computation of Ethereum Smart Contracts Using Arbitrum, on Chainlink medium.com/offchainlabs/s…
πŸ‘︎ 4
πŸ’¬︎
πŸ‘€︎ u/UnknownEssence
πŸ“…︎ Feb 15 2020
🚨︎ report
Anyone taken CS 321, Theory of Computation?

I notice it’s being offered online in the Spring 2020 quarter and it’s now showing up as an elective for the post-bacc program. There aren’t any reviews on Course Explorer, is the online version brand-new?

πŸ‘︎ 7
πŸ’¬︎
πŸ‘€︎ u/basilhays
πŸ“…︎ Dec 14 2019
🚨︎ report
Do the VR compression/computation algoes ever make use of the fact that usually the one eye's info is not that much different from the other? Or does it add too much latency to use the diff function?
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/steel_bun
πŸ“…︎ Oct 16 2019
🚨︎ report
Three Thousand Years of Algorithmic Rituals: The Emergence of AI from the Computation of Space - Journal #101 Summer 2019 e-flux.com/journal/101/27…
πŸ‘︎ 12
πŸ’¬︎
πŸ‘€︎ u/gergo_v
πŸ“…︎ Aug 04 2019
🚨︎ report
You are the product of computation. Whatever that means.

Do you identify with your body? Today if you have a condition the the doctor says they might have to replace your femur with a steel rod, would you become someone else? Or let's change your hair and ask the same question. Let's do this for a few thousand cells in your brain. The point of this argument is that you, the one reading this sentence, doesn't exist in the same way ordinary stuff does. You might say but wait, I feel as if I'm located between the ears and behind the eyes of my body but is that argument saying anything else apart from your position of view or your seat in the auditorium of experience? You, whatever you are, have the best seat for the movie of your experiences. You are the result of the computation of natural processes inside and outside your body. Your existence is of a different nature than that of ordinary matter and this is profound enough to ask for real scientific study of this kind of existence. Acknowledging non-physical phenomenon is the first step to profound understanding of reality.

πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/weezylane
πŸ“…︎ Dec 14 2019
🚨︎ report
Information and gravity may seem like completely different things, but one thing they have in common is that they can both be described in the framework of geometry. Building on this connection, a new paper suggests that the rules for optimal quantum computation are set by gravity. journals.aps.org/prl/abst…
πŸ‘︎ 29
πŸ’¬︎
πŸ‘€︎ u/chicompj
πŸ“…︎ Jun 30 2019
🚨︎ report
PoW is inherently more expensive then PoS. Since PoW relies on arbitrary computation, this cost has to be accounted for in the token economic design. This has to either take the form of higher fees or inflation when compared to PoS. twitter.com/Justin_Bons/s…
πŸ‘︎ 5
πŸ’¬︎
πŸ‘€︎ u/VeritasSapere
πŸ“…︎ Dec 31 2018
🚨︎ report
Yesterday, our legal and compliance, Anggir Saktya, became one of the speakers at Computation Law and Blockchain Festival Jakarta Node 2019. On the event, Anggir explained the implementation of Blockchain in business and its position in a legal perspective. #WeAreHARA #HARAgri twitter.com/HARAToken/sta…
πŸ‘︎ 15
πŸ’¬︎
πŸ‘€︎ u/Sakarmeke
πŸ“…︎ Mar 30 2019
🚨︎ report
Can wasm limit the number of compute cycles or time that a given function call is allowed to run?

The halting problem says you cant reliably know in advance if a program will do a certain thing or not if its possible to do that thing. If you prevent it from accessing files outside the sandbox, thats reliable, but if you ask will it end within a million cycles, it might take a million cycles to find out.

What if you only wanted to allow it max of 100k cycles and certain memory limit? If a counter starts at 100k and each op subtracts from it whatever that op costs and ends early if counter would become negative (so it never does), then you could guarantee any function call ends within the given number of cycles. If each function call also took a parameter of how much computing power to leave remaining, such as 90k then when the counter would become less than 90k it would end early, leaving the at least 90k for calls lower on the stack which gave such a limit. If each thread had such a counter and extra parameter, then not every call would be turingComplete but every call would halt within given limits and could each reduce the limit further or leave it as it is to any depth for the whole system only being constant times slower.

That could of course be coded at user level in wasm by making a wasm-like emulator in wasm which had that feature, or it might make a good standard option which could prevent things from "locking up".

πŸ‘︎ 14
πŸ’¬︎
πŸ‘€︎ u/BenRayfield
πŸ“…︎ Jan 19 2020
🚨︎ report
Craig failed Theory of Computation on his academic transcript - no wonder he thinks Bitcoin Script is Turing Complete!

Here's a bunch of Craig's Transcripts that nChain was kind enough to make available, and here's a key from CSU explaining the meaning of the grades. Theory of Computation is the class that would have taught Craig what "Turing Complete" means and on P. 43 we can see that Craig failed that class.

Studying a bit harder in his Theory of Computation class would have probably prevented years of idiotic papers purporting to prove that Bitcoin Script is Turing Complete with titles like "Bitcoin: A Total Turing Machine."

As an aside: Craig's grades on his transcripts are on the whole pretty abysmal. Most of his degrees he seems to have barely passed. These are very troubling transcripts given the view many of his followers seem to have that Craig is a multidisciplinary genius who's passion in life is education.

πŸ‘︎ 14
πŸ’¬︎
πŸ‘€︎ u/Zectro
πŸ“…︎ May 03 2019
🚨︎ report
Is there a way to check the "computation" price of a method or function?

> "Math.sqrt is an expensive function."

I'm wondering if there is a console.log-esque function that outputs the expenditure of a a set of code.

Something like console.price(console.log(2+2)) would give the energy expenditure price for a console.log(2+2) call.

πŸ‘︎ 5
πŸ’¬︎
πŸ‘€︎ u/mementomoriok
πŸ“…︎ Sep 11 2019
🚨︎ report

Please note that this site uses cookies to personalise content and adverts, to provide social media features, and to analyse web traffic. Click here for more information.