Skip to content

Instantly share code, notes, and snippets.

View maujim's full-sized avatar

Mukund Mauji maujim

8 followers · 12 following
View GitHub Profile
@maujim
maujim / hn-next-button.js
Last active April 1, 2024 22:35
// Use something like https://caiorss.github.io/bookmarklet-maker/ to convert this to a bookmarklet
// clicks the first visible 'next' button on https://news.ycombinator.com/
let x = () => {
let content_filter = link => link.textContent.includes('next');
let visibility_filter = link => (link.getBoundingClientRect().top >= 0 && link.getBoundingClientRect().bottom <= window.innerHeight);
let fuse = 'on';
document.querySelectorAll('a.clicky').forEach(link => {
@maujim
maujim / lines2opml.sh
Created March 20, 2024 22:51
#!/bin/bash
target_file="$1"
target_file_name="$(basename "$1")"
echo '<?xml version="1.0" encoding="UTF-8"?>'
echo '<opml version="2.0">'
echo '<opml version="2.0">'
echo "<head> <title>rss feed from $target_file_name</title> </head>"
@maujim
maujim / researching1.goggle
Last active October 9, 2023 19:35
researching1.goggle
! name: researching 1
! description: for learning about new topics
! public: true
! author: Mukund Mauji
$discard
! research papers
$boost=3,site=arxiv.org
@maujim
maujim / reddit-neuro.goggle
Last active June 1, 2023 17:36
! name: reddit neuro
! description: <blank>
! public: true
! author: Mukund Mauji
$discard
/r/neuroscience/comments/*$site=reddit.com
/r/PredictiveProcessing/comments/*$site=reddit.com
/r/compmathneuro/comments/*$site=reddit.com
@maujim
maujim / pc-games.goggle.dup
Created February 26, 2023 20:22
pc-games.goggle.dup
! name: Video games for PC
! description: PC game marketplaces
! public: true
! author: Mukund Mauji
$discard
/app^$site=store.steampowered.com
/*/store^$site=origin.com
/*/^$site=store.ubi.com
@maujim
maujim / pc-games.goggle
Last active June 22, 2022 17:54
pc-games-goggle
! name: Video games for PC
! description: PC game marketplaces
! public: true
! author: Mukund Mauji
$discard
/app^$site=store.steampowered.com
/*/store^$site=origin.com
/*/^$site=store.ubi.com