"Safely typing algebraic effects", including a brief intro to the concept of 'algebraic effects' Computer Science |
- "Safely typing algebraic effects", including a brief intro to the concept of 'algebraic effects'
- LANL builds interface tool that makes multiphysics models easier to run
- When storing a 16-bit integer in a char array, the maximum value is 2 ^ 16 + 256 rather than 2 ^ 16, or am I missing something?
- How could a halting decidability decider possibly be defined?
- How did computers get so complex
| "Safely typing algebraic effects", including a brief intro to the concept of 'algebraic effects' Posted: 28 Nov 2018 02:16 PM PST |
| LANL builds interface tool that makes multiphysics models easier to run Posted: 28 Nov 2018 12:29 PM PST |
| Posted: 28 Nov 2018 01:18 PM PST Hey r/compsci, It's my first time posting here, but I have a question about storing integers in char arrays. Basically, the way it's done with what I'm doing is there are two consecutive unsigned chars. The first char is multiplied by 256, it is added to the second one. Here's some examples: integer 257 would be stored as \1\1, integer 512 would be stored as \2\0 (or \1\256), integer 100 would be stored as \0\100, etc. Now take the value \256\256. This'll be 2562 + 256, which is 65792, aka 256 larger than the range of a 16 bit integer. Am I missing something? [link] [comments]  |
| How could a halting decidability decider possibly be defined? Posted: 28 Nov 2018 02:27 PM PST I am referring to these notation conventions: http://liarparadox.org/Peter_Linz_HP(Pages_315-320).pdf.pdf) H and Ĥ are defined on pages (318-319). I have changed H.qy to H.halts and changed H.qn to H.loops meaning that the input is a Turing machine description that would loop on its input. H.halts is intended to correspond to the mathematical logic predicate: Halts(input_pair) H.loops is intended to correspond to the mathematical logic predicate: Loops(input_pair) Redefinition of H H.q0 Wm W ⊢* H.halts // Wm is a TMD that would halt on its input W H.q0 Wm W ⊢* H.loops // Wm is a TMD that would loop on its input W Redefinition of Ĥ Ĥ.q0 Wm ⊢* Ĥ.qx Wm Wm ⊢* Ĥ.halts ∞ Ĥ.q0 Wm ⊢* Ĥ.qx Wm Wm ⊢* Ĥ.loops A Halting Decidability Decider H could be defined as: A David Hilbert formalist proof (in language of Turing machine descriptions) from the initial state of a Turing machine description H.q0 and its finite string inputs Wm W to final states H.halts and H.loops corresponding to the mathematical logic predicates: Halts() and Loops(). ∃ H ∈ Turing_Machine_Descriptions ∀ tm ∈ Turing_Machine_Descriptions ∀ i ∈ Finite_Strings (H.Halts(tm, i) ∨ H.Loops(tm, i) H.Halting_Undecidable(tm, i)) When-so-ever Turing machine H determines that no finite sequence of state transitions would correspond to the mathematical logic predicate Halts(Ĥ, Ĥ) or Loops(Ĥ, Ĥ) it transitions to H.Undecidable. [link] [comments]  |
| How did computers get so complex Posted: 28 Nov 2018 08:22 AM PST Can someone who has a lot of industry experience please tell me how smartphones got this complex? How is my iPhone able to do so many tasks and do recursion, multitasking, and the like. It has been the cause of my OCD and anxiety lately because I don't understand how computers can function so easily and do such complex things that even humans cannot. I know it has to do with electrical engineering and the like, but I just can't begin to understand how we can assemble these machines from elements and code them. I hope someone can go super deep into this rather than just tell me it's all 1s and 0s. I mean how is that physically possible that they can communicate with the world and just be assembled in a Chinese factory. Anyone else have this anxiety? It just seems like black magic. How is it that humans go through so much pain while these computers just do operations and nothing else. I guess it scares me because it somehow just "works" and we came up with this on our own. Somehow we can build something which can compute and do recursion while I'm out here just having panic attacks. I mean how does one even install software on a piece of metal. Does anyone in the world know all of the circuit schematic to the iPhone or Android? [link] [comments]  |
| You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now. | Email delivery powered by Google |
| Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States | |
No comments:
Post a Comment