0db532a0

26 ms·

211.
by 0db532a0 8y ago
Call me a despot, but I am of the opinion that everyone should use the same development environment in a given team. That means same editor, same style and same OS. People might complain in the beginning if they have to change from another
212.
by 0db532a0 8y ago
Out of interest, do you know whether there are any problems with the SICStus version, and is there anything wrong with using SICStus over SWI?
213.
by 0db532a0 8y ago
Seems like I was looking for CLPQR with logical constraints, which doesn't seem to exist.
214.
by 0db532a0 8y ago
Along with interactive search (C-s forwards, C-r backwards), you can jump to the definition of a symbol (including a function) with ‘M-.’. These would be the idiomatic ways of moving around. There are multiple ways of maintaining up-to-date
215.
by 0db532a0 8y ago
`C-h k M-g g` (k for key) will also describe what the key-chord `M-g g` is bound to. Also, `C-h k` is bound to the function `describe-key`.
216.
by 0db532a0 8y ago
From first look, this library doesn't seem to provide a way of translating logical constraints into MIP constraints. I'm sure that could be implemented in terms of the library though.
217.
by 0db532a0 8y ago
Seems to be exactly what I was looking for. Thanks.
218.
by 0db532a0 8y ago
Thanks to all for the sources.
219.
by 0db532a0 8y ago
I would be interested (serious) to hear what GP has to say about this in light of his own experience.
220.
by 0db532a0 8y ago
Do you know of anyone combining prolog with integer linear programming? I modelled quite a complex convex optimisation problem as a mixed integer linear programme, but it was very buggy at the beginning to say the least. I was left wishing
221.
by 0db532a0 8y ago
P2P would have been an acceptable term at some point.
222.
by 0db532a0 8y ago
You don’t need linum-mode to jump to a line number. Just use M-g g, or M-g M-g.
223.
by 0db532a0 8y ago
It insulates sound very well, which is important to some people.
224.
by 0db532a0 8y ago
Or C++ and Java.
225.
by 0db532a0 8y ago
It isn’t, at least directly. I am actually really happy to see this alternative, as queue.h uses anonymous structs, which are C11 and not well supported.
226.
by 0db532a0 8y ago
It is more effective to use 100% of generated electric to pump 300% heat with a heat pump than it is to use that electric to generate heat by resistive load.
227.
by 0db532a0 8y ago
Why did people downvote this?
228.
by 0db532a0 8y ago
It is at the compiler level, but there is no reason that the same methods cannot be applied to binaries. Here's a paper I found from 2004 on static analysis of x86 executables: http://pages.cs.wisc.edu/~bgogul/Rese
229.
by 0db532a0 8y ago
For the record, mlockall on Linux can lock all future allocations, including those made by shared libraries. You don’t need to manage a memory pool yourself. https://linux.die.net/man/2/mlock
230.
by 0db532a0 8y ago
That’s true. I didn’t consider that. I’d be interested love to see a solution to it though. Maybe there’s some sort of OS-level solution, like how you can set the priority of processes.
231.
by 0db532a0 8y ago
These things exist for languages like C. In my imagination, completely unbased in real experience, it would not be too much harder to do for ASM. Just look at the comparisons, calls and jumps.
232.
by 0db532a0 8y ago
That’s quite an interesting problem. The mlock [1] system call allows you to lock chosen virtual memory into RAM. What about using that in combination with a memory pool which you manage yourself? [1] https://developer.apple.com&
233.
by 0db532a0 8y ago
What happened with Kaspersky?
234.
by 0db532a0 8y ago
Thanks to all for the sources.
235.
by 0db532a0 8y ago
Are there any tools that you can just run on binaries to find unreachable code?
236.
by 0db532a0 8y ago
What’s the best source for getting into C++ these days? I ask this as someone who already knows a good bit of C. I’m finding it difficult to know where to start, especially after reading about the proposed changes in C++20.
237.
by 0db532a0 8y ago
Why not use a timeseries database, like http://btrdb.io ?
238.
by 0db532a0 8y ago
Reminds me of a website I came across years ago where you had to tell a paedophile from a computer science professor. It really was sometimes quite different to tell.
239.
by 0db532a0 8y ago
Apples generally spoil barrels or bunches. Dead animals will generally spoil a well.
240.
by 0db532a0 8y ago
It’s neither true nor false, and value is subjective.

More ›