Notices by clacke (clacke@social.heldscal.la), page 2
-
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 16:26:20 EDT 
clacke
@cwebber Issue #143 is solved, and with another small fix gregor-lib now Just Builds with racket2nix, which is on the one hand nice, but on the other hand doesn't help you solve your problem.
When I'm back in Hong Kong and have a more powerful computer, I will have a look at reproducing your issue in guix. -
Abbie Normal (catonano@mastodon.social)'s status on Thursday, 07-Jun-2018 12:31:21 EDT 
Abbie Normal
@dthompson @cwebber @sajith @arunisaac
I posted it, finally
http://catonano.v22018025836661967.nicesrv.de/the-gnu-community.html
-
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 13:46:52 EDT
clacke
I was unlucky enough to have to regenerate racket2nix catalog.rktd right after #MSFTGothub and one developer moved over to gitlab.com and hasn't had time to update pkgs.racket-lang.org yet.
Adding some manual exceptions to look in the new location. Luckily it was easy to find, with retained user name and repo names. And I think it's just that one person (so far). -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 12:27:36 EDT
clacke
@cwebber @deadsuperhero Yeah, no, they're not. But as Mastodon frontends they are still part of the set of faces of the AP Fediverse. They don't belong in a formal AP guide, but in an introduction to what you can do on the network, I think they're relevant, as well as the various Mastodon- and Pleroma-compatible mobile apps. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 12:18:27 EDT
clacke
@dtluna @scolobb I agree to a reasonable degree. Have you verified that the reference kilo in France, the laser definition of the meter and the density of water at the triple point agree with what your physics table says? -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 12:17:05 EDT
clacke
@dtluna No, you built up a strawman.
> You're saying that no individual can figure out things on their own.
Yes.
> That is to say that YOU KNOW THAT NOTHING CAN BE KNOWN. This is contradiction.
No. It just means that we stand on the shoulders of giants. You cannot figure things out on your own because you don't have centuries to do it. Things can be known, but only if we start with the assumption that we already know some things.
If something doesn't smell right about the things we thought we already knew, maybe because of new observations, or just because of new angles of looking at things, we can go back and verify the chain. People do it all the time, and sometimes it leads to new breakthroughs.
But if all people are doing it all the time, there will be no time for new science and no time for new breakthroughs. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 10:44:11 EDT
clacke
@cwebber Sounds silly, but, hey, computers amirite.
I'm guessing it needs to load all code and then chooses some paths in runtime, but I haven't looked inside tzinfo.
It is my belief that what setup does is compile, generate and copy things, and any missing setup should only result in missing files, not a type mismatch or compilation phase mismatch or whatever this is. But I'm open for improved knowledge. :-)
"tzinfo" sounds a package that should be in use by a lot of other packages, and so shouldn't have obvious bugs. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 10:37:14 EDT
clacke
@cwebber Or hm, no that's internal to zoneinfo talking to itself. You're probably right, I just don't know enough to understand why. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 10:35:57 EDT
clacke
@cwebber No, that just looks like you got further in the process to uncover a previously shadowed error. I'm guessing gregor hasn't been updated for a long time? -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 10:35:02 EDT
clacke
@cwebber Wohoo, you helped me discover an uncovered source type in racket2nix!
https://github.com/fractalide/racket2nix/issues/143 -
Only Imani (imani@mastodon.social)'s status on Thursday, 07-Jun-2018 18:42:12 EDT 
Only Imani
https://medium.com/@dr_eprice/laziness-does-not-exist-3af27e312d01
-
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 07:40:00 EDT
clacke
@h @alcinnz I imagine the Nordic countries all have a similar story. I'm surprised and impressed than Finland seems to be doing IPv6.
What does "doing IPv6" mean in this graph? Google receiving mainly or a significant amount of IPv6 traffic?
Either way I can say about Sweden that national ISPs generally understand and somewhat promote IPv6, or at least individuals inside their organizations do. These ISPs all support IPv6. But they reach their customers through DSL and municipal fiber networks, and some corporate fiber or cable networks, and all of those categories generally do not support IPv6 at all. A few networks do. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 07:02:17 EDT
clacke
@dtluna You have taken my vague, conversational human language and chosen to interpret it as a statement of precise logic. This is not good faith communication, it's debate wankery. -
Kit Redgrave 🕯 (kitredgrave@glitch.social)'s status on Thursday, 07-Jun-2018 22:21:38 EDT 
Kit Redgrave 🕯
@Fenreliania google should have never stopped doing blobs
-
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 06:56:41 EDT
clacke
@dtluna It's only a contradiction if you deal in absolutes. This is not a mathematical proof.
"It seems to me that knowing any subject up to our modern level of knowledge, working entirely from first principles, is a ridiculous amount of work that you won't finish in time." is what you should interpret my words as, not "I can prove in no uncertain terms that you can't prove things in no uncertain terms.". -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 06:53:13 EDT
clacke
@dtluna What can I say? Life is full of these ambiguities. ;-)
I'm reasonably convinced that reasonably convinced is as knowing as you can reasonably be about a subject, unless you make it your life's work to really know that one subject from the ground up.
And I just have other problems I want to solve in my short time here. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 06:50:27 EDT
clacke
@h @alcinnz Sweden is an old-timer on the net and a small country, so it simply has a boatload of IPv4 and has been able to kick the can down the road. It's a disgrace, really, but easily explained.
South Korea surprises me. I would have assumed that they would have been using mostly IPv6 for years. -
clacke (clacke@social.heldscal.la)'s status on Friday, 08-Jun-2018 06:48:21 EDT
clacke
@dtluna Yes. It took us hundreds of years to get to this point. You are saying that you can figure out things from first principles, but I simply don't believe you.
By coincidence, I was reminded the other day by the surveillance machine that I had posted in 2014:
"I prefer my simplifications of how the world works to yours."
I still stand by that -- it's as good as it gets. State with confidence what you believe to be reasonably true, as long as you are willing to adjust it as you discover its blatant flaws as compared to reality.
Or you can do everything from first principles, do all the proofs on your own, and you'll never even reach the level of da Vinci, because there is so much more we know we don't know today than there was back then.
All Jonkman Microblog content and data are available under the