osense

9 ms·

31.
by osense 9y ago
What would you be generating the C from? Are there any open-source tools that generate this kind of C?
32.
by osense 9y ago
It seems unfortunate to have to run tests at all, all the more running them on the generated machine code. What about having to satisfy some real-time guarantees? Is this checked by tests as well?
33.
by osense 9y ago
Since there seem to be some people from the industry around, I’d like to ask: how are we doing with writing software for such safety-critical systems? Do we still use C and try to have it statically verified by various tools? Write the soft
34.
by osense 9y ago
I have been wondering about this — how much more enjoyable is it to read a book in it's original language, as opposed to just reading someone's translation? Or is it just the thought that you're able to read the original, as
35.
by osense 9y ago
Ah, good to know. Best of luck!
36.
by osense 9y ago
For me, it needs a qwerty keyboard to be of any interest at all. Still, quite impressive!
37.
by osense 9y ago
It would be even more impressive if the fireflies' internal clock was ticking at slightly different speeds. As it is now, once they're synchronized, turning the sync mechanism off has no effect and they stay synced forever.
38.
by osense 9y ago
Why not use swimming goggles? Presumably those would reduce the chance of water getting into your eyes :)
39.
by osense 10y ago
I guess that's better :) To expand a bit on my previous comment, the sad part is that even though we know that the topic is not really controversial scientifically, we somehow, subconsciously, refer to it as one. Elections and all that
40.
by osense 10y ago
> controversial topics like [..] Climate Change You're making me sad on a Friday afternoon.
41.
by osense 10y ago
I like pinboard.in
42.
by osense 10y ago
A type system was actually the original solution to Russell's paradox [1]. Today, we have type theories such as Martin-Löf type theory and Homotopy type theory, which can be used as a basis for constructive mathematics (i.e. mathematic
43.
by osense 10y ago
Very concise and easy to read, I like it :)
44.
by osense 10y ago
Another fun way to solve this is using Logic programming, e.g. http://baptiste-wicht.com/posts/2010/09/solve-einsteins-ridd...
45.
by osense 10y ago
Dialyzer uses something called Success typing. The gist is that while e.g. Haskell won't compile unless it can prove that your code is correct, Dialyzer will only complain if it can prove that your code is wrong. Personally, when I use
46.
by osense 10y ago
What is your opinion on the so-called Function-level programming, and languages such as J?
47.
by osense 10y ago
In a fair few of Borges' works, imaginary books play some important role. I was intrigued especially by his reviews of imaginary books. Borges himself has said this on the matter: "It is a laborious madness and an impoverishing on
48.
by osense 10y ago
> you can't change your face. You can obstruct it enough to confuse OpenCV: https://cvdazzle.com/ I wonder if this is the future of fashion?
49.
by osense 10y ago
Ah, I didn't notice at all :) Didn't even know there was such a thing as wikivoyage, definitely very cool though.
50.
by osense 10y ago
Whoa, didn't expect that much travelling information on Wikipedia, it almost reads like a travel guide. Thanks a lot for the link.
51.
by osense 10y ago
I wonder if it's possible to get some special ticket that lets you make the trip in separate legs at your leisure? Alternatively — I'm assuming it's possible to buy tickets at any of the stations where the train makes a stop
52.
by osense 11y ago
I recall hearing that CUDA has much more mature tooling. Not only the already mentioned cuDNN, but the CUDA Toolkit [0] seems like a really comprehensive set of tools and libraries to help you with pretty much anything you might want to com
53.
by osense 11y ago
I don't know how things are over in the US, but here in Czech republic, my experience with them was nothing but good. When my SSD broke down after about a month of using the thing, they paid for the shipping to and from the repair shop
54.
by osense 11y ago
https://github.com/gchq Cybersquatters...
55.
by osense 11y ago
Independent People is one of those rare books that manage to make bad choices relatable to the reader.
56.
by osense 11y ago
Just as there is a pattern to "regular" binary coding, there is a pattern to the Gray code -- albeit, perhaps, a more complex one. I'd imagine that after practicing counting from 0 to, say, 15, you'll be able to count fu
57.
by osense 11y ago
I sometimes get this feeling that Ubuntu is giving Linux a bad name, with all the weird stuff that happens (or unexpectedly fails to happen) when running it. Of course, I only have anecdotal evidence here... I've switched to Arch about
58.
by osense 11y ago
Interesting - can anyone provide an in-depth comparison to LFE [1]? From a quick look, it looks like Joxa is more similar to Clojure than it is to Common Lisp, whereas LFE takes the opposite appoach. [1] https://github.com/r
59.
by osense 11y ago
I would prefer a cross-platform solution much more... like an IntelliJ IDEA plugin, for example.
60.
by osense 11y ago
It's a bit funny you should say that, because right now there is this huge case about the government tunneling a private corporation which was supposed to build highways in the country all around the news in Slovakia :)

More ›