https://toroman.net/2025/04/16/alloy-formal-verification-basics/https://toroman.net/wp-content/uploads/2025/04/image.pngimage2025-04-21T02:51:58+00:00monthlyhttps://toroman.net/2023/01/14/dealing-with-business-anxiety/2023-01-15T03:08:37+00:00monthlyhttps://toroman.net/2020/10/16/the-8-habits-of-a-10x-coder/2020-10-16T21:18:12+00:00monthlyhttps://toroman.net/2020/01/31/the-coaching-habit/https://toroman.net/wp-content/uploads/2019/11/b720abef-0a2c-4593-ac50-ed2a88779347.jpgb720abef-0a2c-4593-ac50-ed2a887793472020-02-01T05:57:50+00:00monthlyhttps://toroman.net/2019/02/04/meet-luka/2025-03-28T02:25:39+00:00monthlyhttps://toroman.net/2019/01/28/introspection-via-the-who-am-i-document/2019-01-28T17:11:32+00:00monthlyhttps://toroman.net/2019/01/13/four-communication-types/2019-01-14T21:45:36+00:00monthlyhttps://toroman.net/2019/01/06/redux-for-the-perplexed/2019-01-09T00:10:56+00:00monthlyhttps://toroman.net/about/2018-12-30T22:27:48+00:00weekly0.6https://toroman.net/2018/12/30/solving-a-bad-scrum-tm/2018-12-30T22:22:52+00:00monthlyhttps://toroman.net/2016/05/09/no-scrollbars-in-firefox-v46-on-ubuntu-16-04/2016-05-09T05:41:52+00:00monthlyhttps://toroman.net/2016/04/26/getting-out-of-a-broken-ubuntu-16-04-system-after-an-upgrade/2016-04-27T05:27:38+00:00monthlyhttps://toroman.net/2010/02/18/debconf11-banja-luka-bid/2011-03-14T22:19:09+00:00monthlyhttps://toroman.net/2010/03/01/debconf11-banja-luka/2011-03-14T22:18:41+00:00monthlyhttps://toroman.net/2010/08/10/debian-squeezesid-java-networking-issues/2011-03-14T22:18:18+00:00monthlyhttps://toroman.net/2010/11/18/linux-guitar-pro-alternative/https://toroman.net/wp-content/uploads/2010/11/settings.pngsettingsConfiguring TuxGuitar to use Timidity synthesizerhttps://toroman.net/wp-content/uploads/2010/11/tuxguitar.pngtuxguitarTuxGutarhttps://toroman.net/wp-content/uploads/2010/11/timidity.pngtimidity2011-03-14T22:17:50+00:00monthlyhttps://toroman.net/2010/06/16/wowd-for-android-released/https://toroman.net/wp-content/uploads/2010/06/sc.pngWowd screenshotWowd hotlist for Sports2011-03-14T22:17:24+00:00monthlyhttps://toroman.net/2010/05/30/rooting-htc-magic-32aebi1/2013-04-20T02:39:20+00:00monthlyhttps://toroman.net/2009/12/03/android/2010-01-13T09:52:04+00:00monthlyhttps://toroman.net/2010/01/01/eclipse-gtk-fix-for-ubuntu-9-10-karmic/2010-04-02T14:14:24+00:00monthlyhttps://toroman.netdaily1.02025-04-21T02:51:58+00:00