qcoh

6 ms·

1.
by qcoh 4y ago
How is it brittle? It solves the problem at hand, which is unambiguous (I think).
2.
by qcoh 5y ago
PBT is awesome but I would still like to have tests I can easily reason about when implementing a tricky algorithm. The way I see it, TDD is the specification, PBT is for finding gaps in my specification.
3.
by qcoh 5y ago
> I'd have to look up what the "/" in "M/L" means in the 5th reply (I didn't) M/L means that M is a field-extension over L. A concrete example would be C/R (the complex numbers over the r
4.
by qcoh 5y ago
Same here. The universe tipped back into balance when they didn't bother to reply after me asking about the role. :)
5.
by qcoh 5y ago
To add to that my current struggle: Most stuff is geared towards conda and terrible engineering practices (requirements.txt and not even locked versions). If you want to actually build and deploy something on actual hardware, you are in a w
6.
by qcoh 6y ago
Some things I like: * Frequent feedback from stakeholders and customers * Retrospectives * Standups These can be annoying but they help make sure that the right thing is developed. Things I don't like: * Things get rushed to get them d
7.
by qcoh 6y ago
From the FAQ, I don't get why the code has to be GPL licensed. It talks about libraries, "entire combinations", "software modules that link" and "work as a whole". On your second point: Can't they arg
8.
by qcoh 6y ago
That worked, thank you!
9.
by qcoh 6y ago
Three reasons for me: * It disconnects more than once per day, requiring me to enable the wifi hotspot again on the phone * The phone gets very hot * It is slower than usb tethering: In my measurements, I get about 4MByte/s over USB an
10.
by qcoh 6y ago
If anyone else struggles with how the formulae "V-J=1" and "1+D-F=0" are obtained: You can think of the two different ways of joining bodies of water (join two separate bodies of water (J) and join the same body of water
11.
by qcoh 6y ago
Out of curiosity, how did you do that in C++?
12.
by qcoh 7y ago
There's a paper describing the use for railway applications [0]. A few years back I had an interesting discussion with one of its authors and was shown the real model and code. Interestingly, they generated C from the TLA+ spec and thi
13.
by qcoh 7y ago
I tried this once with multiple components (each being built into a static library), components "exporting" public includes (with correct dependencies across component boundaries) and tests for every component (as well as integrat
14.
by qcoh 8y ago
I really like Alone in the Wilderness, which is about Dick Proenneke building his log cabinby hand and living a solitary life in Alaska.
15.
by qcoh 8y ago
I think you're right, see [0]. Furthermore E9 is not "JP (HL)" but rather "JP HL". If I remember correctly a few timings or instruction sizes are off as well. [0]: http://www.devrs.com/gb/files&
16.
by qcoh 9y ago
Sorry for the unrelated comment but I wanted to thank you for your nice lecture notes. I found them clear and very helpful during my studies.
17.
by qcoh 9y ago
From the article you linked: "The ECB says the €500 banknote remains legal tender and will always retain its value."
18.
by qcoh 10y ago
Thank you for the explanation! I'll have to look out for that one...
19.
by qcoh 10y ago
Sorry, can you clarify? Adding the template argument causes a crash on idone, but I have no idea why that happens. Moreover, the output on my computer is always b\n. EDIT: Not sure if this is it, but after some digging I've found [0] o
20.
by qcoh 10y ago
Works for me in both C++03 and C++14? https://ideone.com/KhfGaN
21.
by qcoh 10y ago
You might also enjoy [0] (which is based on [1]). [0]: https://simonschreibt.de/gat/zelda-wind-waker-hyrule-travel-... [1]: http://polycount.com/discussion/104415/zelda-wind-waker-tech...
22.
by qcoh 10y ago
You need to know a few interesting categories and functors before you can appreciate it. Without that, it is really abstract nonsense.
23.
by qcoh 10y ago
Yes, it works for a (very) short time. Cool trick, thanks!
24.
by qcoh 10y ago
I had a similar situation just recently with an old Gmail account. Despite knowing the password , Gmail wants me to answer the security question or log in from a place I logged in ten years ago or list folder names (which didn't exist
25.
by qcoh 11y ago
Symbolic differentiation is what you learned in school and do by hand. Automatic differentiation is, as far as I understand it, you take your nice function, develop it into a Taylor series around x: f(x + h) = f(x) + f'(x) h + f&
26.
by qcoh 11y ago
> Yeah, generic design pattern which is minimal, compact and simple. A good argument for monads. Much better than the dishonest appeal to mathematics.
27.
by qcoh 11y ago
It's useful because it's a generic design pattern not because of the mathematics behind it (of which virtually nothing is actually used, at least in everyday programming).
28.
by qcoh 11y ago
But just using the definitions is cargo cult and using abstractions for the sake of using abstractions is not necessarily good mathematics. Currently it looks like "use this design pattern because mathematics".
29.
by qcoh 11y ago
>Like unless they have families that they're hoping to have evacuated (why didn't they bring them over in the first place?), The reasons I've gathered so far are: The journey is dangerous not just because of the risk of dr
30.
by qcoh 11y ago
Should work on an Atom 270 netbook without lagging. Currently I have to use either dillo or Opera 12.something.

More ›