HNHacker News
TopNewBestAskShowJobs

zschoche

256 karma · joined September 15, 2012

https://zschoche.org
submissionscomments
zschoche··on Database Fundamentals
Quick question: what are the NP-hard problems in the database area?
zschoche··on Link-Time Optimisation (LTO)
It would be great if someone could precisely define what is the goal we would like to optimize. In mathematical terms.
zschoche··on A linear algebra trick for computing Fibonacci numbers fast
Nit: if number n is given in binary representation in the input, then an O(n)-algorithm runs in exponential time as n is an exponential function of log(n). Hence, log(n)^O(1)-time algorithms for the Fibonacci number are reasonable to exist, unless the decision version of the Fibonacci number is NP-hard.
zschoche··on You probably shouldn't use a lookup table (2022)
Well, it always depends on what you lookup i.e. how much time one needs to compute entries of the given lookup table. If it takes O(2^n) time , then payback comes quickly, where n is the input size. It’s good advice to be very skeptical if one drops general statements like that. Look for algorithms with the best worst -case time complexity is a good start. It will always win. Theory works. Question is only of big the input has to be in order to see that. Here, the fun part starts I guess.
zschoche··on Modern SAT solvers: fast, neat and underused
Okay let (P,k) be a parameterized problem which admits a fixed-parameter algorithm with respect to k. That means you have an algorithm which runs in f(k)n time, where n is the input size and f is a function only depending on k (for example (2^k)*n). Hence, if your real-world instances have always a small k then you can solve arbitrary large instances. Note that one problem can have a lot of different parameters and not all admitting such an algorithm (unless the world is very different than we believe). Now let (P’,h) be another parameterized problem and you have a polynomial time reduction from P’ to P. Then, this reduction gives you a fixed-parameter algorithm for P’ with respect to h if the value of k in the reductions depends only on h and nothing else.
zschoche··on Modern SAT solvers: fast, neat and underused
if a problem is NP-hard does not mean that each instance is hard to solve. From my experience many instances appearing in practice are easy to solve even if there very large. The problem with these instances is that it takes to much space to write done the SAT-formual. So you do not even get to the point where you would run the solver. But a simple problem specific search tree algorithm has no problem with solving it. Bottom line, if you really need to solve a NP-hard problem then you might want to look for fixed-parameter tractable algorithms.
zschoche··on Demystifying C++ lambdas
In most cases, lambdas are rvalues. That can have an impact on its scope and lifetime.
zschoche··on Framework 7 – Building native iOS apps in HTML5
There is nothing native. Go home and read a books.
zschoche··on Talloc: The Tutorial
It looks like they understand memory as a tree, but in complex structures it's a graph. I couldn't found how they handle ring topologies. I guess, this stealing stuff doesn't help.
zschoche··on Clocks Are Bad, Or, Welcome to the World of Distributed Systems
Decades ago albert einstein introduced the general theory of relativity, which is already telling us that timestamps are bad for synchronisation.
zschoche··on C++, it's time to go
Not sure what is meant by "research".

It would be nice to justify statements. To write something in upper cases isn't a justification and doesn't make sense.

Each new programming language seems to be better and so on. But if we are looking to the hottest shit on the planet of the past year like java, ruby, python, etc. we can say that we didn't know their problems at the beginning.

zschoche··on Poll: What are your liked and disliked programming languages?
Go - Like
zschoche··on Poll: What are your liked and disliked programming languages?
C++ - Like
zschoche··on Monitor your Website’s Uptime with Google Docs
Why exactly does need this app access to all my data at google?

Scary