maweki

35 ms·

361.
by maweki 6y ago
> The steps are basic CPU operations such as load/store Only if you consider the result of a comparison as a "store" into the register. But again, comparing two objects might not be constant. The compiler I develop for my
362.
by maweki 6y ago
What I always find a bit missing in such articles is what the n is. The author writes "If you consider "addition" to be 1 operation" and this seems kinda intuitive and is correct if we talk about normal machine integers.
363.
by maweki 6y ago
well, yeah. Every path and name ever in all of history is arbitrary. As is the seperator between the components.
364.
by maweki 6y ago
Every OS, Windows as well, uses the concept of search paths, namespaces, and environmental variables.
365.
by maweki 6y ago
Also, Namespacing and search paths are a concept in every environment where people name things. Be it the filesystem or a programming language itself. Even in normal Life, when identifying people or things, we have concepts of this everywhe
366.
by maweki 6y ago
The html document is potentially infinite, but its finite length is not encoded in the program (css). One idea is, to have the same program, and if it terminates, it will terminate if you pick a large enough machine. You don't need to
367.
by maweki 6y ago
To be fair, the FRITZ suite also wants to (and does) support Cable internet (afaik the only non-ISP-supplied modem or router-modem you could even buy in europe), DECT, and a range of 433MHz home automation products. And of course, you menti
368.
by maweki 6y ago
But in the paradox it is stated that through uniformity and the shells of the virtual spheres being 2d, there are four times as many stars twice as far away and since they are only a fourth in brightness, they are as bright as a near one. I
369.
by maweki 6y ago
In my case, we have to submit LaTeX-sources to journals anyways. In my partner's case, their collaboration workflow heavily relies on annotations and comments. I don't know whether google Docs would work in that case.
370.
by maweki 6y ago
A cost measure that isn't talked about is effort in collaboration. My partner works in the social sciences and when they write a paper, they send each other word documents with annotations and everybody works on it for a few days. Whil
371.
by maweki 6y ago
I think what's missing in the mental model of the elegant solution is, that the IntList-pointer does not point to a complete list or an element of the list, but to a tail of some list (that might be the complete list). This explains wh
372.
by maweki 6y ago
It will, as an R higher than 1 means that there will be no maximum in the new infections at all (while any health system obviously does have a maximum capacity that is significantly lower than the size of the population). R going lower than
373.
by maweki 6y ago
Maybe you should look at visualizations like Regex Railroad Diagrams. This is what helps me most.
374.
by maweki 6y ago
> Sure, I get the benefits of type safety. It seems not ;) It's as if your java-compiler would stop warning you on forgotten semicolons and would instead error out during runtime when it reaches the statement with the missing semico
375.
by maweki 6y ago
A declarative description of what my machine should do with content I do not control is pretty important and gives important safety guarantees. We designed CSS, for example, to have a layouting algorithm that is limited in terms of backtrac
376.
by maweki 6y ago
Declarative descriptions are powerful and give safety guarantees by design. Doing everything in an imperative language makes basically every property undecidable. I would want termination of the layouting process to be terminating.
377.
by maweki 6y ago
It's pretty verbose, but it is useful in the sense that you have type-safety between character groups and the control characters. It's neat that it only allows you to create valid Regexes (I hope it does). At least you have static
378.
by maweki 6y ago
I don't know the dude. I "only" know that my field of research is deductive reasoning in interactive applications and that this area falls under "Logic Programming" and LP is an area of AI. I know that AI researcher
379.
by maweki 6y ago
Oh, I was not defending neural networks. This was the cynical sales pitch for the case where you don't want to employ mathematicians or computer scientists, but just throw code and computational resources at the problem.
380.
by maweki 6y ago
That's not symbolic AI though. That's only statistical methods. The statistical methods are all the rage now, but explainable AI that can reason is an important area of computer science (and research) and uses formal methods. Edit
381.
by maweki 6y ago
The machine learning course at my university starts out with polynomial regression and estimators, statistics of classification, etc.. Neural networks are only one tool in a large toolbox. But they are all the rage and it is no surprise tha
382.
by maweki 6y ago
If you have termination in general, it's much easier to get time bounds from input size. If you can't prove termination, you can't prove time bounds. And then how do you improve on that, besides guesstimating and benchmarking
383.
by maweki 6y ago
Usually something what I call a "decision core" is embedded in every interactive program. Deciding what to do with input. Sometimes this is just an if-else-tree, sometimes a statistical model, sometimes a logic program. Execution
384.
by maweki 6y ago
I have a variant of Datalog with an explicit model of time (like statelog or dedalus) and action atoms/external atoms from HEX (asp). Then I extract partial programs that provably use finite memory and construct finite state machines.
385.
by maweki 6y ago
That's not true though. SQL is not computationally complete. It does abstract over the complexity of access to relational data. And it is still used and useful. SQL is also not automatically brittle. There is a problem of a language ga
386.
by maweki 6y ago
It's fun to think about useful languages that are not computationally complete. I am writing my PhD thesis about Datalog used as a general purpose programming language, specifically for robots and microcontrollers. And you know what? Y
387.
by maweki 6y ago
The easiest way would be to use the normal python bindings and flask and attach some http endpoints to actor and sensor functions. I think this would only take a few hours to have something that essentially works.
388.
by maweki 6y ago
Slightly OT (but maybe not, as the article is about running strange things on the EV3): The EV3 is an incredible platform. I worked a bit (and am currently writing part of my PhD about it) on declarative Programming on EV3. You can find Pro
389.
by maweki 6y ago
I was asking where the irony would be coming from, and not whether the attached statement was factual.
390.
by maweki 6y ago
And why exactly would that be ironic?

More ›