Jonkman Microblog
  • Login
Show Navigation
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Alan Zimmerman (alanz@social.coop), page 17

  1. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Monday, 26-Feb-2018 16:58:50 EST Christine Lemmer-Webber Christine Lemmer-Webber

    Whoa nice. Paradigms of Aritficial Intelligence Programming (a lisp classic) is now libre and available online https://github.com/norvig/paip-lisp

    In conversation Monday, 26-Feb-2018 16:58:50 EST from octodon.social permalink Repeated by alanz

    Attachments

    1. norvig/paip-lisp
      from GitHub
      paip-lisp - Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
  2. Allison Parrish (aparrish@mastodon.social)'s status on Monday, 26-Feb-2018 22:51:29 EST Allison Parrish Allison Parrish

    it's super weird to me that there are living people who were born before the discovery of what feel like very fundamental facts of biology, like dna's helix structure, neurotransmitters, rem sleep

    In conversation Monday, 26-Feb-2018 22:51:29 EST from mastodon.social permalink Repeated by alanz
  3. loshmi (loshmi@social.coop)'s status on Monday, 26-Feb-2018 16:51:33 EST loshmi loshmi

    #introduction

    happy to be here. one way to live through the privatization of the internet and our lives. and also, maybe, this is a social network that doesn't suck.

    In conversation Monday, 26-Feb-2018 16:51:33 EST from social.coop permalink Repeated by alanz
  4. แทกโนมันซี (technomancy@icosahedron.website)'s status on Monday, 26-Feb-2018 18:15:12 EST แทกโนมันซี แทกโนมันซี

    I love this article on code comprehension; people don't read code unless they are trying to do something with it, usually to change it. Papert's theory of constructionism claims that meaningful learning happens when the learner constructs something new to achieve a goal they already have.

    Makes me wonder if there's any way to really understand code *apart* from trying to make it do new things.

    http://akkartik.name/post/comprehension

    In conversation Monday, 26-Feb-2018 18:15:12 EST from icosahedron.website permalink Repeated by alanz
  5. Free Software Foundation (fsf@status.fsf.org)'s status on Monday, 29-Jan-2018 16:32:45 EST Free Software Foundation Free Software Foundation
    We're overjoyed to announce that the FSF has received an extraordinary gift of 91.45 Bitcoin from the #PineappleFund, valued at $1 million! Huge thanks to the Pineapple Fund for this tremendous contribution to software freedom.
    In conversation Monday, 29-Jan-2018 16:32:45 EST from status.fsf.org permalink Repeated by alanz
  6. Ɠεɱɩoɠ (gemlog@mastodon.sdf.org)'s status on Monday, 29-Jan-2018 19:29:09 EST Ɠεɱɩoɠ Ɠεɱɩoɠ
    • jjg

    @jjg :-)
    Well, many of us have some public storage laying around that we control (vs e.g. dropbox or google drive). And we can rsync via ssh private keys all over the place.

    We need donated storage, agreed upon targets, and means (scripts and cron jobs).

    I think the original site plus two at minimum for copies?

    I haven't thought about it a lot yet. Just typing...

    In conversation Monday, 29-Jan-2018 19:29:09 EST from mastodon.sdf.org permalink Repeated by alanz
  7. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Monday, 29-Jan-2018 17:44:25 EST Christine Lemmer-Webber Christine Lemmer-Webber

    I guess I should write up something on known patterns for database structures for federated social networks at some point, because it's a tricky topic...

    In conversation Monday, 29-Jan-2018 17:44:25 EST from octodon.social permalink Repeated by alanz
  8. Adrian Cochrane (alcinnz@mastodon.social)'s status on Monday, 29-Jan-2018 13:13:54 EST Adrian Cochrane Adrian Cochrane
    • Ind.ie

    @indie I found it informative when the artical pointed out that a major driver towards People Farming was the inability to pay people directly over the early Web.

    We can do better now with more traditional business models, and we should.

    In conversation Monday, 29-Jan-2018 13:13:54 EST from mastodon.social permalink Repeated by alanz
  9. Verius (verius@community.highlandarrow.com)'s status on Monday, 29-Jan-2018 12:04:49 EST Verius Verius
    You know you're a programmer when you play a match-3 puzzle (remove all stones) and because you're too stupid to figure out the solution you write a program to do it instead. And then you spend days trying to figure out which programming language is best for it.
    In conversation Monday, 29-Jan-2018 12:04:49 EST from community.highlandarrow.com permalink Repeated by alanz
  10. Victorian Sparkgap Kitsune (enkiv2@niu.moe)'s status on Monday, 29-Jan-2018 10:03:16 EST Victorian Sparkgap Kitsune Victorian Sparkgap Kitsune

    mastodon meal name policy: HE HUNGERS FOR NAMES, HIS GAPING MAW SALIVATING, SURROUNDED BY A MINDLESS CACOPHONY OF PIPING WITHOUT HARMONY OR RHYTHM

    In conversation Monday, 29-Jan-2018 10:03:16 EST from niu.moe permalink Repeated by alanz
  11. :maple2: maple classic™ :bot: (squirrel@computerfairi.es)'s status on Monday, 29-Jan-2018 03:12:24 EST :maple2: maple classic™ :bot: :maple2: maple classic™ :bot:

    THIS IS MY HECKING AESTHETIC https://computerfairi.es/media/_GEf-3o2XjSkhiiJhOM

    In conversation Monday, 29-Jan-2018 03:12:24 EST from computerfairi.es permalink Repeated by alanz
  12. chosa (chosafine@instance.business)'s status on Monday, 29-Jan-2018 09:09:24 EST chosa chosa

    https://blog.coralproject.net/the-real-name-fallacy/

    This article is an extremely good look at why using your government name^^ online does shit for harassment and abuse.

    ^^i say government name because “real name” means nothing in this world where we can choose who we want to be

    In conversation Monday, 29-Jan-2018 09:09:24 EST from instance.business permalink Repeated by alanz
  13. Ind.ie (indie@mastodon.social)'s status on Monday, 29-Jan-2018 08:43:27 EST Ind.ie Ind.ie

    ‘Facebook And Google’s Surveillance Capitalism Model Is In Trouble’

    “Most people associate Facebook with cute family photos and think of Google like a semi-reliable encyclopedia. But these services have only a tangential relationship to the way either company actually makes money. The twin Silicon Valley titans rely on two closely intertwined technologies, customer surveillance and advertising, to maximize shareholder profits.”

    https://www.huffingtonpost.com/entry/facebook-google-privacy-antitrust_us_5a625023e4b0dc592a088f6c

    On our radar: https://forum.ind.ie/t/facebook-and-googles-surveillance-capitalism-model-is-in-trouble/2030

    In conversation Monday, 29-Jan-2018 08:43:27 EST from mastodon.social permalink Repeated by alanz

    Attachments

    1. Invalid filename.
      Facebook And Google's Surveillance Capitalism Model Is In Trouble
      from Ind.ie Forum
      “Most people associate Facebook with cute family photos and think of Google like a semi-reliable encyclopedia. But these services have only a tangential relationship to the way either company actually makes money. The twin Silicon Valley titans rely on two closely intertwined technologies, customer surveillance and advertising, to maximize shareholder profits.”
  14. SoapDog ✓✓✓ 3 times verified! (soapdog@toot.cafe)'s status on Monday, 29-Jan-2018 06:24:29 EST SoapDog ✓✓✓ 3 times verified! SoapDog ✓✓✓ 3 times verified!

    "Far more powerful than how many languages you know (in terms of syntax), is how many paradigms you are fluent with."

    Enjoying the read about #programming at https://blog.acolyer.org/2018/01/29/the-paradigms-of-programming/

    In conversation Monday, 29-Jan-2018 06:24:29 EST from toot.cafe permalink Repeated by alanz

    Attachments

    1. The paradigms of programming
      By adriancolyer from the morning paper

      The paradigms of programming Floyd, CACM 1979

      (Also available in )

      A couple of weeks ago we looked at Dan Bernstein’s very topical “thoughts on security after ten years of qmail 1.0.” From the general reaction I can tell that lots of you enjoyed reading that paper, but in the discussions that I saw, no-one was picking up on what I see as the real underlying secret to Bernstein’s success and progression as a software engineer. (Perhaps because it is one level of indirection away from the main topic of security in that paper). Here is my favourite extract again:

      For many years I have been systematically identifying error-prone programming habits — by reviewing the literature, analyzing other people’s mistakes, and analyzing my own mistakes — and redesigning my programming environment to eliminate those habits.

      In today’s paper choice we’ll be looking at some other ways of systematically improving your skills over time (along with quite a few other gems). In 1978 Professor Robert Floyd was presented with the ACM Turing Award for “helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.” Not a bad list! “The paradigms of programming” is his acceptance speech.

      Today I want to talk about the paradigms of programming, how they affect our success as designers of computer programs, how they should be taught, and how they should be embodied in our programming languages.

      Dominant at the time was the idea of structured programming (whose ideas are still very much with us today of course). The notion of starting with a top-down, stepwise refinement of the problem, and then building upwards from the primitives of the underlying machine to ‘meet in the middle’ with a set of more abstract modules and functions to be used by the top-down design. See e.g. ‘Program development by stepwise refinement’, and ‘On the criteria to be used in decomposing systems into modules’.

      The structured programming paradigm is useful, says Floyd, but it’s not the only one. Programming paradigms are at the heart of this paper – and a reasonable interpretation of what Floyd means by paradigm here is, I think, ‘a strategy or tactic for solving a class of problems.’ That sounds a bit like a design pattern when I say it that way, but the examples Floyd gives us are at a slightly more fundamental level than those the phrase ‘design patterns’ conjures in my mind. Far more powerful than how many languages you know (in terms of syntax), is how many paradigms you are fluent with.

      I believe that the current state of the art of computer programming reflects inadequacies in our stock of paradigms, and in the way our programming languages support, or fail to support, the paradigms of their user communities.

      Computer science quickly breaks down into communities each with its own languages and dominant paradigms. The problem of falling into one of these and not escaping is that it becomes hard to see the fundamentals afresh and discover new approaches. Quoting from Kuhn in ‘The Structure of Scientific Revolutions’ :

      The study of paradigms, including many that are far more specialized than those named illustratively above, is what mainly prepares the student for membership in the particular scientific community with which he will later practice. Because he there joins men who learned the bases of their field from the same concrete models, his subsequent practice will seldom evoke overt disagreement over fundamentals.

      John Cocke invented the dynamic programming paradigm to solve a problem with the efficient parsing of context-free languages. Floyd discovered recursive coroutines as a structure while building hierarchical top-down parsers.

      John Cocke’s experience and mine illustrate the likelihood that continued advance in programming will require the continuing invention, elaboration, and communication of new paradigms.

      On developing as a programmer

      So much for the advancement of the field, what about developing your own skills?

      If the advancement of the general art of programming requires the continuing invention and elaboration of paradigms, advancement of the art of the individual programming requires that he expand his repertory of paradigms.

      Here’s the technique that Floyd used to expand his own capabilities.

      After solving a challenging problem, I solve it again from scratch, retracing only the insight of the earlier solution. I repeat this until the solution is as clean and direct as I can hope for. Then I look for a general rule for attacking similar problems, that would have led me to approach the given problem in the most efficient way the first time. Often, such a rule is of permanent value.

      It can be hard to gain exposure to new paradigms from within your own immediate environment, because it’s likely your colleagues are all working within the same local paradigm set — witness job advertisements that specify the desired programming language (“The rules of Fortran can be learned within a few hours; the associated paradigms take much longer, both to learn and unlearn.”).

      Floyd writes of an eye-opening experience of visiting MIT and seeing the power of Lisp first-hand (as someone grown up more in the tradition of Algol-like languages).

      … my message to the serious programmer is to spend a part of your working day examining and refining your own methods. Even though programmers are always struggling to meet some future or past deadline, methodological abstraction is a wise long term investment.

      On designing (and evaluating) programming languages

      Everyone wants to design a new programming language. Bah! Floyd doesn’t find much satisfaction in the incremental extensions to existing languages (example: adding variant records to Pascal). Instead, it’s far more important to look at the paradigms a language supports.

      I believe that the continued advance of programming as a craft requires the development and dissemination of languages which support the major paradigms of their user’s communities. The design of a language should be preceded by enumeration of those paradigms, including a study of the deficiencies in programming caused by discouragement of unsupported paradigms… If there is ever a science of programming language design, it will probably consist largely of matching languages to the design methods they support.

      It’s not just the programming language itself of course, “the entire environment in which we program, diagnostic systems, files systems, editors, and all, can be analyzed as supporting or failing to support the spectrum of methods for design of programs.”

      To persuade me of the merit of your language, you must show me how to construct programs in it. I don’t want to discourage the design of new languages; I want to encourage the language designer to become a serious student of the details of the design process.

      On teaching programming

      We have an unfortunate obsession with form over content (Floyd is speaking in 1978 remember, not a lot has changed in the intervening 40 years!). You can feel Floyd’s heart sink in the following exchange:

      If I ask another professor what he teaches in the introductory programming course, whether he answers proudly “Pascal” or diffidently “FORTRAN,” I know that he is teaching a grammar, a set of semantic rules, and some finished algorithms, leaving the students to discover, on their own, some process of design.

      We would do better to explicitly teach a set of systematic methods for all levels of program design. Students trained this way “have a large head start over those conventionally taught.”

      To the teacher of programming… I say: identify the paradigms you use, as fully as you can, then teach them explicitly. They will serve your students when Fortran has replaced Latin and Sanskrit as the archetypal dead language.

      How many paradigms do you have in your toolbox?

  15. Nextcloud 📱☁️💻 (nextcloud@mastodon.xyz)'s status on Monday, 29-Jan-2018 05:50:04 EST Nextcloud 📱☁️💻 Nextcloud 📱☁️💻

    WOOOHOOOO !!!! http://www.noyb.eu  will be able to start enforcing #GDPR on May 25th 2018 - as we just passed our €250k minimal goal! THANKS A LOT! For everyone that did not join yet: The €500k goal for "full noyb" is still there! pic.twitter.com/CWxfPckYhM #nextcloud

    In conversation Monday, 29-Jan-2018 05:50:04 EST from mastodon.xyz permalink Repeated by alanz

    Attachments

    1. File without filename could not get a thumbnail source.
      Home
      By ms-admin from noyb.eu
      Home
  16. SoapDog ✓✓✓ 3 times verified! (soapdog@toot.cafe)'s status on Sunday, 28-Jan-2018 21:21:34 EST SoapDog ✓✓✓ 3 times verified! SoapDog ✓✓✓ 3 times verified!
    • Alan Zimmerman
    • Peter O'Shaughnessy
    • Adrian Cochrane

    @alcinnz @alanz @peter Be aware that Brave will receive DAT support soon through their cooperation and donation in support of the codeforscience.org

    In conversation Sunday, 28-Jan-2018 21:21:34 EST from toot.cafe permalink Repeated by alanz
  17. Alan Zimmerman (alanz@social.coop)'s status on Monday, 29-Jan-2018 01:28:50 EST Alan Zimmerman Alan Zimmerman
    • Doc Edward Morbius ⭕

    @dredmorbius

    Dan Carlin deals with this period in his "Death Throes of the Old Republic" Hardcore History.

    And the similarities to the current period struck me too. Obvious reforms that had to happen, but blocked by a power elite pushing their own narrow interest.

    In conversation Monday, 29-Jan-2018 01:28:50 EST from social.coop permalink
  18. D Dino (garbados@toot.cat)'s status on Sunday, 28-Jan-2018 18:40:16 EST D Dino D Dino

    now that firefox will be able to handle decentralized protocols like dat:// does it make sense to imagine a client-to-client activutypub protocol?

    In conversation Sunday, 28-Jan-2018 18:40:16 EST from toot.cat permalink Repeated by alanz
  19. Erik Moeller (eloquence@social.coop)'s status on Sunday, 28-Jan-2018 17:38:15 EST Erik Moeller Erik Moeller

    freeyourstuff.cc, mostly a browser extension, now also has a command line downloader for your contributions to proprietary sites, using #puppeteer. It's still a bit experimental, but you can check it out here:

    https://github.com/eloquence/freeyourstuff.cc/blob/master/cli/INSTALL.md

    https://social.coop/media/6O8_17n3elJzD1rrAoA

    In conversation Sunday, 28-Jan-2018 17:38:15 EST from social.coop permalink Repeated by alanz
  20. Alan Zimmerman (alanz@social.coop)'s status on Monday, 29-Jan-2018 01:16:46 EST Alan Zimmerman Alan Zimmerman
    • SoapDog ✓✓✓ 3 times verified!
    • Peter O'Shaughnessy
    • Adrian Cochrane

    @alcinnz

    I am actually thinking of Firefox. The other major browsers are being built by organisations that have their own agendas separate from the browser. So are not necessarily focusing on a browser good for users.

    @soapdog @peter

    In conversation Monday, 29-Jan-2018 01:16:46 EST from social.coop permalink
  • After
  • Before
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.