Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
Scaling up search engine audits: Practical insights for algorithm auditing journals.sagepub.com
(Journal of Information Science) (Code) Audits multiple search engines using simulated browsing behavior with virtual agents.
-
The Imitation Game: Algorithm Selectionby Exploiting Black-Box Recommender github.com
(Netys) (Code) Parametrize a local recommendation algorithm by imitating the decision of a remote and better trained one.
-
Auditing Algorithms: On Lessons Learned and the Risks of DataMinimization dl.acm.org
(AIES) A practical audit for a well-being recommendation app developed by Telefónica (mostly on bias).
-
Auditing YouTube’s Recommendation Algorithm for Misinformation Filter Bubbles dl.acm.org
(Transactions on Recommender Systems) What it takes to “burst the bubble,” i.e., revert the bubble enclosure from recommendations.
-
Peeking Beneath the Hood of Uber dl.acm.org
(IMC) Infer implementation details of Uber's surge price algorithm.
-
Bias in Online Freelance Marketplaces: Evidence from TaskRabbit datworkshop.org
(dat workshop) Measures the TaskRabbit's search algorithm rank.
-
The Fair Game: Auditing & debiasing AI algorithms overtime cambridge.org
(Cambridge Forum on AI: Law and Governance) Aims to simulate the evolution of ethical and legal frameworks in the society by creating an auditor which sends feedback to a debiasing algorithm deployed around an ML system.
-
The Fair Game: Auditing & debiasing AI algorithms over time cambridge.org
Jouarnal of Cambridge Forum on AI: Law and Governance
-
Hardware and software platform inference arxiv.org
(arXiv) A method for identifying the underlying GPU architecture and software stack of a black-box machine learning model solely based on its input-output behavior.
-
(Arxiv) Systematic review of algorithm auditing studies and identification of trends in their methodological approaches.
-
Your Echos are Heard: Tracking, Profiling, and Ad Targeting in the Amazon Smart Speaker Ecosystem arxiv.org
(arxiv) Infers a link between the Amazon Echo system and the ad targeting algorithm.
-
(CHI) Makes the case for "everyday algorithmic auditing" by users.
-
P2NIA: Privacy-Preserving Non-Iterative Auditing arxiv.org
(ECAI) Proposes a mutually beneficial collaboration for both the auditor and the platform: a privacy-preserving and non-iterative audit scheme that enhances fairness assessments using synthetic or local data, avoiding the challenges associated with traditional API-based audits.
-
Setting the Record Straighter on Shadow Banning arxiv.org
(INFOCOM) (Code) Considers the possibility of shadow banning in Twitter (ie, the moderation black-box algorithm), and measures the probability of several hypothesis.
-
TamperNN: Efficient Tampering Detection of Deployed Neural Nets arxiv.org
(ISSRE) Algorithms to craft inputs that can detect the tampering with a remotely executed classifier model.
-
Adversarial Frontier Stitching for Remote Neural Network Watermarking arxiv.org
(Neural Computing and Applications) (Alternative implementation) Check if a remote machine learning model is a "leaked" one: through standard API requests to a remote model, extract (or not) a zero-bit watermark, that was inserted to watermark valuable models (eg, large deep…
-
Downey, A. (2012). Think complexity. Needham, Massachusetts: Green Tea Press. worldcat.org
A hands-on approach exploring complex systems models with Python.
-
Ventity/Vensim ventanasystems.com
Simulation software.
-
Simulus simulus.readthedocs.io
ABM library in Python.
-
Barabási–Albert (BA) model en.wikipedia.org
Algorithm for generating random graphs with preferential attachment.
-
Cosmo Tech platform cosmotech.com
Digital twins simulator software.
-
Scrap your boilerplate: a practical design pattern for generic programming, 2003, SPJ et al. research.microsoft.com
-
Recursion Schemes in JavaScript and Flow medium.com
-
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, 1991, Meijer et al. maartenfokkinga.github.io
-
The Haskell Cast haskellcast.com
-
Algorithms and Complexity www2.math.upenn.edu
H. Wilf.
-
SymPy sympy.org
Python library for symbolic algebra, calculus, equation solving, matrices, and code generation.
-
Rocq Prover rocq-prover.org
Open-source interactive theorem prover and dependently typed programming language for mechanized mathematics and verified software.
-
Essential Coding Theory ocw.mit.edu
Free graduate MIT course on error-correcting codes, Hamming spaces, and the algebraic and complexity aspects of coding theory.
-
Information Theory ocw.mit.edu
Free graduate MIT course on entropy, source and channel coding, rate distortion, Gaussian channels, feedback, and multi-user information theory.
-
A=B math.upenn.edu
Marko Petkovšek, Herbert Wilf, and Doron Zeilberger on algorithms for proving hypergeometric identities.
-
Maple maplesoft.com
Paid computer algebra and numerical mathematics system for symbolic computation, visualization, and programming.
-
Graph Theory : Interactive Algorithm Visualizer | Graph Theory Learning Platform learngraphtheory.org
Hadjoudj Mohammed Islam.
-
Lean-related Conferences and Events leanprover-community.github.io
Maintained calendar and archive of conferences, workshops, and tutorials about Lean, mathlib, and formalized mathematics.
-
Courses Using Lean leanprover-community.github.io
Maintained, filterable index of university courses that teach Lean or use it for mathematics, logic, programming, and formal verification.
-
Lean lean-lang.org
Open-source interactive theorem prover and programming language based on dependent type theory, used for formal mathematics and software verification.
-
Information Theory, Inference, and Learning Algorithms inference.org.uk
David J. C. MacKay.
-
Free Math freemathapp.org
Free, open-source software for recording, organizing, and reviewing digital mathematics homework without solving the problems automatically.
-
Fundamentals of Numerical Computation fncbook.com
Online textbook by Tobin Driscoll and Richard Braun with Julia, MATLAB, and Python editions covering core numerical methods for linear systems, approximation, root finding, ODEs, and PDEs.
-
Error Correction Zoo errorcorrectionzoo.org
Maintained reference database of classical, quantum, and hybrid error-correcting codes, with definitions, relationships, and references.
-
Advanced Linear Algebra: Foundations to Frontiers cs.utexas.edu
Online text by Robert van de Geijn and Margaret Myers on algorithms for advanced numerical linear algebra.
-
Type Theory and Functional Programming cs.kent.ac.uk
Simon Thompson.
-
Screaming Frog SEO Spider Tool & Crawler Software screamingfrog.co.uk
The Screaming Frog SEO Spider is a small desktop program (PC or Mac) which crawls websites links, images, CSS, script and apps from an SEO perspective.
-
WordPress Plugins: SEO lynda.com
Drive more visitors to your WordPress site by performing search engine optimization, or SEO, with the help of two powerful plugins. With Morten Rand-Hendriksen by Lynda.com.
-
SEO Tools Fundamentals lynda.com
Learn about today's top SEO tools for technical optimization, content optimization, offsite optimization, and competitive research. With Brad Batesole by Lynda.com.
-
Keyword Clarity keywordclarity.io
Free keyword analytics tool that allows you to visualize and group keyword metrics with tree diagrams. The tool works with data from the Google Search Console API and CSVs.
-
Structured Data Testing Tool developers.google.com
Paste in your rich snippets or url to test it.
-
Reinforcement Learning: An Introduction web.stanford.edu
Sutton and Barto's foundational treatment of reinforcement learning concepts and algorithms.
-
LLM Engineer's Handbook packtpub.com
LLMOps, fine-tuning, serving, and production workflows.
-
Codex Orchestration with Symphony openai.com
A reference architecture that turns project work into isolated, observable coding-agent runs.
- next page of items loading…
