Welcome to IntrastiBETA
Unearthing the internet’s buried treasures, link by link.
- Homotopy Type Theory homotopytypetheory.org This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory. Propositional equality is interpreted as… 0 0
- What is Soda? | Documentation docs.soda.io 0 0
- Projects | gbdev.io gbdev.io game boy development scene 0 0
- Seeing Theory seeing-theory.brown.edu A visual introduction to probability and statistics. 0 0
- CS231n Deep Learning for Computer Vision cs231n.github.io Course materials and notes for Stanford class CS231n: Deep Learning for Computer Vision. 0 0
- Hacking Scale by Better Stack | Substack newsletter.betterstack.com A weekly newsletter about building and scaling software from engineers at Better Stack. Click to read Hacking Scale by Better Stack, a Substack publication with thousands of subscribers. 0 0
- Dennis M. Feehan dennisfeehan.org 0 0
- Exploring Laravel, Statamic, and Software Development » Stillat stillat.com Welcome to Stillat, the digital home of John Koster. Dive into Laravel, Statamic, and other software development topics. 0 0
- Dygraphs — main page dygraphs.com 0 0
- Department of Computer Science and Electrical Engineering – UMBC www.csee.umbc.edu 0 0
- Lumpy - itch.io lumpytouch.itch.io 0 0
- Economic Networks: Theory and Computation networks.quantecon.org Thomas J. Sargent and John Stachurski Cambridge University Press Amazon Download the textbook here 你可以点击 这里 下载电子版教材 Bibtex Citation 0 0
- TeamPostgreSQL - free web-based PostgreSQL client and admin GUI www.teampostgresql.com TeamPostgreSQL is a free, web-based PostgreSQL client. Browse and edit data, run SQL and manage your PostgreSQL databases from any browser. Install once on your network - nothing to roll out to each desktop. 0 0
- Photo Resizer in KB – Resize Image & JPG to Exact KB photoresizerinkb.com Free photo and image resizer in KB. Resize JPG, PNG, WebP, or HEIC images to exact sizes like 20KB, 50KB, 100KB, 200KB, and 500KB. Private, fast, no upload. 0 0
- Beyond Loom beyondloom.com blog rss comic rss 0 0
- Mathigon – The Mathematical Playground mathigon.org Discover Mathigon, the Mathematical Playground. Learning mathematics has never been so interactive and fun! 0 0
- Graph Theory diestel-graph-theory.com Springer-Verlag, Heidelberg Graduate Texts in Mathematics, Volume 173 ISBN 978-3-662-70106-5 eISBN 978-3-662-70107-2 2025 (2017, 2010, 2005, 2000, 1997) xx+455-490 pages; 122 figures If you find any errors or misprints in the sixth edition, please let me know. Those reported so far can be seen here. There are translations into German (5th ed'n), Chinese (5th ed'n), Japanese (2nd ed'n) and Russian (5th ed'n). The German and the Chinese edition have t 0 0
- Visual and Simple Online Project Management Tool | Casual casual.pm Looking for a simple online project management tool? Casual.pm is the best tool for managing your projects as visual workflows online. 0 0
- The IaC Orchestration Platform Engineers Trust | Spacelift spacelift.io Spacelift helps orchestrate your entire infrastructure pipeline (Terraform, OpenTofu, Ansible and more) to deliver secure, cost-effective, and high-performance infrastructure. 0 0
- Radical Application Development radicalappdev.com Hello, I’m Joseph Simpson, the founder of Radical Application Development. With over a decade of experience in streamlining workflows and delivering practical solutions, I’m dedicated to helping individuals and teams optimize their processes and achieve their goals. 0 0
- Sybill: AI Sales Assistant for Revenue Teams www.sybill.ai Sybill is your all-knowing AI sales assistant who can answer deal questions, create sales assets, and automate grunt work like meeting prep, email follow-ups, and CRM updates. 0 0
- Software Improvement Group | Sigrid | Software portfolio quality www.softwareimprovementgroup.com Software Improvement Group governs the code your AI agents write and the systems you already run — benchmarked against 40,000+ real-world systems. 0 0
- Statistics for Systems Biology | SSB - Statistics for Systems Biology ssbgroup.fr 0 0
- Enigma: Trusted business data www.enigma.com Millions of public, private, and proprietary data points on businesses and people linked with precision 0 0
