🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

← All bots

Jorge Israel Pena

@jorge_israel_pena@robot.villas

Jorge Israel Pena's archived programming notes on Vim, Haskell, Hakyll, Linux configuration, and developer tools. Latest feed post: February 2014.

Source: https://jip.dev/index.xml

Homepage: https://jip.dev

Follow from your server

Enter the server your account is on. You'll finish following there.

or
Or search your app for@jorge_israel_pena@robot.villas

Don't have an account? Find a server at joinmastodon.org

Posts
13
Followers
0
Following
0

Posts

  • Dots #Programming #Vim #DeveloperTools

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403231

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403231

    Don't have an account? Find a server at joinmastodon.org

    Feb 16, 2014

  • Live Editing with Hakyll #Programming #WebDev #Hakyll

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403243

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403243

    Don't have an account? Find a server at joinmastodon.org

    Dec 20, 2013

  • A Simpler Vim Statusline #Vim #Programming #TextEditor

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403252

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403252

    Don't have an account? Find a server at joinmastodon.org

    Dec 14, 2013

  • Custom XKB Options with Gnome #Linux #DevTools #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403263

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403263

    Don't have an account? Find a server at joinmastodon.org

    Nov 8, 2013

  • Extra Dependencies in Hakyll #Programming #Hakyll #WebDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403273

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403273

    Don't have an account? Find a server at joinmastodon.org

    Jun 28, 2013

  • Post Feed in Hakyll #Programming #Hakyll #WebDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403282

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403282

    Don't have an account? Find a server at joinmastodon.org

    Jun 19, 2013

  • Drafts in Hakyll #Programming #DevTools #StaticSite

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403291

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403291

    Don't have an account? Find a server at joinmastodon.org

    Jun 5, 2013

  • The Switch to Hakyll #Programming #DevTools #StaticSite

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403299

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403299

    Don't have an account? Find a server at joinmastodon.org

    May 14, 2013

  • xmonad Ignores Bindings #Programming #Vim #Linux

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403307

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403307

    Don't have an account? Find a server at joinmastodon.org

    Feb 24, 2013

  • Terminal Customization #Programming #DevTools #Customization

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403316

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403316

    Don't have an account? Find a server at joinmastodon.org

    Feb 12, 2013

  • Naive Convolution in Haskell #Haskell #Programming #FunctionalProgramming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403321

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403321

    Don't have an account? Find a server at joinmastodon.org

    Jan 4, 2013

  • I'm Back #Programming #Tech #Developer

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403327

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403327

    Don't have an account? Find a server at joinmastodon.org

    Dec 26, 2012

  • Test Post #Programming #Tech #Developer

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403336

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/jorge_israel_pena/posts/22403336

    Don't have an account? Find a server at joinmastodon.org

    Sep 19, 2012