Singpolyma

Microblog

On 2016-9

singpolyma commented on issue siacs/Conversations#1643. @ 2016-9 22:21 UTC
singpolyma commented on Resume after laptop hibernate? at Reddit, saying
What tor version are you running? Maybe it's a bug in my version.

Does it reconnect quickly when you come out of hibernate, or does it take some time?

in reply to @ 2016-9 19:55 UTC
Stephen Paul Weber posted, “My short domain is still down… please hold while Morocco figures things out 😛” @ 2016-9 14:16 UTC
Stephen Paul Weber posted, “This is why we *need* freedom: http://www.axanarproductions.com/cbs-and-axanar/ #ChillingEffect” @ 2016-9 13:58 UTC
singpolyma commented on Tor Anonymity: Things Not to Do at Reddit, saying
If I connect to hidden services of various kinds, much of this advice should not matter, correct? Because there is no exit node so my circuit is not dirty?

in reply to @ 2016-9 04:05 UTC
singpolyma submitted Resume after laptop hibernate? to Reddit @ 2016-9 03:42 UTC

On 2016-8

singpolyma commented on Free Software Needs Marketing. at Reddit, saying
Completely agree. Maybe we should make good microsites for some of the top stuff (like libreoffice)?

in reply to @ 2016-8 22:36 UTC
singpolyma commented on How would you match on the type of exception returned? at Reddit, saying
If you ever get stuck with a SomeException, you can downcast using http://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Exception.html#v:fromException

in reply to @ 2016-8 22:32 UTC
singpolyma commented on Telegram Bot API bindings at Reddit, saying
Yeah. Telegram is pretty worthless

in reply to @ 2016-8 22:30 UTC
singpolyma commented on issue kontalk/androidclient#567. @ 2016-8 19:22 UTC
singpolyma commented on issue kontalk/androidclient#567. @ 2016-8 17:22 UTC
singpolyma commented on issue siacs/Conversations#1642. @ 2016-8 14:20 UTC
singpolyma commented on Announce: a library providing a version of IO, which is cured from exceptions at Reddit, saying
In this case all exceptions in the IO action have been excised, but readFile sticks a pseudo-exception into the pure value inside the IO action.

in reply to @ 2016-8 13:43 UTC
singpolyma commented on Announce: a library providing a version of IO, which is cured from exceptions at Reddit, saying
A library to wrap the standard IO actions unexceptionally is something I've considered also.

There shouldn't be any other kinds of pseudo-exceptions that "should not be caught" since any other exception type is thrown on purpose. If you don't want to handle it at the call site, use ExceptT

in reply to @ 2016-8 13:38 UTC
singpolyma commented on Your favourite language extension? at Reddit, saying
RankNTypes is by far the most expressive addition not yet in Haskell, and many things simply cannot be written (or must be written very differently) without it

in reply to @ 2016-8 04:37 UTC

On 2016-7

On 2016-6

Stephen Paul Weber posted, “@flying_squirrel fixed, but may still be cached. full link: https://singpolyma.net/actionstream/remember-when-google-maps-the/” in reply to @ 2016-6 23:20 UTC
Stephen Paul Weber posted, “"Remember when Google Maps, the most sophisticated web app of its day, was thirty-five times smaller than a modern news article?" — http://idlewords.com/talks/website_obesity.htm” @ 2016-6 22:49 UTC
singpolyma commented on issue siacs/Conversations#1643. @ 2016-6 22:43 UTC
singpolyma commented on issue siacs/Conversations#1643. @ 2016-6 22:36 UTC
singpolyma commented on issue siacs/Conversations#1643. @ 2016-6 22:29 UTC
singpolyma opened issue singpolyma/cheogram#26. @ 2016-6 22:26 UTC
singpolyma commented on issue siacs/Conversations#1643. @ 2016-6 22:10 UTC
singpolyma commented on issue siacs/Conversations#1642. @ 2016-6 22:07 UTC
singpolyma opened issue siacs/Conversations#1643. @ 2016-6 21:35 UTC
singpolyma commented on issue siacs/Conversations#1627. @ 2016-6 21:12 UTC
singpolyma commented on issue siacs/Conversations#1639. @ 2016-6 21:09 UTC
singpolyma commented on issue siacs/Conversations#1642. @ 2016-6 21:04 UTC
singpolyma commented on issue Gabriel439/Haskell-Errors-Library#25. @ 2016-6 17:24 UTC
singpolyma commented on pull request singpolyma/unexceptionalio#7. @ 2016-6 17:08 UTC
singpolyma pushed to master at singpolyma/unexceptionalio. @ 2016-6 17:08 UTC
singpolyma merged pull request singpolyma/unexceptionalio#7. @ 2016-6 17:08 UTC
singpolyma commented on Let's talk about Respect Your Freedom's more controversial requirements at Reddit, saying
Do you reject the idea that RYF-certified devices respect freedom? Independent of anything else they may also do?

in reply to @ 2016-6 14:32 UTC
singpolyma commented on Let's talk about Respect Your Freedom's more controversial requirements at Reddit, saying
Given that RYF means "endorsed by FSF" then of course you can't use terms or anything else they dislike. That's how you get advertising endorsements in any case, by submitting to the will of the endorser.

in reply to @ 2016-6 13:31 UTC
singpolyma commented on I want an entirely open source phone OS at Reddit, saying
The OS is not the hard part. Drivers are the hard part

in reply to @ 2016-6 13:17 UTC
singpolyma commented on Using a small sound effect licensed under ShareAlike, do I have to change my entire projects license now? at Reddit, saying
Once you're dealing with the copyright hold the CC license no longer matters at all. If you buy a different license then you abide by the terms of that different license.

in reply to @ 2016-6 02:09 UTC

On 2016-5

Stephen Paul Weber posted, “"put your readers in control of how they view the web instead of giving the control to the people with the servers" — http://hapgood.us/2015/12/30/why-facebook-won-and-other-hard-truths/” @ 2016-5 22:02 UTC
singpolyma commented on Are StrictHaskell and OverloadedRecordFields the beginning of Haskell 2.0? at Reddit, saying
Laziness is a better default. You can always be explicitly strict if you need to

in reply to @ 2016-5 21:20 UTC
singpolyma commented on issue Gabriel439/Haskell-Errors-Library#25. @ 2016-5 21:09 UTC
singpolyma pushed to master at singpolyma/unexceptionalio. @ 2016-5 21:08 UTC
singpolyma commented on Using a small sound effect licensed under ShareAlike, do I have to change my entire projects license now? at Reddit, saying
If you can convince them to go for a freedom-respecting license, that would be idea. But if you cannot, then I agree you are stuck with regards to proprietarising this particular libre sound effect. Perhaps you can buy one from a stock sound company or similar?

in reply to @ 2016-5 21:00 UTC
singpolyma commented on issue Gabriel439/Haskell-Errors-Library#25. @ 2016-5 20:43 UTC
Stephen Paul Weber posted, “@w00teh http://conversations.im register with yax.im = awesome” in reply to @ 2016-5 19:17 UTC
Stephen Paul Weber posted, “@resiak need more bridges/gateways” in reply to @ 2016-5 18:57 UTC
singpolyma commented on Using a small sound effect licensed under ShareAlike, do I have to change my entire projects license now? at Reddit, saying
Correct. Unless you can make some sort of legal argument why you are not required to abide by the term of the copyright holder, you either cannot use their work at all, or must abide by their terms (which would include licensing your work as CC-BY-SA or one of the compatible licenses, such as ArtLibre).

The video itself is a strict safety guide so it cannot really be remixed or transformed.

Anything can be remixed. For example, a translation is a remix that seems likely to be useful in such a case.

in reply to @ 2016-5 18:03 UTC
singpolyma commented on Open source email client? at Reddit, saying
mutt is what I use daily, so let me know if you have questions 🙂

in reply to @ 2016-5 15:31 UTC
singpolyma commented on issue younix/sj#8. @ 2016-5 02:28 UTC
singpolyma commented on Open source email client? at Reddit, saying
If Thunderbird is too heavy for you then Claws.

Unless you like terminal and/or awesome things, in which case try mutt

in reply to @ 2016-5 02:01 UTC
Stephen Paul Weber posted, “New book translation! https://archive.org/details/BigBuckBunnyBoardBookDe #German #BigBuckBunny” @ 2016-5 02:00 UTC
singpolyma pushed to master at singpolyma/big-buck-bunny-board-book. @ 2016-5 01:15 UTC

On 2016-4

On 2016-3

singpolyma submitted Crowdsourcing Decemberween Greetings to Reddit @ 2016-3 22:29 UTC
singpolyma commented on Resource Management in Haskell at Reddit, saying
Relevant: https://hackage.haskell.org/package/resourcet

in reply to @ 2016-3 19:29 UTC
singpolyma commented on pull request siacs/Conversations#1611. @ 2016-3 16:26 UTC
singpolyma commented on Exceptions Best Practices at Reddit, saying

looking at a function signature you do not know if an exception can be thrown

Which is, in practise, the case in GHC. Sure, it's all well and good to say "IO can always throw an exception", but in practise you do not expect this of many IO actions.
in reply to @ 2016-3 13:10 UTC
singpolyma commented on Exceptions Best Practices at Reddit, saying
That's why I added several more comments 😉

in reply to @ 2016-3 13:02 UTC
singpolyma commented on Question about CC. at Reddit, saying
Of course. As they copyright holder, you can grant anyone any other license you like.

in reply to @ 2016-3 04:02 UTC

On 2016-2

singpolyma commented on Question about CC. at Reddit, saying
While you may choose to do this of course (it's your work, you may choose whatever you wish) — I would suggest looking into the SA clause and copyleft generally. This is a much bigger ask than just "a small attribution" and both much more beneficial to society and tends to discourage the sort of big-money corporate exploitation you probably fear most.

in reply to @ 2016-2 23:25 UTC
singpolyma commented on Exceptions Best Practices at Reddit, saying

For a while I put syncIO from the errors package everywhere

Yeah. If you want to be extra paranoid then syncIO from https://hackage.haskell.org/package/unexceptionalio-0.2.0/docs/UnexceptionalIO.html is your friend. Forces you to never forget it anywhere. Then handle anything reasonable at the call site and propagate anything that needs to be with a differentiated type.

People like to hate on the typed exceptions in Java, but the issue there is the lack of type inference really.

None of this will help you with async exceptions or programmer errors, but those need to be handled in a different way anyway.
in reply to @ 2016-2 21:54 UTC
singpolyma commented on pull request snarfed/granary#71. @ 2016-2 21:41 UTC
singpolyma pushed to title-to-facebook at singpolyma/granary. @ 2016-2 21:41 UTC
singpolyma commented on issue Gabriel439/Haskell-Errors-Library#25. @ 2016-2 21:26 UTC
singpolyma commented on I'm starting a project i'd like to make open source, how? at Reddit, saying
It's a learning management system — see also https://en.wikipedia.org/wiki/Learning_management_system and https://en.wikipedia.org/wiki/Moodle

in reply to @ 2016-2 21:24 UTC
singpolyma commented on Exceptions Best Practices at Reddit, saying

Almost any IO code in there will have the ability to throw some other type of exception

I struggled with this for a long time before finally writing https://hackage.haskell.org/package/unexceptionalio

and additionally, almost any async exception can be thrown even if no synchronous exception is possible.

This is true even in pure code. Async exceptions can happen anywhere at any time for any reason, so one is never in danger of thinking "ah, well I wont get an async exception here" because you can get them anywhere
in reply to @ 2016-2 21:23 UTC
singpolyma commented on Exceptions Best Practices at Reddit, saying

foo = do
if x then return y else error "something bad happened"

The problem is the usage of arbitrary string-based error messages. This makes it difficult to handle this exceptional case directly in a higher level in the call stack.

Also, this is not an example of an exception at all… it happens to be implemented using the same machinery in GHC, so you could treat it as one, but really it's a signal of programmer error. So not only is it "only a string" but it's also not a meant-to-be-caught exception of any kind.
in reply to @ 2016-2 21:21 UTC
singpolyma commented on Exceptions Best Practices at Reddit, saying
More of this FUD

in reply to @ 2016-2 21:18 UTC
singpolyma commented on Living only from Free Culture at Reddit, saying
I love Doctorow, but most of his books are not Free Culture. Most are NC and many are also ND

in reply to @ 2016-2 13:17 UTC
singpolyma commented on I'm starting a project i'd like to make open source, how? at Reddit, saying
Have you looked at moodle? It might be a good base to start from

in reply to @ 2016-2 13:15 UTC
Stephen Paul Weber posted, “This image is great. Credit: http://techditz.russwurm.org/blogs/2014/01/01/happy-gnu-year/” @ 2016-2 05:02 UTC
Stephen Paul Weber posted, “@HippyWizard @dj3vande I didn’t find it amazing, but pretty good esp compared to prequels” in reply to @ 2016-2 04:52 UTC
singpolyma commented on pull request snarfed/granary#71. @ 2016-2 01:11 UTC
singpolyma commented on pull request snarfed/granary#71. @ 2016-2 01:11 UTC

On 2016-1

singpolyma commented on Living only from Free Culture at Reddit, saying
A loft goal. I would have thought video would be the hard part, since you have to almost eliminate it completely (not much libre video exists).

There is quite a bit of free music. Free Music Archive and libre.fm are great places to start, as well as http://rynothebearded.com/

in reply to @ 2016-1 23:31 UTC
singpolyma commented on Good open-source replacement for Sublime? at Reddit, saying
gedit can be pretty good

Or, you know, Just Use Vim

in reply to @ 2016-1 23:26 UTC

« Previous • Next »