Skip to content

Commit 7cac7b1

Browse files
committed
Robot Updated at:16 Feb 2024 21:07:33 GMT
1 parent fe7fd7d commit 7cac7b1

11 files changed

+478
-102
lines changed

docs/awesome/awesome-audit-algorithms.md

+3
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,12 @@ Nowadays, many algorithms (recommendation, scoring, classification) are operated
1111

1212
## Papers
1313
### 2024
14+
- [Under manipulations, are some AI models harder to audit?](https://grodino.github.io/projects/manipulated-audits/preprint.pdf) - (SATML) *Relates the difficulty of black-box audits
15+
to the capacity of the targeted models, using the Rademacher complexity.*
1416
- [Improved Membership Inference Attacks Against Language Classification Models](https://arxiv.org/pdf/2310.07219.pdf) - (ICLR) *Presents a framework for running membership inference attacks against classifier, in audit mode.*
1517
- [Auditing Fairness by Betting](https://arxiv.org/pdf/2305.17570.pdf) - (Neurips) [[Code]](https://github.com/bchugg/auditing-fairness) *Sequential methods that allows for the continuous monitoring of incoming data from a black-box classifier or regressor.*
1618
### 2023
19+
- [Online Fairness Auditing through Iterative Refinement](https://dl.acm.org/doi/pdf/10.1145/3580305.3599454) - (KDD) *Provides an adaptive process that automates the inference of probabilistic guarantees associated with estimating fairness metrics.*
1720
- [Stealing the Decoding Algorithms of Language Models](https://people.cs.umass.edu/~amir/papers/CCS23-LM-stealing.pdf) - (CCS) *Steal the type and hyperparameters of the decoding algorithms of a LLM.*
1821
- [Modeling rabbit‑holes on YouTube](https://link.springer.com/epdf/10.1007/s13278-023-01105-9?sharing_token=h-O-asHI49VUWS9FxN1Gsve4RwlQNchNByi7wbcMAY6I98PKW1PqhFQJ_JqQyk3TrB05qDb3LUzMDmKOgrupccQliViDle-rwKEi2MZ8xBViaAQhyN41oZBKLLeXchoeIW2kklVHC094I5KD8pxja4-if6-iB0uAI1FnqnYoxjU%3D) - (SNAM) *Models the trapping dynamics of users in rabbit holes in YouTube, and provides a measure of this enclosure.*
1922
- [Auditing YouTube’s Recommendation Algorithm for Misinformation Filter Bubbles](https://dl.acm.org/doi/full/10.1145/3568392) - (Transactions on Recommender Systems) *What it takes to “burst the bubble,” i.e., revert the bubble enclosure from recommendations.*

docs/awesome/awesome-browser-extensions-for-github.md

+28-28
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ Want to know more about this process? Check out the [Codeless Contributions with
2525

2626
Shows notifications when you get a new notification on GitHub and provides quick access to all notifications in a popup.
2727

28-
Installs: 131 | Stars: 78 | Last update: 2 Jun 2023
28+
Installs: 134 | Stars: 78 | Last update: 2 Jun 2023
2929

3030

3131
Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.
@@ -55,12 +55,12 @@ Installs: 10 | Stars: 458 | Last update: 1 Mar 2021
5555

5656
Displays size of each file, download link and an option of copying file contents directly to clipboard
5757

58-
Installs: 626 | Stars: 1959 | Last update: 22 Apr 2021
58+
Installs: 626 | Stars: 1962 | Last update: 22 Apr 2021
5959

6060

6161
Easily search GIPHY to add a GIF into any GitHub comment box.
6262

63-
Installs: 527 | Stars: 167 | Last update: 18 Jan 2024
63+
Installs: 539 | Stars: 167 | Last update: 18 Jan 2024
6464

6565

6666
Find the best GIFs for your awesome pull requests.
@@ -70,7 +70,7 @@ Installs: 136 | Stars: 22 | Last update: n/a
7070

7171
Quickly browse the history of a file from any git repository.
7272

73-
Installs: 205 | Stars: 13465 | Last update: 13 Oct 2023
73+
Installs: 207 | Stars: 13466 | Last update: 13 Oct 2023
7474

7575

7676
GitHub provides a page that only shows diffs with a .diff at the end of the URL of the pull request. This browser extension makes it easier to view csv diffs by using daff on that page.
@@ -80,7 +80,7 @@ Installs: 34 | Stars: 4 | Last update: n/a
8080

8181
Code folding - the ability to selectively hide and display sections of a code - is an invaluable feature in many text editors and IDEs. Now, developers can utilize that same style code-folding while poring over source code on the web in GitHub. Works for any type of indentation- spaces or tabs.
8282

83-
Installs: 121 | Stars: 289 | Last update: 12 Jan 2017
83+
Installs: 122 | Stars: 289 | Last update: 12 Jan 2017
8484

8585

8686
Set custom tab size for code view on GitHub.com
@@ -105,7 +105,7 @@ Installs: 1000 | Stars: 143 | Last update: n/a
105105

106106
Neat hovercards for GitHub.
107107

108-
Installs: 17666 | Stars: 1797 | Last update: n/a
108+
Installs: 17671 | Stars: 1796 | Last update: n/a
109109

110110

111111
Colorize issue and PR links to see their status (open, closed, merged).
@@ -135,7 +135,7 @@ Installs: 20000 | Stars: 1189 | Last update: n/a
135135

136136
Chrome extension to see story points in GitHub projects.
137137

138-
Installs: 18 | Stars: 60 | Last update: 16 Aug 2020
138+
Installs: 19 | Stars: 60 | Last update: 16 Aug 2020
139139

140140

141141
Generates a pie chart on user profile pages displaying a breakdown of what languages they have used in their repositories.
@@ -150,7 +150,7 @@ Installs: 119 | Stars: 362 | Last update: 14 Nov 2023
150150

151151
View and create Linear tickets from any GitHub PR or issue.
152152

153-
Installs: 7 | Stars: 20 | Last update: 30 Jan 2024
153+
Installs: 8 | Stars: 20 | Last update: 30 Jan 2024
154154

155155

156156
Show [vscode-icons](https://github.com/vscode-icons/vscode-icons) in the repository browser.
@@ -160,7 +160,7 @@ Installs: 2000 | Stars: 289 | Last update: n/a
160160

161161
It can make the sub-directories and files of github repository as zip and download it
162162

163-
Installs: 3281 | Stars: 35 | Last update: 21 Aug 2023
163+
Installs: 3296 | Stars: 35 | Last update: 21 Aug 2023
164164

165165

166166
Create, save, edit, pin, search and delete filters that you commonly use on the Github Issues and Pull Requests pages. You are able to scope filters to be shown globally (on each repo) or only have them show up on the repo you create them on. Pinning filters is also a feature that this extension allows you to do. So if you have several filters you use daily - you have a way to quickly access them, at the top of your list.
@@ -180,17 +180,17 @@ Installs: 2000 | Stars: 346 | Last update: n/a
180180

181181
Hide dotfiles from the GitHub file browser.
182182

183-
Installs: 39 | Stars: 317 | Last update: 16 Sep 2021
183+
Installs: 40 | Stars: 317 | Last update: 16 Sep 2021
184184

185185

186186
Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version.
187187

188-
Installs: 10000 | Stars: 3430 | Last update: n/a
188+
Installs: 10000 | Stars: 3431 | Last update: n/a
189189

190190

191191
Browser extension to add git graph to GitHub website.
192192

193-
Installs: 405 | Stars: 2489 | Last update: 1 Jan 2024
193+
Installs: 415 | Stars: 2503 | Last update: 1 Jan 2024
194194

195195

196196
Chrome extension that adds a button in browser and links this button to a GitHub repository that you will configure, then on any webpage just click this extension button and it will add the given link with the title of the page in that repository.
@@ -200,12 +200,12 @@ Installs: 57 | Stars: 234 | Last update: n/a
200200

201201
See forks with the most stars under the names of repositories.
202202

203-
Installs: 341 | Stars: 572 | Last update: 4 Jul 2021
203+
Installs: 345 | Stars: 572 | Last update: 4 Jul 2021
204204

205205

206206
Show Material icons for files/folders in repository file viewer. Display the same icons from vscode-material-icon-theme VSCode extension.
207207

208-
Installs: 731 | Stars: 416 | Last update: 10 Jan 2024
208+
Installs: 741 | Stars: 416 | Last update: 10 Jan 2024
209209

210210

211211
An extension that creates direct links to imported modules, external or internal, on source code on GitHub. Supports multiple languages, including common ones like Rust, Go, Python and Ruby, but also odd ones like Nim, Haskell, Julia and Elm.
@@ -220,12 +220,12 @@ Installs: 17 | Stars: 15 | Last update: n/a
220220

221221
A Chrome and Firefox extension to quickly see your notifications in a popup without leaving the current page.
222222

223-
Installs: 72 | Stars: 140 | Last update: 6 Apr 2023
223+
Installs: 73 | Stars: 140 | Last update: 6 Apr 2023
224224

225225

226226
Displays your GitHub notifications unread count. Supports GitHub Enterprise and an option to only show unread count for issues you're participating in. You can click the icon to quickly see your unread notifications.
227227

228-
Installs: 545 | Stars: 1766 | Last update: 12 Jul 2023
228+
Installs: 555 | Stars: 1767 | Last update: 12 Jul 2023
229229

230230

231231
Filter your pull requests/issues in different categories giving you a big boost in productivity. Also suggests new trending repositories.
@@ -235,7 +235,7 @@ Installs: 4 | Stars: 135 | Last update: 16 Jan 2020
235235

236236
OctoLinker is the easiest and best way to navigate between files and projects on GitHub. It supports languages such as JavaScript, Ruby, Go, PHP, JAVA and more. It works with package.json as well as with Gemfiles.
237237

238-
Installs: 12763 | Stars: 5222 | Last update: 13 Nov 2022
238+
Installs: 12774 | Stars: 5222 | Last update: 13 Nov 2022
239239

240240

241241
OctoPermalinker is a browser extension that searches GitHub comments/files for links to files on branches, and adds a link to where the branch pointed when the comment/file was made/updated. This helps you avoid following a link that was broken after being posted. For context, here's some discussion about broken GitHub links: [Don't link to line numbers in GitHub](https://news.ycombinator.com/item?id=8046710).
@@ -252,22 +252,22 @@ Installs: 4000 | Stars: 960 | Last update: n/a
252252

253253
Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories.
254254

255-
Installs: 36852 | Stars: 22633 | Last update: 4 Jan 2024
255+
Installs: 36873 | Stars: 22637 | Last update: 4 Jan 2024
256256

257257

258258
Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design).
259259

260-
Installs: 66 | Stars: 222 | Last update: 6 Aug 2021
260+
Installs: 67 | Stars: 222 | Last update: 6 Aug 2021
261261

262262

263263
This browser extension allows you to open files in your IDE directly from GitHub, assuming the repository you are working on is cloned on your computer. When a fragment of a file is displayed, your IDE opens the file and puts the cursor at the desired line.
264264

265-
Installs: 45 | Stars: 66 | Last update: 23 Sep 2023
265+
Installs: 46 | Stars: 67 | Last update: 23 Sep 2023
266266

267267

268268
Helps you keep track of incoming and outgoing PRs, and notifies you when you receive a pull request on GitHub.
269269

270-
Installs: 45 | Stars: 111 | Last update: 21 Jun 2023
270+
Installs: 46 | Stars: 112 | Last update: 21 Jun 2023
271271

272272

273273
Browser extension that shows which pull requests contain changes related to a file.
@@ -277,7 +277,7 @@ Installs: 4 | Stars: 96 | Last update: 15 Oct 2020
277277

278278
Extension that simplifies the GitHub interface and adds useful features.
279279

280-
Installs: 8402 | Stars: 22605 | Last update: 8 Feb 2024
280+
Installs: 8507 | Stars: 22616 | Last update: 8 Feb 2024
281281

282282

283283
Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `` in all the code on GitHub.
@@ -298,7 +298,7 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi
298298
4. Hover tooltips
299299
5. File tree navigation
300300

301-
Installs: 867 | Stars: 9459 | Last update: 14 Apr 2023
301+
Installs: 868 | Stars: 9464 | Last update: 14 Apr 2023
302302

303303

304304
Make tab indented code more readable by forcing the tab size to 4 instead of 8.
@@ -308,7 +308,7 @@ Installs: 2000 | Stars: 279 | Last update: n/a
308308

309309
Helps you see easily which activities happened since you last visited GitHub.
310310

311-
Installs: 6 | Stars: 32 | Last update: n/a
311+
Installs: 5 | Stars: 32 | Last update: n/a
312312

313313

314314
Generate a magic link for your PR and post it on shared Slack channel, to entice reviewers to pick up your PR faster!
@@ -323,12 +323,12 @@ Installs: 70000 | Stars: n/a | Last update: n/a
323323

324324
All your issues, PRs, repos and other work documents right in your new tab
325325

326-
Installs: 163 | Stars: n/a | Last update: n/a
326+
Installs: 166 | Stars: n/a | Last update: n/a
327327

328328

329329
file tree for github, and more than that.
330330

331-
Installs: 334 | Stars: n/a | Last update: 15 Dec 2023
331+
Installs: 335 | Stars: n/a | Last update: 15 Dec 2023
332332

333333

334334
Add breakpoints at 1400px, 1600px and 1800px for full GitHub experience on large screens. Also removes the truncating of file and directory names in the repository browser.
@@ -338,12 +338,12 @@ Installs: 2000 | Stars: 131 | Last update: n/a
338338

339339
gitpod streamlines developer workflows by providing ready-to-code development environments in your browser - powered by vs code.
340340

341-
Installs: 2391 | Stars: 131 | Last update: 14 Feb 2024
341+
Installs: 2422 | Stars: 131 | Last update: 14 Feb 2024
342342

343343

344344
When viewing a repository on github.com that has a package.json file, this extension will introspect the dependencies in package.json and display links and description for each dependency, just below the repo's README.
345345

346-
Installs: 87 | Stars: 736 | Last update: 20 Dec 2023
346+
Installs: 88 | Stars: 736 | Last update: 20 Dec 2023
347347

348348

349349
Extends GitHub pages with math, diagrams, embedded YouTube videos etc.

docs/awesome/awesome-connectivity-info.md

+1
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,7 @@ A list of connectivity indexes, maps, and reports to help you better understand
102102

103103
**[`^ back to top ^`](#)**
104104

105+
- [SpeedChecker Insights](https://insights.speedchecker.com/) - Periodic country-level reports on mobile internet speeds, latency, and coverage
105106
- [Cloudflare Radar](https://radar.cloudflare.com/) - Invaluable resource on internet traffic, security, routing, outages, DNS, and more.
106107
- [GSMA - Enabling Rural Coverage](https://www.gsma.com/mobilefordevelopment/wp-content/uploads/2018/02/Enabling_Rural_Coverage_English_February_2018.pdf) - (Feb 2018) Regulatory and policy recommendations to foster mobile broadband coverage in developing countries.
107108
- [Facebook Audience Insights](https://www.facebook.com/ads/audience-insights/) - Demographic information on Facebook usage.

docs/awesome/awesome-fp-js.md

+2
Original file line numberDiff line numberDiff line change
@@ -76,6 +76,8 @@ These may be appended to entries. Each should be preceded by a "+" or "-" to in
7676
* [ts-pattern](https://github.com/gvergnaud/ts-pattern) - The exhaustive Pattern Matching library for TypeScript, with smart type inference. Pattern Matching is a code-branching technique coming from FP languages.
7777
* [hyogwa](https://github.com/ENvironmentSet/hyogwa) - Natural 🌿 effect system that fits TypeScript; Write codes as you write **plain typescript code**.
7878
* [Verticalize](https://github.com/laurentpayot/verticalize) - Super lightweight function that looks and behaves like a pipe operator.
79+
* [PureEval](https://github.com/PureEval/PureEval) - A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
80+
* [context-fp](https://github.com/darky/context-fp) - Microscopic functional programming context aka dependency injection. +TS
7981

8082
### Data Structures
8183

0 commit comments

Comments
 (0)