isaac21259

14 ms·

61.
by isaac21259 5y ago
For those wanting to read more about this this is exactly how the real numbers are defined in the lambda calculus. https://cs.stackexchange.com/questions/2272/representing-neg...
62.
by isaac21259 5y ago
Of copilot were open source I wouldn't have an issue with it. However it is closed source and a later version it's intended to be sold.
63.
by isaac21259 5y ago
Any chance you remember what the paper was called? I'd love to read it.
64.
Carp(github.com)
2 points by isaac21259 5y ago|0 comments
65.
Find five positive integers whose reciprocals sum to 1(math.stackexchange.com)
11 points by isaac21259 5y ago|2 comments
66.
by isaac21259 5y ago
If your value of size is a power of two you could just encrypt x with a block cipher where the block size is equal to size and the key is your seed.
67.
Bertrand Russell Is the Pope (2010)(ceadserv1.nku.edu)
186 points by isaac21259 6y ago|121 comments
68.
by isaac21259 6y ago
Some techniques require you wake up in the middle of the night before going back to sleep. Personally I've always had far higher success with these methods than others.
69.
by isaac21259 6y ago
Relevant XKCD: https://xkcd.com/795/ Although I do agree the risk of stranger danger is overblown.
70.
by isaac21259 6y ago
Why doesn't the 2to3 tool that ships with python work for them? I rarely write python but I've had to convert from python 2 to 3 several times and it has always work fine. Are there gaps in 2to3 which I haven't encountered th
71.
by isaac21259 6y ago
If your looking for a good music player on Linux I highly recommend Lollypop. https://wiki.gnome.org/Apps/Lollypop#
72.
by isaac21259 6y ago
I think rust encourages encoding data like that. https://doc.rust-lang.org/rust-by-example/custom_types/enum....
73.
by isaac21259 6y ago
Speaking of great bug reports here's my favourite: Cat sitting on keyboard crashes lightdm https://bugs.launchpad.net/ubuntu/+source/unity/+bug/1463112
74.
by isaac21259 6y ago
Hi, I'm Isaac. I've been working on Algebraic for the past several months. Algebraic generates detailed text and video explanations of math problems for high-school students. I'm still in the early stages but it can solve sim
75.
by isaac21259 6y ago
There is an actual term for this: https://en.wikipedia.org/wiki/Gypsy_cop
76.
by isaac21259 6y ago
The Stranger by Camus
77.
by isaac21259 6y ago
Only if it is based on proof of work. Many cryptocurrencies are now based on proof of stake which does not generally require large amounts of energy. See Eth2 for an example.
78.
Paged Out Zine(pagedout.institute)
1 points by isaac21259 6y ago|0 comments
79.
by isaac21259 6y ago
https://pagedout.institute/ It's an online zine focused on programming and hacking. If you like 2600 you'll love pagedout.
80.
by isaac21259 6y ago
Not sure what you referring to with regards to screenshots as they're working fine for me. I've been using Wayland for a few months now (wayfire which I switched to from bspwm) and overall it's seemed like a huge improvement
81.
by isaac21259 6y ago
Why don't you trust Linode?