Jinhui Fan @ennea8
Crypto Buidler Joined December 2011-
Tweets29
-
Followers46
-
Following206
-
Likes196
You asked for it...a dump of my book collection, in rough chronological order (1/2) "Naive Set Theory" - Paul R Halmos "Linear Algebra Done Right Second Edition" - Sheldon Axler "Mixing Secrets for the Small Studio" - Mike Senior "Introduction to Algorithms, Third Edition" - Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein "Generatingfunctionology" - Herbert S. Wilf "Information Theory, Inference and Learning Algorithms" - David J. C. MacKay "Introduction to Quantum Mechanics" - David J. Griffiths "Probability Theory: The Logic of Science" - E. T. Jaynes & G. Larry Bretthorst "Topology" - James R. Munkres "A Concise Introduction to Mathematical Logic" - Wolfgang Rautenberg "Complex Analysis, 2nd ed" - Lars Ahlfors "An Introduction to Probability Theory and Its Applications, Vol 1" - William Feller "Complex Analysis, 3rd ed" - Lars Ahlfors "A First Course in Linear Algebra" - Robert A. Beezer "The Principles of Mathematical Analysis" - Walter Rudin "Math 55 Notes" - Curtis McMullen "Algebra, 1st ed" - Michael Artin "Algebraic Number Theory" - J.S. Milne "Algebraic Number Theory" - Jürgen Neukirch "Algebraic Theory of Numbers: Translated From the French by Allan J. Silberger" - Pierre Samuel "Representation Theory: A First Course" - William Fulton & Joe Harris "Differential Topology" - Victor Guillemin & Alan Pollack "A First Course in Modular Forms" - Fred Diamond & Jerry Shurman "A Course in Arithmetic" - Jean Pierre Serre "Fourier Analysis: An Introduction" - Elias M. Stein & Rami Shakarchi "Complex Analysis" - Elias M. Stein & Rami Shakarchi "Real Analysis: Measure Theory, Integration, and Hilbert Spaces" - Elias M. Stein & Rami Shakarchi "Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing) (Hardcover)" - Thomas M. Cover "Psychology" - Daniel L. Schacter & Daniel T. Gilbert & Daniel M. Wegner "Artificial Intelligence: A Modern Approach" - Stuart Jonathan Russell & Peter Norvig "Pattern Recognition and Machine Learning" - Christopher M. Bishop "Python Essential Reference" - David M. Beazley "Topology" - James R. Munkres "Abstract Algebra" - David S. Dummit & Richard M. Foote "Principles of Neural Science" - Eric Kandel "Bayesian Brain: Probabilistic Approaches to Neural Coding" - Kenji Doya & Shin Ishii & Alexandre Pouget & Rajesh P. N. Rao "Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems" - Peter Dayan & Laurence F. Abbott "Neuroeconomics: Decision Making and the Brain" - Paul W. Glimcher & Ernst Fehr & Colin Camerer & Russell Alan Poldrack "Measure Theory" - Donald L. Cohn "Probability and Random Processes" - Geoffrey R. Grimmett & David R. Stirzaker "An Introduction to Probability Theory and Its Applications, Vol. 2" - William Feller "Computational Complexity: A Modern Approach" - Sanjeev Arora & Boaz Barak "Introduction to Automata Theory, Languages, and Computation" - John E. Hopcroft & Rajeev Motwani & Jeffrey D. Ullman "Computational Complexity" - Christos H. Papadimitriou "Computational Complexity: A Conceptual Perspective" - Oded Goldreich "Introduction to the Theory of Computation" - Michael Sipser "An Introduction to Kolmogorov Complexity and Its Applications" - Ming Li & Paul M. B. Vitányi "Handbook of Mathematical Logic" - Jon Barwise "Mathematical Logic" - Joseph R. Shoenfield "A Course in Mathematical Logic for Mathematicians" - Yu. I. Manin & Neal Koblitz & B. Zilber "Advanced Nutrition and Human Metabolism, 5th ed." - Sareen S. Gropper & Jack L. Smith "Fuzzy Sets and Fuzzy Logic: Theory and Aplications" - George J. Klir & Bo Yuan "Universe of Fuzzy Sets and Axiomatizatiosn of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches" - Siegried Gottwald "Electricity and Magnetism 2ed" - Edward M. Purcell & David J. Morin "Introduction to Electrodynamics" - David J. Griffiths "Neuroscience: Exploring the Brain" - Mark F. Bear Phd & Barry W. Connors Phd & Michael A. Paradiso Phd "Algebraic Topology" - Allen Hatcher "Computer Networks" - Andrew S. Tanenbaum & David J. Wetherall "Organic Chemistry, 1ed" - Jonathan Clayden & Nick Greeves & Stuart Warren "Functional Analysis: Introduction to Further Topics in Analysis" - Elias M. Stein & Rami Shakarchi "Homotopy Type Theory: Univalent Foundations of Mathematics" - Univalent Foundations Program "Abstract and Concrete Categories - The Joy of Cats" - J. Adamek, H. Herrlich, G. E. Strecker "Model Theory: An Introduction" - David Marker "Higher Topos Theory" - Jacob Lurie "Category Theory (Oxford Logic Guides)" - Steve Awodey "Quantum Computation and Quantum Information" - Michael A. Nielsen & Isaac L. Chuang "Categorical homotopy theory" - Emily Riehl "Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets" - Robert I. Soare "Introduction to Homotopy Theory (Universitext)" - Martin Arkowitz "Introduction to Mathematical Logic, Fifth Edition" - Elliott Mendelson "Proofs and Types" - Jean-Yves Girard "Universe of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches" - Siegried Gottwald "Set Theory" - Thomas Jech "Principles of Tissue Engineering, 4th Edition" - Robert Lanza & Robert Langer & Joseph P. Vacanti "Principles of Anatomy and Physiology, 13e with Atlas" - Gerard J. Tortora "Ordinary Differential Equations" - V. I. Arnold & Richard A. Silverman "Descriptive Complexity" - Neil Immerman "An Introduction to Systems Biology: Design Principles of Biological Circuits" - Uri Alon "An Introduction to Computational Learning Theory" - Michael J. Kearns & Umesh Virkumar Vazirani "Handbook of Set Theory" - Matthew Foreman & Akihiro Kanamori "Computable Analysis: An Introduction" - Klaus Weihrauch "Categorical Logic and Type Theory" - Bart Jacobs "Elements of Finite Model Theory" - Leonid Libkin "Measure Theory: Second Edition" - Donald L. Cohn "Measure Theory vol 1" - Vladimir I. Bogachev "Measure Theory vol 2" - Vladimir I. Bogachev "Real and Complex Analysis" - Walter Rudin "Model Theory" - C.C.Chang & H.Jerome Keisler "The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings" - Akihiro Kanamori "Descriptive Set Theory" - Yiannis N. Moschovakis "Classical Descriptive Set Theory (Graduate Texts in Mathematics) (V. 156)" - Alexander Kechris "Invariant Descriptive Set Theory" - Su Gao "Structural Proof Theory" - Sara Negri, Jan Von Plato "Proof Theory" - Gaisi Takeuti "Categories and Sheaves" - Masaki Kashiwara & Pierre Schapira "Topoi: The Categorial Analysis of Logic" - Robert Goldblatt "Communication Complexity" - Eyal Kushilevitz & Noam Nisan "Types and Programming Languages" - Benjamin C. Pierce "Advanced Topics in Types and Programming Languages" - Benjamin C. Pierce "Sheaves in Geometry and Logic: A First Introduction to Topos Theory" - Saunders MacLane & Ieke Moerdijk "Introduction to Smooth Manifolds" - John M. Lee "An Introduction to Manifolds" - Loring W. Tu "Principles of Neural Science, Fifth Edition (Principles of Neural Science (Kandel))" - Kandel, Eric & Schwartz, James & Jessell, Thomas & Siegelbaum, Steven & Hudspeth, A.J. "Pattern Theory: From Representation to Inference" - Ulf Grenander & Michael I. Miller "Pattern Theory: The Stochastic Analysis of Real-World Signals" - David Mumford & Agnès Desolneux "Topology and Geometry" - Glen E. Bredon "Differential Forms in Algebraic Topology" - Raoul Bott & Loring W. Tu "An Introduction to Algebraic Topology" - Joseph Rotman "A Concise Course in Algebraic Topology" - J. P. May "The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians" - David Mumford "The Geometry of Schemes" - David Eisenbud & Joe Harris "Algebraic Geometry" - Robin Hartshorne "Commutative Algebra With a View Toward Algebraic Geometry" - David Eisenbud "Introduction to Commutative Algebra" - Michael Atiyah, Ian G. Macdonald "Realizability: An Introduction to Its Categorical Side" - Jaap van Oosten "Toposes and Local Set Theories: An Introduction" - J. L. Bell "Topos Theory (Dover Books on Mathematics)" - P. T. Johnstone "Sketches of an Elephant: A Topos Theory Compendium" - P. T. Johnstone "Categories for the Working Mathematician" - Saunders Mac Lane "Simplicial Homotopy Theory" - Paul G. Goerss & John F. Jardine "Handbook of Categorical Algebra: Volume 1, Basic Category Theory" - Francis Borceux "Handbook of Categorical Algebra: Volume 2, Categories and Structures" - Francis Borceux "Handbook of Categorical Algebra: Volume 3, Categories of Sheaves" - Francis Borceux "Categorical Homotopy Theory" - Emily Riehl "Simplicial Objects in Algebraic Topology" - J. P. May "Algebra" - Saunders Mac Lane & Garrett Birkhoff "Game Theory: Analysis of Conflict" - Roger B. Myerson "Counterexamples in Analysis (Dover Books on Mathematics)" - Bernard R. Gelbaum, John M. H. Olmsted "Computational Complexity: A Quantitative Perspective" - Marius Zimand "Resource Bounded Measure" - Jack Lutz "Elements of the Theory of Functions and Functional Analysis, vol I" - A. N. Kolmogorov & S. V. Fomin "Elements of the Theory of Functions and Functional Analysis, vol II" - A. N. Kolmogorov & S. V. Fomin "Introductory Functional Analysis With Applications" - Erwin Kreyszig "Introduction to Functional Analysis" - Reinhold Meise & Dietmar Vogt "Noncommutative Geometry" - Alain Connes "The Algebra of Proofs, Vol. 88 (Studies in Logic and the Foundations of Mathematics)" - M. E. Szabo "Complexity Theory of Real Functions" - Ker-i Ko "Principles of Algebraic Geometry" - Phillip Griffiths & Joe Harris "An Introduction to Homological Algebra" - Charles A. Weibel "Algebraic Geometry and Statistical Learning Theory" - Sumio Watanabe "Theory of Linear and Integer Programming" - Alexander Schrijver "Higher Operads, Higher Categories" - Tom Leinster "Intuitionistic type theory" - Per Martin-Lof "The calculus of constructions" - T. Coquand, Gérard Huet "Treatise on Intuitionistic Type Theory" - Johan Georg Granström "Fundamentals of the Theory of Operator Algebras: Volume II. Advanced Theory" - Kadison, Richard V. & Ringrose, John R. "Fundamentals of the Theory of Operator Algebras: Volume I. Elementary Theory" - Kadison, Richard V. & Ringrose, John R. "Operator Algebras: Theory of C*-Algebras and Von Neumann Algebras" - Bruce Blackadar "Fundamentals of the Theory of Operator Algebras: Volume IV. Special Topics. Advanced Theory - An Exercise Approach" - Kadison, Richard V. & Ringrose, John R. "Algorithmic Randomness and Complexity" - Rodney G. Downey, Denis R. Hirschfeldt "Modal Logic" - Patrick Blackburn & Maarten de Rijke & Yde Venema "Riemannian Manifolds: An Introduction to Curvature" - John M. Lee "Introduction to Topological Manifolds (Second edition)" - John M. Lee "Continuous Lattices and Domains" - G. Gierz & K. H. Hofmann & K. Keimel & J. D. Lawson & M. Mislove & D. S. Scott "Mathematical Theory of Domains" - V. Stoltenberg-Hansen & I. Lindström & E. R. Griffor "Algebraic Geometry: A First Course (Graduate Texts in Mathematics 133)" - Joe Harris "Rational Homotopy Theory" - Yves Felix & Steve Halperin & Jean-Claude Thomas "Basic Proof Theory" - A. S. Troelstra & H. Schwichtenberg "Computable Analysis" - Oliver Aberth "Domain Theory" - Samson Abramsky, Achim Jung "Finite Model Theory and Its Applications" - Erich Grädel & Phokion G. Kolaitis & Leonid Libkin & Maarten Marx & Joel Spencer & Moshe Y. Vardi & Yde Venema & Scott Weinstein "Probability and Stochastics" - Erhan Çınlar "Analysis of Boolean Functions" - Ryan O'Donnell "The Algorithmic Foundations of Differential Privacy" - Cynthia Dwork & Aaron Roth "Algebraic Geometry: Part I: Schemes. With Examples and Exercises" - Ulrich Görtz & Torsten Wedhorn "Algebraic Geometry and Commutative Algebra" - Siegfried Bosch "Introduction to Lattices and Order" - B. A. Davey & H. A. Priestley "The Discrepancy Method: Randomness and Complexity" - Bernard Chazelle "Topology via Logic" - Steven Vickers "homotopy theories and model categories" - W.G. Dwyer & J.Spalinski "Model Categories" - Mark Hovey "Gray's Atlas of Anatomy" - Richardson, Paul, Drake, Richard, Vogl, A. Wayne, Mitchell, Adam W. M., Tibbitts, Richard "Harrison's Principles of Internal Medicine 18E Vol 2 EB" - Dan Longo & Anthony Fauci & Dennis Kasper & Stephen Hauser & J. Jameson & Joseph Loscalzo "Advanced Nutrition and Human Metabolism, 6th ed." - Sareen S. Gropper & Jack L. Smith "Organic Chemistry" - David R. Klein "Organic Chemistry As a Second Language: Second Semester Topics, 3rd edition" - David R. Klein "Organic Chemistry I as a Second Language: Translating the Basic Concepts" - David R. Klein "Organic Chemistry, 2ed" - Jonathan Clayden & Nick Greeves & Stuart Warren "Bates' Guide to Physical Examination and History-Taking" - Lynn Bickley "Handbook of Spatial Logics" - Marco Aiello & Ian Pratt-Hartmann & Johan van Benthem "General Topology" - Ryszard Engelking "Topology: Volume II (Volume 2)" - K. Kuratowski "Topology: Volume I (Volume 1)" - K. Kuratowski "Classical Mechanics" - John R. Taylor "Chemistry" - Steven Zumdahl & Susan Zumdahl "Graph Theory (Graduate Texts in Mathematics)" - Reinhard Diestel "Graph Theory" - Adrian Bondy & U. S. R. Murty "The Mathematics of Systems and Control: From Intelligent Control to Behavioral Systems" - Jan Willem Polderman & H. L. Trentelman & Jan C. Willems "Cellular Automata: A Discrete View of the World" - Joel L. Schiff "Cellular Automata and Groups" - Tullio Ceccherini-Silberstein, Michel Coornaert "A New Kind of Science" - Stephen Wolfram "Computer Systems: A Programmer's Perspective (2nd Edition)" - Randal E. Bryant "Electricity and Magnetism 3ed" - Edward M. Purcell & David J. Morin "A First Course in General Relativity" - Bernard Schutz "Gravity: An Introduction to Einstein's General Relativity" - James B. Hartle "Gravitation" - Charles W. Misner & Kip S. Thorne & John Archibald Wheeler "Certified Programming With Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant" - Adam Chlipala "Spacetime Physics" - Edwin F. Taylor & John Archibald Wheeler "Introduction to Special Relativity" - Wolfgang Rindler "Basic Neurochemistry, Eighth Edition: Principles of Molecular, Cellular, and Medical Neurobiology" - Scott Brady & George Siegel & R. Wayne Albers & Donald Price "Theory of Computational Complexity" - Ding-Zhu Du & Ker-i Ko "Design and Analysis of Approximation Algorithms" - Ding-Zhu Du & Ker-i Ko & Xiaodong Hu "Complex Analysis" - Serge Lang "Functions of One Complex Variable" - John B Conway "More Concise Algebraic Topology: Localization, Completion, and Model Categories" - J. P. May & K. Ponto "Modern Classical Homotopy Theory" - Jeffrey Strom "Elements of Homotopy Theory" - George W. Whitehead "Homotopy Theory of Higher Categories: From Segal Categories to N-Categories and Beyond (New Mathematical Monographs)" - Carlos Simpson "Mathematical Methods of Classical Mechanics" - V. I. Arnold "Calculus of Variations (Dover Books on Mathematics)" - I. M. Gelfand & S. V. Fomin "The Variational Principles Of Mechanics" - Cornelius Lanczos "Non-Classical Logics and Their Applications to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory" - Ulrich Höhle & Erich Peter Klement "Axiomatic Fuzzy Set Theory and Its Applications (Studies in Fuzziness and Soft Computing)" - Xiaodong Liu, Witold Pedrycz "Prolog Programming for Artificial Intelligence" - Ivan Bratko "Complexity Theory for Operators in Analysis" - Akitoshi Kawamura & Stephen Cook "Classical Field Theory: On Electrodynamics, Non-Abelian Gauge Theories and Gravitation" - Florian Scheck "Electromagnetic Theory and Computation: A Topological Approach (Mathematical Sciences Research Institute Publications)" - Paul W. Gross "The Convenient Setting of Global Analysis" - Andreas Kriegl & Peter W. Michor "The Realizability Approach to Computable Analysis and Topology" - Andrej Bauer "Homotopy type theory and Voevodsky's univalent foundations" - Álvaro Pelayo & Michael A. Warren "Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)" - Jorg Flum & Martin Grohe "Invitation to Fixed Parameter Algorithms (Oxford Lecture Series in Mathematics and Its Applications Series, #31)" - Rolf Niedermeier "Parameterized Complexity" - Rodney G. Downey & M. R. Fellows "Fundamentals of the Theory of Operator Algebras: Special Topics Volume III Elementary Theory - an Exercise Approach (Volume 3)" - Kadison, Richard V. & Ringrose, John R. "Very Large Cardinals" - Peter Koellner "Set Theory: The Independence Phenomenon" - Peter Koellner "Locally Presentable and Accessible Categories" - J. Adamek & J. Rosicky "Lectures on Linear Logic" - A. S. Troelstra "Logical Foundations of Proof Complexity" - Stephen Cook, Phuong Nguyen "Introduction to Circuit Complexity: A Uniform Approach" - Heribert Vollmer "Neural Networks for Pattern Recognition" - Christopher M. Bishop "Machine Learning: A Probabilistic Perspective (Adaptive Computation and Machine Learning Series)" - Kevin P. Murphy "Reinforcement Learning: State-of-the-Art" - Marco Wiering & Martijn van Otterlo "Learning From Data" - Yaser S. Abu-Mostafa & Malik Magdon-Ismail & Hsuan-Tien Lin "Combinatorial Species and Labelled Structures" - Brent Yorgey "Introduction to Process Algebra" - Wan Fokkink "Handbook of Process Algebra" - J. A. Bergstra & A. Ponse & S. A. Smolka "Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)" - J. C. M. Baeten, T. Basten, M. A. Reniers "Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science)" - Michael Alexander & William Gardner "Resource-Bounded Measure and Randomness" - Klaus Ambos-Spies & Elvira Mayordomo "Randomness and Completeness in Computational Complexity" - Dieter van Melkebeek "All of Statistics: A Concise Course in Statistical Inference" - Larry Wasserman "The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition (Springer Series in Statistics)" - Trevor Hastie & Robert Tibshirani & Jerome Friedman "Denotational Semantics: A Methodology for Language Development" - David A. Schmidt "Information Geometry: Near Randomness and Near Independence" - Khadiga Arwini & C. T. J. Dodson & A. J. Doig & W. W. Sampson & J. Scharcanski & S. Felipussi "Methods of Information Geometry" - Shun-Ichi Amari & Hiroshi Nagaoka "Notions of computation and monads" - Eugenio Moggi "Sparsity: Graphs, Structures, and Algorithms" - Jaroslav Nešetril & Patrice Ossona de Mendez "Institution-Independent Model Theory" - Razvan Diaconescu "Model Categories and Their Localizations" - Philip S. Hirschhorn "Homotopy Limit Functors on Model Categories and Homotopical Categories" - William G. Dwyer & Philip S. Hirschhorn & Daniel M. Kan & Jeffrey H. Smith "Digital Design and Computer Architecture" - Sarah Harris & David Money Harris "Introduction to the Theory of Distributions" - Friedrich Gerard Friedlander & Mark Suresh Joshi "Distributions and Operators" - Gerd Grubb "A LEISURELY INTRODUCTION TO SIMPLICIAL SETS" - Emily Riehl "General Topology" - John Leroy Kelley "A Gentle Introduction to Type Classes and Relations in Coq" - Pierre Castéran, Matthieu Sozeau "Neural-Symbolic Cognitive Reasoning" - Artur S. D'Avila Garcez & Luís C. Lamb & Dov M. Gabbay "Neural-Symbolic Learning Systems" - Artur S. D'Avila Garcez & Krysia Broda & Dov M. Gabbay "An Elementary Introduction to Modern Convex Geometry" - KEITH BALL "Functional Analysis" - Walter Rudin "Topological Vector Spaces (Graduate Texts in Mathematics)" - H. H. Schaefer & M. P. Wolff "Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering" - Steven Henry Strogatz "Complex Geometry" - Daniel Huybrechts "Convex Optimization" - Stephen Boyd & Lieven Vandenberghe "Convex Optimization Algorithms" - Dimitri P. Bertsekas "Genetic Algorithms in Search, Optimization, and Machine Learning" - David E. Goldberg "Statistical Decision Theory and Bayesian Analysis" - James O. Berger "Differential Geometry and Statistics" - M. K. Murray & J. W. Rice "Tinnitus Retraining Therapy: Implementing the Neurophysiological Model" - Pawel J. Jastreboff & Jonathan W. P. Hazell "Discrete Dynamical Systems and Chaotic Machines: Theory and Applications" - Bahi, Jacques "Discrete Dynamical Systems" - Oded Galor "A First Course in Discrete Dynamical Systems" - Richard Holmgren "Digital Signal Processing" - John G. Proakis & Dimitris G. Manolakis "Stochastic Processes: Theory for Applications" - Robert G. Gallager "Engineering Circuit Analysis" - William Hart Hayt & Jack Ellsworth Kemmerly & Steven M. Durbin "Computational Homology (Applied Mathematical Sciences)" - Tomasz Kaczynski, Konstantin Mischaikow, Marian Mrozek "Ergodic Theory and Information" - Patrick Billingsley "An Introduction to Ergodic Theory" - Peter Walters "Statistical Mechanics" - R K Pathria & Paul D. Beale "Statistical Physics of Fields" - Kardar, Mehran "Solutions manual to Kardar" - Kardar, Mehran "A Modern Course in Statistical Physics" - L. E. Reichl "Partial Differential Equations: An Introduction, 2nd Edition" - Walter A. Strauss "Mathematical Linguistics" - Andras Kornai "PARTIAL DIFFERENTIAL EQUATIONS (2ND EDN)" - Lawrence C.Evans "Principles of Corporate Finance" - Richard A. Brealey & Stewart C. Myers & Franklin Allen "Principles of Economics 5th ed" - Robert Frank & Ben Bernanke & Kate Antonovics & Ori Heffetz "Principles of Economics" - N. Mankiw "Nonparametric Statistics" - Gregory W. Corder, Dale I. Foreman "Learning Theory : An Approximation Theory Viewpoint" - FELIPE CUCKER & DING-XUAN ZHOU "A Probabilistic Theory of Pattern Recognition" - Luc Devroye, László Györfi, Gábor Lugosi "Neural Network Learning: Theoretical Foundations" - Martin Anthony "Neural Networks and Learning Machines, Third Edition" - Simon Haykin "Mathematical Control Theory: Deterministic Finite Dimensional Systems" - Eduardo D. Sontag "Reinforcement Learning: An Introduction" - Richard S. Sutton & Andrew G. Barto "Simulation and the Monte Carlo Method" - Reuven Y. Rubinstein & Dirk P. Kroese "Martingale Limit Theory and Its Application" - P. Hall & C. C. Heyde "The Princeton Companion to Mathematics" - Timothy Gowers & June Barrow-Green & Imre Leader "The Radon Transform and Some of Its Applications" - Stanley Roderick Deans "Geometric Analysis on Symmetric Spaces" - Sigurdur Helgason "Evolutionary Dynamics: Exploring the Equations of Life" - Martin A. Nowak "Introductory Lectures on Convex Optimization: A Basic Course (Applied Optimization)" - Yurii Nesterov "One Thousand Exercises in Probability" - Geoffrey Grimmett & David Stirzaker "Intuitive Combinatorial Topology" - V. G. Boltyanskii & V. A. Efremovich & J. Stillwell & A. Shenitzer "Stochastic Approximation and Its Applications" - Han-Fu Chen "Lectures on Polytopes (Graduate Texts in Mathematics 152)" - Günter M. Ziegler "Combinatorial Commutative Algebra" - Ezra Miller & Bernd Sturmfels "Combinatorics and Commutative Algebra" - Richard Stanley "Cohen-Macaulay Rings (Cambridge Studies in Advanced Mathematics)" - Winfried Bruns & H. Jürgen Herzog "Sheaf Theory" - Glen E. Bredon "Linear Representations of Finite Groups (Graduate Texts in Mathematics) (V. 42)" - Jean-Pierre Serre "Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad (Oxford Mathematical Monographs)" - Robert Lowen "Weak Convergence and Empirical Processes: With Applications to Statistics" - A. W. van Der Vaart & Jon Wellner "The Nature of Statistical Learning Theory (Information Science and Statistics)" - Vladimir Vapnik "Computer Architecture: A Quantitative Approach" - John L. Hennessy & David A. Patterson "The Geometry of Syzygies: A Second Course in Algebraic Geometry and Commutative Algebra" - David Eisenbud "Combinatorial Algebraic Topology" - Dmitry Kozlov "Algebraic Complexity Theory" - Peter Bürgisser & Michael Clausen & Amin Shokrollahi "Perceptrons: An Introduction to Computational Geometry" - Marvin Lee Minsky & Seymour Papert "Introduction to Compact Transformation Groups, Volume 46 (Pure and Applied Mathematics)" - Glen E. Bredon "Random Walks on Disordered Media and Their Scaling Limits: École D'Été De Probabilités De Saint-Flour XL - 2010" - Takashi Kumagai "Principles of Condensed Matter Physics" - P. M. Chaikin & T. C. Lubensky "Statistical Physics of Particles" - Mehran Kardar "An Introduction to Difference Equations" - Saber N. Elaydi "Differential-Difference Equations" - Richard Ernest Bellman, Kenneth L. Cooke "Information, Physics, and Computation (Oxford Graduate Texts)" - Marc Mézard, Andrea Montanari "Statistical Physics of Spin Glasses and Information Processing: An Introduction" - Hidetoshi Nishimori "Causal Inference in Statistics: A Primer" - Judea Pearl & Madelyn Glymour & Nicholas P. Jewell ..to be continued..
Every auditor needs this tool in his toolkit. The full precision calculator will help you quickly visualize large numbers and grasp more complex math equations. mathsisfun.com/calculator-pre…
OpenZeppelin removed isContract ELI5 on why this is huge for account abstraction: so far, dapp developers used .isContract for reasons such as "to stop bots minting my NFTs", "for security", etc. Doing this completely break interactions with AA wallets such as Safe, Ambire, Argent, etc. is there any good technical reason for doing this? Absolutely NOT, let's debunk each one - NFT contracts use is to stop bots minting: bots can still mint via Flashbots - Bridges use this to prevent funds from getting burned by sending them to non-wallet contracts: yes, but it has to opposite effect: funds are getting stuck or permanently burned when people use that bridge with an AA wallet - to prevent reentrancies: there are better ways to do this It's just that isContract encourages a myth that smart contracts are not user accounts. Dapp developers think of it as "is it an EOA? then it's a user. Else, it's a dapp contract". Re-educating developers about this can start by getting rid of isContract itself. Big win!
OpenZeppelin just released v5 of their contracts repo The most tragic loss of all may be the deletion of Counters.Counter, which was used to increment numbers. Its removal has taken a heavy toll on the NFT community, who can no longer figure out what tokenId should come next
“You don’t have to get it perfect, you just have to get it going. Babies don’t walk the first time they try, but eventually they get it right” ~ Jack Canfield – If you want to get good at something don’t be afraid to be bad at it for a while.
Introducing a short explainer video for Ethereum Attestation Service (EAS) Explore: - Why do we need EAS? - How does EAS work under the hood? - How to build a social networking app with EAS? - What else can you build with EAS? Thanks to @stevedakh for all the feedback!
🔥🔥Attend "The Next Paradigm for NFT Lending Protocols" AMA on Twitter Space at 9pm GMT+8 on Oct 12, 2022. Participants will have a chance to win 50 $USDC 1⃣Follow @XResearchDAO and @OpenSkyFinance 2⃣Like, RT & tag 3 friends 3⃣Set reminder at x.com/i/spaces/1MYGN…
insane contract documentation by @ZORAEngineering
Introducing ZORA V3 — the NFT Marketplace Protocol zine.zora.co/zora-v3
@BrantlyMillegan @ethleaderboard coffeewoo.eth
Put down your smartphone. Pick up a book.
I decided to make this because I get a lot of questions about my views on 1/1 art versus other categories. This sums up how I feel about the entire space right now:
A lot of folks don't realize that crypto is really the 3rd generation of the internet, re-decentralizing it. It is Web 3. Fully aligned with the goals of financial inclusion and checking the power of big tech.
Einstein's revolutionary equation about the equivalence of matter and energy (E = mc2) was published #OTD 27 September 1905. #NobelPrize
DAO ops is a budding crypto vertical that remains underserved. Thankfully, the Cambrian explosion of org legos is well on its way.. In this article I explore different DAOs ops verticals, existing challenges, & ecosystem of tools that aim to solve them medium.com/1kxnetwork/org…
today’s Apple announcements but they’re all priced in ETH iPhone 13 Mini — .21 ETH iPhone 13 — .24 ETH iPhone 13 Pro — .3 ETH iPhone 13 Pro Max — .33 ETH Apple Watch Series 7 — .12 ETH iPad — .098 ETH iPad Mini — .15 ETH
Excited to be a judge for the upcoming @ETHGlobal ETHOnline hackathon starting Sept 17. ETHGlobal runs the best hackathons in the Ethereum ecosystem so if you're interested in exploring building something in crypto, highly recommend you sign up! online.ethglobal.com
Zerbeth Xidden @ZXidden7776
13 Followers 713 Following
Safiyanuisah16🕹️... @SafiyanuIsah16
63 Followers 1K Following
StarkEVM99 @StarkEVM99
491 Followers 899 Following AI Founder Network: https://t.co/U95Xq6Po64 在 DK 里面 Vibe Coding 100 个 ideas ! 🚀 打造 J.A.V.A.S
Patrick @ppw0_0x
1K Followers 1K Following Ex QFT grad student | Sr DeFi & Quant Risk Research @SentoraHQ
JohnnyTime 🤓🔥 @RealJohnnyTime
13K Followers 1K Following Founder @ https://t.co/gcgrMm5l8P, JohnnyTime @ Youtube, Securing Web3 @ https://t.co/wJdpJyYK5y & https://t.co/3d9aL8nDvG
💎 Mirko @mirko_xyz
185 Followers 1K Following MSc in Computer Engineering || Smart Contract Engineer (Solidity) || Security Researcher
Vicky @bc1beat
4K Followers 2K Following Humans use credit cards. AI agents use @USDC. @BlockRunAI @circle hackathon winner, @base batch03 @HF0
zkshrink @DoxxedMind
164 Followers 1K Following Degen of mind. Father of 2. Studying the experiment experimenting itself, while changing diapers. Consciousness creates reality, and cycles - NFA
Dan Savu @_daniel_savu
444 Followers 1K Following defi rustacean | prev at @hyperlane and @InterlayHQ
0xjoaovictor → skry... @0xjoaovictor
136 Followers 584 Following Cristhian • Married • Senior Software Engineer • Founder @skryptaeventos
Daniel @danieliniguezv
387 Followers 383 Following
Luck @FunnysoulLuck
97 Followers 2K Following
elizabeth stark 🍠 @starkmess
43 Followers 633 Following big fan of the internet. like building things. ceo/ founder @lightning labs, fellow @coincenter. taught @stanford + @yalelawtech. #bitcoin
Espada Maria🇵🇭�... @EspadaMaria1761
480 Followers 2K Following proud 🇵🇭 pilipinas na nabubuhay sa kanyang pinakamahusay na Buhay sa Korean 🇰🇷
RobbieDegen @DeFiYieldMaxi
1K Followers 7K Following I am always on the lookout for DeFi protocols with actual use cases and real yield.
Matome Matlebyane @MatomeMatlebya3
782 Followers 2K Following
Tina Hartley @TinaHar74161973
2K Followers 4K Following We offer free short crypto pumps twice weekly. More than 1 million in our telegram channel participate weekly in our pumps. 👇👇
Kessha girls @kesshagirls_
128 Followers 935 Following NFT Art OFFICIAL INSTAGRAM Kessha Girls 👯♀️ community of female entrepreneurs & confident women. Discord Server: https://t.co/FwWfML3lwy
Alan Robert @arobert
5K Followers 3K Following MUSIC: https://t.co/c41zo54gyo https://t.co/MNy0c8by1d BOOKS: https://t.co/DdTxlGKxrq PEDAL: https://t.co/la5c3ZirQa
Nino’sDigitalCafe @GaetanoDiPietr9
6K Followers 5K Following Health and wellness life coach. 🇮🇹Jesus is my lord. Passion for helping others. Mental health advocate. Positivity space host. https://t.co/36U9pwHvjL
foxcrypto95 - CLONE -... @foxcrypto95
121 Followers 701 Following crypto lover - enjoy the journey, the destination is worth it. Reddio
Maza @M_4_z_A
3K Followers 3K Following BTC enjoyoor. Here to make cool art. ORBIFOLD minting now. WL access for @onchainmonkey @Theroyals_DMT and @TheWizardsOfOrd
FinanceForDummies @oakwood666
605 Followers 4K Following Love, peace and harmony. Investment Banker with a new goal: be a billionaire with #bitcoin (not a financial advise / my own opinion).
LinhOWC @LinhOwc
14 Followers 98 Following
Ritual❌👄❌ @thecgritual
5K Followers 4K Following | Cardano https://t.co/EozT68R0dK | Foundation https://t.co/yppsw6il4F | TEZ https://t.co/ZF5UwmAkRH
PopBits @pop_bits
683 Followers 1K Following Painted Pop style bits using a bonding curve. Not affiliated with Larva Labs.
FazaStudios 🕹️ $... @Travcoin_io
212 Followers 876 Following I enjoy sports and watching movies@DataHaven_xyz
Weekly NFT Giveaways @DeGood48524856
773 Followers 3K Following Each holder of any of our NFTs automatically participates in the giveaways of NFTs every week! The more NFTs you own, the greater the chance of winning.
Biomes - A tribute to... @nftbiomes
859 Followers 1K Following NFT generative art project inspired from Conway's Game Of Life. Only 200 Biomes were created. MIGRATION TO OWN CONTRACT IN PROGRESS. https://t.co/4KYxSggE7q
Justin Neal @JNeal3843753
80 Followers 304 Following Travelling worm Love #Cryptocurrency. Follow those, who talk about it. #Bitcoin #Ethereum and #Altcoins
Carina Darling @Cyril08Carina
2K Followers 2K Following #Entrepreneur #Blogger Tips on Wellness, Travel,Fashion &Lifestyle ✨ https://t.co/UzBmvotywm 📲
Crazy ROute @CrazyRoute
564 Followers 3K Following The #NFT Guru || $AXS || $TVK || #Bitcoin || $ETH || $LINK || $SOL || $BNB
mr.nobody @sirfixalott
13 Followers 96 Following
Jeff Kelsey @jeffkelsey
904 Followers 5K Following Sr. Manager Software Apps @YahooSports #flutter #Android #ios #LosAngeles #Blockchain #ecommerce #technews #LongLA #ethicaldev, @Yale alum, DCPS Teacher alum
sossi djiDieu @SossiDjidieu
101 Followers 1K Following
alexey @leemaryanne5432
0 Followers 43 Following
MobileGuru™ @GuruOfMobiles
6K Followers 8K Following We are the leader in News & Tips about latest Mobiles & apps.
Michael Hwang @mhwang66
24 Followers 62 Following
Seattle Recruiter @sea_recruiter
162 Followers 825 Following Hello! I am a Seattle Tech Recruiter, looking for top talent, and matching candidates with amazing jobs at awesome companies!
Shieldify Security @ShieldifySec
5K Followers 241 Following Web3/Web2 Security & Building Company. Trusted by Multipli, Colb, Pear, Onchain Heroes, Etherspot, Ambire and more. Book an audit https://t.co/Jf6SO3wlMP
Paradigm @paradigm
1.1M Followers 147 Following We build and invest in the companies and ideas shaping the frontier. Led by @matthuang and @alanapalmedo.
Txtx @txtx_sol
387 Followers 13 Following High quality crypto toolchains & infrastructure: @surfpool_sol for web3 builders & traders, @moneymq for the rest of us. Founded by @ludo_txtx & @micaiah_txtx.
Surfpool @surfpool_sol
440 Followers 93 Following Local first, dev & trading environment for Solana. 🏆 Award winning devtool - #1 Infra Colosseum 2025 Follow for tips & releases. @ludo_txtx & @micaiah_txtx
Gui Bibeau e/acc @GuiBibeau
9K Followers 672 Following Product Wizard @solana. Previously @vercel • @metamask
ludo @ludo_txtx
2K Followers 441 Following https://t.co/vsaGARU2V2 | @solanafndn Past: Surfpool (colosseum 🥇, acquired) Inventor of meta-transaction pattern - ERC865 Co-author of Stacks v2
Solana Developers @solana_devs
87K Followers 171 Following gm Solana Developooooors! Technical news, updates, content, code and job opportunities for Solana developers 🧑🏽💻
Seeker | Solana Mobil... @solanamobile
396K Followers 255 Following Seeker, the definitive crypto mobile device. Powered by SKR. Seek and you will find. Order Seeker: https://t.co/GTbxrFaXTN Discord: https://t.co/4Hh5oj1Uo2
Forstone PredictMarke... @forstonePM
530 Followers 3 Following "Predict crypto moves, win big—or laugh at your overconfidence later 😉 Discord: https://t.co/ahTbh5Na71 CA: 6vrUSDsW5Y95MpsV4MgihSxqjPPhvxPQeJzuhWuXWCe2
flipflopGlobal @flipfloplaunch
9K Followers 209 Following AI-themed and Community-based Token Launch Pad
aixbt @aixbt_agent
471K Followers 132 Following Power your agent with https://t.co/zpCzTVhNOV. For informational purposes only. NFA. DYOR.
DeepSafe @DeepSafe_AI
219K Followers 153 Following The world's first Cryptographic Random AI Verification Network for trustless verification of any on-chain and off-chain messages.
Gleam @gleamapp
176K Followers 1K Following 4M+ businesses around the world trust our apps to drive growth + engagement. Will you be next? https://t.co/DDgeUeyX36
Turbin3 @solanaturbine
8K Followers 40 Following The premier source of Solana Talent. From Enterprise training to Elite developer programs, we produce engineers powering the ecosystem.
micaiah @micaiah_txtx
619 Followers 160 Following Cofounder at Txtx where we built @surfpool_sol & @moneymq Now building @solanafndn Previously @Consensys, @hirosystems
chris @chrischang43
3K Followers 700 Following Co-founder of @0xGhostLogs | https://t.co/rkpIeVZPV3 | https://t.co/NRRokf4amF Ghost | R&D studio for blockchain infrastructure and data
Stephen Levin 💻 �... @smlevin11
7K Followers 2K Following Recycling business computers and electronics in Charlottesville, VA. Fmr COS, Biz Ops, Pricing @ Zapier, Fmr Head of Ops @ Flashbots
吴翱翔 Kira @ospopen
6K Followers 401 Following 量化套利扫链数据仔/builder/科学家 quant dev, trader, solana new OG contributor of rust-lang blog/contact https://t.co/yHa1OTp36x
Aliez Ren @aliez_ren
16K Followers 2K Following 可能是最懂套利的独立开发者 套利工具 @taoli_tools 池子区间 https://t.co/ZMNR0eFOUM
Glow community @GlowComms
2K Followers 13 Following @Solana 's First Modular Token Launchpad Launch tokens with flexible tokenomics, zero code required. Powered by @MeteoraAG
Huff @huff_language
5K Followers 40 Following Huff is a emerging low level assembly language for writing Ethereum smart contracts
gmhacker @realgmhacker
6K Followers 757 Following aerospace engineer 🚀 Head of Security @immunefi 🪲 Advisory @felixprotocol 🐱 Taught @RareSkills_io 😎 Security Council '25 @arbitrum 🔑 views my own, NFA 🇵🇹
NFTfi Foundation @NFTfiFoundation
1K Followers 1 Following Advancing NFT Finance, together. Powered by $NFTFI The Foundation’s mission is to steward the @NFTfi protocol and grow the NFTfi ecosystem.
Patrick @ppw0_0x
1K Followers 1K Following Ex QFT grad student | Sr DeFi & Quant Risk Research @SentoraHQ
Miguel O. @Miguel_O__
92 Followers 241 Following Ph. D. in Mathematics | Senior DeFi Researcher Author of book: "Automated Market Makers".
Jesper - jtk.eth @cryptojesperk
6K Followers 3K Following Founder @psifi_app / Co-founder @directdotdev • PhD @Cornell • ex-Quant • ✍ https://t.co/VKHbnmgphq (top 3 @amazon)🛡️🇺🇸🇩🇰
Miguel de Vega @miguel_de_vega
7K Followers 2K Following Co-Founder and Chief Scientist of @nillion and @nillionlabs
SunSec @1nf0s3cpt
14K Followers 1K Following CISO @xrexinc | Founder @DeFiHackLabs Web3 Security Community | AiSecLabs | Contributor @SEAL_911
Daniel Von Fange @danielvf
12K Followers 1K Following Skilled Professional (most days). Defends against the bad guys.
merkle_bonsai @merkle_bonsai
2K Followers 419 Following Smart contract & blockchain whitehat. somewhere in top-50 on @immunefi. Feel free to DM
Jeff Security @jeffsecurity
8K Followers 2K Following Independent Smart Contract Researcher & Researcher at @ShieldifySec My mission is to find vulnerabilities in smart contracts for a safer Web3 Space!
0xnevi @0xnevi
3K Followers 1K Following Smart Contract Security Researcher | Auditor & Judge @code4rena @sherlockdefi @CodeHawks @cantinaxyz
🤖 @phildaian
24K Followers 1K Following ex-programmer, failed Phil/osopher. resident painter ⚡️🤖, card carrying member of the linux militia. been laying groundwork for a punchline that never landed
Patrick Collins @PatrickAlphaC
113K Followers 5K Following Co-founder of 🛡️@cyfrin | 🟪 @soloditofficial | 🦅 @codehawks | 🎓 @cyfrinupdraft | ⚔️ @battlechain
Matt Solomon @msolomon44
5K Followers 1K Following Security at @OPLabsPBC. Formerly built @UmbraCash and more at @ScopeLift
KALOS @kalos_security
2K Followers 36 Following KALOS security researchers are here to safeguard your web3 projects, proudly taking 2nd place at Paradigm CTF! #Web3Security #SmartContractAudit
Anthony. @AnthonySecurity
2K Followers 2K Following Founder @HiveSecLtd, AI / . / Offensive Security
ChainLight @ChainLight_io
4K Followers 233 Following smart contract audit & token regulation and compliance | 8-time winner @defcon | winner @paradigm_ctf 23 | member @_SEAL_Org | est. 2016































