How do we differentiate between a computer and a calculator?
In this SO Question there is a comment by starblue that
Is this statement from Knuth’s fundamental algorithms still applicable today? [closed]
Closed 10 years ago.
Best Traversing Strategy / Logic Help Needed
Background: Here is the scenario, imagine I have a little Robot. I give this robot a Map, and I want him to traverse the map, after doing so, I want the Robot to tell me the shortest possible path on the map. So here is an example of a Map:
Class of problems solvable by sed or stream editors
I’ve came across a question transform this text with sed [sed only]
and it got me wondering what class of problems is solvable by stream editors or programs/computational models with similar constraints.
Does any well-known license require to make modifications available when only derived *output* is published?
Is there a way to make sure that modifications to free software are released even when no binaries of modified code are conveyed? Though it may sound odd and from what I understand, e.g., GPL requires to distribute source only if binary is conveyed to other parties thus making it possible for unlimited private use as it does not fall into propagation.
Could we build a functional computer?
As mush as FP has done, in the end, all our programs are structured.
That is, it doesn’t matter how pure or functional we make a them – they are always translated to assembly,
so what actually runs behind the hoods are instructions, states and loops.
We are kind of emulating FP.
How do kernels work(who is the handler between user input and sets of instruction given)
I have an idea of binary and logic circuits within a computer. I also know how cpu works meaning it takes a instruction-binary along with the inputs of such instruction and reservers the following bytes for those. My problem is that, suppose you press w in a text box, it writes a “w” character; while when you press w in a game, your game character goes forward. what part handled that difference and sends different instruction for the cpu and how did it do it?
Formal definition of “concepts / type system” for parametric types – Where to start?
I would be interested in formally defining (and consequently demonstrating) a “type system” for, well, a type system. More specifically, I would like to explore the idea of what C++ calls concepts for my bachelor’s thesis. How would one go about defining such system (formally) ? It’s basically a meta-language for generic programming I suppose, but all the material I’ve found so far is basically bound to syntax of a specific programming language.
Formal definition of “concepts / type system” for parametric types – Where to start?
I would be interested in formally defining (and consequently demonstrating) a “type system” for, well, a type system. More specifically, I would like to explore the idea of what C++ calls concepts for my bachelor’s thesis. How would one go about defining such system (formally) ? It’s basically a meta-language for generic programming I suppose, but all the material I’ve found so far is basically bound to syntax of a specific programming language.
What class of problem is this, and what math do I need to know to solve it?
Mushroom cultivation requires fairly precise chemical composition of substrate (a.k.a. growing medium). Let’s pretend we’re growing shitakes and that this is the required composition of their substrate: