Singpolyma

Microblog

On 2015-316

On 2015-315

singpolyma opened issue siacs/Conversations#1566. @ 2015-316.928Z
singpolyma commented on issue siacs/Conversations#1515. @ 2015-316.923Z
singpolyma commented on issue siacs/Conversations#1527. @ 2015-316.922Z
singpolyma commented on issue siacs/Conversations#1536. @ 2015-316.921Z
singpolyma opened issue siacs/Conversations#1565. @ 2015-316.916Z
singpolyma commented on RK3288 - Modern System on a Chip, supports LibreBoot at Reddit, saying
This one is unlikely to be different. There will likely be a peripheral that is not yet supported by fully-free stacks. Things like the Hummingboard come closest (there is a VPU that requires a blob, but the VPU is not needed for operation). This looks likely to be in a similar class to that WRT freedom.

in reply to @ 2015-316.900Z
singpolyma commented on RK3288 - Modern System on a Chip, supports LibreBoot at Reddit, saying
Many don't have any bootcode at all. Depends on the SoC. The Raspberry Pi certainly has a very nonfree boot path.

in reply to @ 2015-316.818Z
singpolyma commented on Erik Meijer: "Let's make over 2 decades worth of literature about monads in Haskell obsolete in one strike!" at Reddit, saying
I think join is more important than GND. But I see how that might slow implementation in GHC specifically

in reply to @ 2015-316.817Z
singpolyma commented on Excuse me, I think this is my stop now... at Reddit, saying
If any other language could touch Haskell we might consider using it, yes 😉

in reply to @ 2015-316.554Z
singpolyma commented on Excuse me, I think this is my stop now... at Reddit, saying

when their arguments have been responded to at length

"responded to" is not the same as "given good reason for"…
in reply to @ 2015-316.553Z
singpolyma commented on Excuse me, I think this is my stop now... at Reddit, saying
Haskell98 is miles ahead of any other programming language in almost every way. Haskell2010 cleans up some of the rough edges on that, putting it even further ahead. GHC's Haskell-like language may have a confusing concoction of crazy features, but most of them are optional and some are also things you won't find elsewhere.

Maybe we do need some "progress", but it'll take a long time for anyone else to come close to catching up. Even brand-new languages that are good like rust often omit basic things (whole-program inference, higher-kinded type variables) that Haskell does with ease.

in reply to @ 2015-316.551Z
singpolyma commented on RK3288 - Modern System on a Chip, supports LibreBoot at Reddit, saying
Isn't Libreboot usually only needed for x86 systems? ARM you should be able to jump straight to bootloader/kernel…

in reply to @ 2015-316.548Z
singpolyma commented on If Haskell is such a terrible language, what do they program in? at Reddit, saying

(type-theorists, category theorists?) … what do they use to solve real-life programming problems

I think you have your answer
in reply to @ 2015-316.546Z
singpolyma commented on Erik Meijer: "Let's make over 2 decades worth of literature about monads in Haskell obsolete in one strike!" at Reddit, saying
GHC can't even compile Haskell programs these days. Damage is done, lets get the goods while we're there!

in reply to @ 2015-316.543Z
singpolyma commented on Erik Meijer: "Let's make over 2 decades worth of literature about monads in Haskell obsolete in one strike!" at Reddit, saying
Now we just have to move join in to the class…

in reply to @ 2015-316.158Z
singpolyma commented on A long list of frustrations and suggestions - Linux on the desktop is a mess at Reddit, saying
indeed

in reply to @ 2015-316.156Z

On 2015-314

On 2015-313

Stephen Paul Weber posted, “If you’re ignoring facts because of their source, consider not doing that.” @ 2015-314.973Z
singpolyma opened issue wekan/wekan#396. @ 2015-314.967Z
singpolyma opened issue jcbrand/converse.js#515. @ 2015-314.846Z
singpolyma commented on Jamendo Lies at Reddit, saying
Jamendo has been less-than-clear about this stuff for some time. It's probably not because they're evil, though it's tempting to think so given that the commercial licenses are their business model.

in reply to @ 2015-314.787Z
Stephen Paul Weber posted, “Canadian court rules sharing news is copyright infringement: http://www.michaelgeist.ca/2015/11/flawed-copyright-case-places-spotlight-on-canadas-digital-lock-problem/” @ 2015-314.638Z

On 2015-312

singpolyma commented on issue singpolyma/openpgp-php#14. @ 2015-313.818Z
Stephen Paul Weber posted, “@des4maisons even better: use <section> with an id” in reply to @ 2015-313.786Z
singpolyma commented on Does this happen to anyone else: I mention Haskell to somebody I meet, and they hear Pascal. at Reddit, saying
Talking about the pronunciation of "Pascal" if you read the quote 🙂

in reply to @ 2015-313.753Z
Stephen Paul Weber posted, “@CanadaTrade for example, this: http://www.michaelgeist.ca/2015/11/official-release-of-tpp-text-confirms-massive-loss-to-canadian-public-domain/” in reply to @ 2015-313.730Z
singpolyma commented on Does this happen to anyone else: I mention Haskell to somebody I meet, and they hear Pascal. at Reddit, saying

I've heard first language English speakers pronounce "Pascal" with stress on the first syllable (like "rascal").

All the time. This used to annoy me, but at this point I figure it's just the way English speakers pronounce it.
in reply to @ 2015-313.673Z
singpolyma commented on A long list of frustrations and suggestions - Linux on the desktop is a mess at Reddit, saying
There is no "whole thing"

in reply to @ 2015-313.582Z
singpolyma commented on Prelude's `lines` is not bijective :( at Reddit, saying
n is only ever a "separator" in broken data. It has always been a terminator.

That said, of course we won't change the semantics of functions in Prelude… hopefully ever…

in reply to @ 2015-313.575Z
singpolyma commented on A long list of frustrations and suggestions - Linux on the desktop is a mess at Reddit, saying
It's not fragmentation. It's competition.

in reply to @ 2015-313.575Z

On 2015-311

Stephen Paul Weber posted, “International Trade Minister Chrystia Freeland "want[s] Canadians to send her comments" on #TPP: http://m.therecord.com/news-story/6086947-balsillie-says-canada-outfoxed-by-tpp” @ 2015-312.929Z
singpolyma commented on A long list of frustrations and suggestions - Linux on the desktop is a mess at Reddit, saying
You seem to be treating "Linux" as a single product/OS when you complain about the plethora of DE/package managers/distros.

In fact, each distro is a distinct (or mostly distinct) product/OS. I never tell people "use Linux" because that is borderline meaningless. I tell them "use lubuntu".

in reply to @ 2015-312.750Z
singpolyma commented on Prelude's `lines` is not bijective :( at Reddit, saying
The alternative would be to make "lines" on a string not ending in a newline an error. Agree the documentation should spell it out in case it's not obvious.

in reply to @ 2015-312.584Z
singpolyma commented on Pi-top OS vs. Raspbian at Reddit, saying
pi-top OS is just raspbian with some additional gui stuff preinstalled. I haven't tried normal raspbian yet, but it should work fine.

in reply to @ 2015-312.196Z
singpolyma commented on Pi-Top Update - Raspberry Pi based laptop is finished! Here is the first unboxing and images from the factory floor. at Reddit, saying
Everyone I show mine to loves the green! Other bright colours would have been cool too. The votes for gray baffled me, hehe.

in reply to @ 2015-312.193Z
singpolyma commented on Pi-Top Update - Raspberry Pi based laptop is finished! Here is the first unboxing and images from the factory floor. at Reddit, saying
Except currently the GPIO pins are all used up by a connector cable… support tells me they'll be releasing add-on boards to regain some access to the rpi eventually.

For now I have to keep trying to train myself on this keyboard. If you don't push firmly right in the middle of the keys, they keyswitch doesn't fire. Takes some very careful typing 🙂

in reply to @ 2015-312.191Z

On 2015-310

singpolyma pushed to master at singpolyma/big-buck-bunny-board-book. @ 2015-311.877Z
singpolyma pushed to master at singpolyma/big-buck-bunny-board-book. @ 2015-311.875Z
singpolyma commented on TIL systemd has a feature where it will restart your system if you press crtl + alt + delete 8 times in under 2 seconds. at Reddit, saying
Something the matter with your reset button? 😉

in reply to @ 2015-311.762Z
singpolyma commented on Why is avahi-daemon still included in most modern distros? at Reddit, saying
zeroconf is a pretty amazing tech. I rely on it in all my small/home network situations! I'm very glad adoption has been steadily rising.

in reply to @ 2015-311.754Z

On 2015-309

singpolyma commented on issue e14n/pump.io#1130. @ 2015-310.848Z
Stephen Paul Weber posted, “Got my pi-top yesterday! A very neat little machine.” @ 2015-310.696Z
singpolyma commented on TPP has provision banning requirements for transfer of or access to source code of software - GPL to be made illegal? at Reddit, saying
No. Doesn't affect GPL. Affects government purchasing policies, etc.

in reply to @ 2015-310.688Z
singpolyma commented on The case for Free use: reasons not to use a Creative Commons -NC license at Reddit, saying
The real question is: do you have the resources to sue such a major exploiter and win? If yes, then maybe NC is for you in some cases (though see the OP), if not, you're only stopping "the little guy".

in reply to @ 2015-310.590Z
Stephen Paul Weber posted, “The #TPP will decimate municipal archives: http://www.geekman.ca/2015/11/the-tpp-vs-municipal-archives.html?m=1” @ 2015-310.556Z

On 2015-308

Stephen Paul Weber posted, “RT @fightfortheftr The #TPP has at least 99 problems, but here are 5 of the worst. Retweet this and take action http://FightTheTPP.org” repost of @ 2015-309.865Z
Stephen Paul Weber posted, “Official text reveals #TPP will rob Canadian artists: http://www.michaelgeist.ca/2015/11/official-release-of-tpp-text-confirms-massive-loss-to-canadian-public-domain/” @ 2015-309.752Z
singpolyma commented on When will BTRFS finally be ready? at Reddit, saying
It honestly baffles me why Oracle continues to sponsor btrfs when they own the codebase that got them to start the project. I guess sunk costs.

in reply to @ 2015-309.573Z
Stephen Paul Weber posted, “It’s the Fifth. Are you watching?” @ 2015-309.566Z
singpolyma commented on When will BTRFS finally be ready? at Reddit, saying
When they realise they only started it because of the ZFS code base license, but then spent all of the work it would have taken to reimplement ZFS implementing something incompatible. Then realise Oracle owns the copyright on both now and can probably dual-license ZFS, thus getting rid of the original need.

Or, you know, ZoL or whatever

in reply to @ 2015-309.539Z
singpolyma commented on I'm sick and tired of angry complaints and reproaches in Linux communities. You realize that most of the work is done by volunteers, users like yourself? at Reddit, saying
He's arguing endless-September-style that the existence of a project with the goal of bringing in new (nontechnical) users is bad for him overall. And he gives examples of how.

in reply to @ 2015-309.535Z

On 2015-306

Stephen Paul Weber posted, “RT @sarahmei There isn’t actually much code that can or should be re-used in the two environments. The appropriate abstractions are usually different.” repost of @ 2015-307.705Z
Stephen Paul Weber posted, “RT @wordwill "I agree with you and think you make a terrible argument" is not something we have the roads to convey very well. But it’s important to me.” repost of @ 2015-307.704Z
singpolyma commented on issue e14n/pump.io#1130. @ 2015-307.659Z
singpolyma commented on What's legal but morally wrong? at Reddit, saying

Well here, if Microsoft released every version of Windows for free with paid support for Enterprise, would they still be making a business out of it?

You know that is essentially their actual business model, right? They give out free stuff to schools, encourage piracy, free windows 10 upgrades, etc. All to drive the enterprise site licenses.
in reply to @ 2015-307.555Z
singpolyma commented on What's legal but morally wrong? at Reddit, saying
This idea is still floating around? Interesting…

in reply to @ 2015-307.554Z

On 2015-305

On 2015-304

singpolyma commented on Please don't use Slack for FOSS projects at Reddit, saying
What software were you using? In what way were you abusing it?

in reply to @ 2015-305.778Z
singpolyma commented on Please don't use Slack for FOSS projects at Reddit, saying
If you want a bit more flexibility, use XMPP. Or, best, XMPP with an IRC bridge.

in reply to @ 2015-305.728Z
Stephen Paul Weber posted, “Michael Geist to speak on #TPP in Waterloo: https://www.cigionline.org/events/tpp-copyright-and-innovation-are-canadian-creators-or-public-interest-risk” @ 2015-305.642Z
singpolyma commented on Install Wacom Intuos Tablet on Linux at Reddit, saying
Pretty sure it's bundled with X11 on most distros… even without gnome…

in reply to @ 2015-305.530Z
singpolyma commented on Glass Half - latest Blender short CC-BY film at Reddit, saying
I laughed out loud at the ending

in reply to @ 2015-305.518Z
singpolyma commented on Good blogging site that is free and doesn't need to use ant non-free things like non free javascript? at Reddit, saying
WordPress. Or GNU Social. Or known/withknown/idno

in reply to @ 2015-305.517Z

On 2015-303

On 2015-302

On 2015-301

Stephen Paul Weber posted, “#BigBuckBunny board book: first copy!” @ 2015-302.903Z
Stephen Paul Weber posted, “"If you keep telling a child they are a failure…after a while they’ll start agreeing": http://thatbooksmell.tumblr.com/post/132150579497/in-third-grade-i-had-this-teacher-who-would-give” @ 2015-302.840Z
singpolyma commented on What does your theoretical ideal laptop look like? at Reddit, saying
Partly for heat/power consumption/fanless possibility

Partly because homogeneity is bad

in reply to @ 2015-302.838Z
Stephen Paul Weber posted, “The python date handling situation is a mess. So many libraries.” @ 2015-302.833Z
Stephen Paul Weber posted, “Great talk last night about proportional representation… you know you want some: https://www.youtube.com/playlist?list=PL7679C7ACE93A5638” @ 2015-302.639Z
singpolyma commented on What does your theoretical ideal laptop look like? at Reddit, saying
I wouldn't be against it or anything, but it's certainly not a priority for me.

in reply to @ 2015-302.600Z
singpolyma commented on What does your theoretical ideal laptop look like? at Reddit, saying
I'd actually want model-m style buckling spring switches, despite them making it thicker and heavier. Probably. Honestly, maybe I'd hate that after all, but it sounds great. I love my good keyboards, and often use my laptop plugged into one (I have a portable-ish cherry-switch one that I keep in my backpack).

in reply to @ 2015-302.578Z
singpolyma commented on Help: I want to learn how to code an operating system. at Reddit, saying
Shameless plug: I have a super-beginner series starting from nothing. Starting at https://singpolyma.net/2012/01/writing-a-simple-os-kernel-part-1/

in reply to @ 2015-302.577Z
singpolyma commented on What does your theoretical ideal laptop look like? at Reddit, saying
- No binary blobs anywhere
- Freedom to the gate level (I can dream 😉 )
- Durable chassis
- USB Type-C (also used to charge the laptop, maybe optionally).
- 11+ hours battery life
- 11"-11.5" 4:3 matte screen
- Scissor-switched keyboard (or better, but that's unlikely in a laptop)
- Wifi a/b/g/n
- Bluetooth
- If there are camera/mic, hardware switch for each
- HDMI and DisplayPort outputs
- Gigabit ethernet
- Non-x86 architecture (MIPS preferred just now)
- I've come to love the trackpoint, but a really good touchpad can be fine
- Best (in both quality and volume) speakers possible in the space available
- Touchscreen
- Fold-down ("convert to tablet") chassis for the touchscreen
in reply to @ 2015-302.573Z

On 2015-300

« Previous • Next »