Leanpub Header

Skip to main content

Filters

Category: "Algorithm"

Algorithm

  1. Prolog Programming: From Fundamentals to Advanced Logic Programming
    Prolog Programming: From Fundamentals to Advanced Logic Programming
    A comprehensive guide to logic programming with SWI-Prolog
    Steve Publications

    Discover the power of thinking in logic. This hands-on guide takes you from your first Prolog query to advanced techniques in constraints, grammars, AI search, meta-programming and production development. With clear explanations and executable SWI-Prolog examples, you’ll learn not just how Prolog works, but how to use it well.

  2. Assembly Arithmetic Algorithms 32 and 64 bit Windows Edition

    Assembly programming is actually a lot like Minecraft or Terraria because you start the game with nothing and have to slowly build your tools to make something useful. I started Assembly in 2024 and have already built a series of tools I personally use on both DOS and Linux operating systems. Through the course of this book, I will be slowly showing you how I can port everything in the Linux version of Assembly Arithmetic Algorithms to Windows.

  3. Practical LLM Inference
    Practical LLM Inference
    Quantization, GGUF and Local Models
    Steve Publications

    Running LLMs locally is easy. Running them well is an engineering problem. Practical LLM Inference gets into the details that matter, from quantization and GGUF internals to GPU offloading, benchmarking and production deployment. Learn how to size hardware, find bottlenecks and build fast, reliable inference systems without the AI hand-waving.

  4. Vector Search from First Principles
    Vector Search from First Principles
    SIMD, Quantization, and Billion-Scale Retrieval
    Steve Publications

    Most vector search books start with the database. This one starts with the machine. Build a search engine from scratch, then push it from brute force to billion-scale retrieval with SIMD, HNSW, quantization and distributed systems. By the end, vector search won't be a black box. It'll be something you know how to build, tune and scale.

  5. Formal Verification for Working Software Engineers
    Formal Verification for Working Software Engineers
    From First Principles to Production-Grade Verified Systems
    Steve Publications

    Formal verification does not have to live in research papers. This practical guide shows working software engineers how to turn real requirements into precise, machine-checkable guarantees, find bugs before they reach production and bring formal methods into everyday development, from application code to distributed and security-critical systems.

  6. Advanced Rust Programming
    Advanced Rust Programming
    From Mastery to Expert Systems Craft
    Steve Publications

    Advanced Rust Programming goes beneath Rust’s safe surface to reveal the machinery that makes high-performance systems possible. Explore unsafe contracts, atomics, async internals, FFI, allocators and more through practical examples that sharpen your instincts and help you build faster, safer production-grade software.

  7. Private Computing with Homomorphic Encryption
    Private Computing with Homomorphic Encryption
    From Foundations to Production for Software Engineers
    Steve Publications

    What if your software could compute on sensitive data without ever seeing it? Private Computing with Homomorphic Encryption takes you from the core ideas to working, production-minded systems. Learn the math, schemes, libraries and design patterns you need to build with HE, judge its tradeoffs and know when it is the right tool for the job.

  8. Big O
    Big O
    Learn Big O visually so that you never forget
    Ritesh Modi

    Big O is not about seconds. It is about what happens to your work when your input gets ten times bigger, and that is the question interviewers are really asking. This book builds the notation from a list of names you can watch being searched, then hands you twenty everyday jobs in ten pairs and asks you to name the shape of each one.

  9. Coffee Break AI
    Coffee Break AI
    Understand How Artificial Intelligence Really Works - One Short Chapter at a Time
    Finxter

    Every news feed is full of AI buzzwords: Transformers, tokens, embeddings, context windows, hallucinations, objective functions. Yet most explanations are either dense academic textbooks or empty marketing fluff. ☕ Coffee Break AI is your practical guide to AI. Written in plain English with warm real-world analogies. It breaks down the core mechanisms of AI into 40 bite-sized chapters.

  10. Data Structures and Algorithms in Programming
    Data Structures and Algorithms in Programming
    A Complete Guide from Fundamentals to Advanced Techniques
    Steve Publications

    Build a strong foundation in data structures and algorithms with clear explanations and practical Python examples. From core concepts to advanced techniques, this guide helps you understand how efficient software is designed so you can write better code with confidence and solve real programming challenges.

  11. Koddan Kariyere: JavaScript & Node.js ile Sıfırdan Profesyonele
    Koddan Kariyere: JavaScript & Node.js ile Sıfırdan Profesyonele
    Modern JavaScript, Node.js, Backend Geliştirme, REST API, Nesne Yönelimli Programlama (OOP), Asenkron Programlama, Veritabanları ve Yazılım Mühendisliğini Gerçek Projelerle Öğrenin
    Mert Turedu

    JavaScript ve Node.js öğrenmek isteyenler için başlangıçtan profesyonel seviyeye uzanan kapsamlı bir rehber. 1300+ sayfalık bu eser; modern JavaScript, Node.js, REST API, OOP, asenkron programlama, veritabanları, Clean Code, SOLID prensipleri, yazılım mimarisi ve gerçek dünya projeleriyle yalnızca kod yazmayı değil, yazılım mühendisi gibi düşünmeyi öğretir.

  12. Break Into Blockchain
    Break Into Blockchain
    A Complete Roadmap to Land Your First Job in Blockchain Technology
    Anshuman Mishra

    The future of technology is decentralized—and blockchain is at the center of this transformation.From global banks and fintech companies to healthcare organizations, supply chain enterprises, gaming platforms, governments, and Web3 startups, blockchain technology is creating entirely new career opportunities. Companies around the world are actively searching

  13. Quantum Computing for Rust Developers
    Quantum Computing for Rust Developers
    Build, verify, and benchmark quantum circuits with CleitonForge
    Cleiton Augusto Correa Bezerra

    Cleiton Augusto Correa Bezerra is a systems analyst and software engineer from Brazil at the intersection of quantum computing and high-performance Rust. He created CleitonForge and authored the Quant

  14. The Hyper-Drive Algorithms ​From Raw Python Formulas to High-Performance GPU & Machine Code
    The Hyper-Drive Algorithms ​From Raw Python Formulas to High-Performance GPU & Machine Code
    From Raw Python Formulas to High-Performance GPU & Machine Code
    AhmedAdawy

    Make your Python AI code up to 100× faster using NumPy vectorization, Numba, parallel execution, and GPU acceleration. Learn through practical benchmarks and real-world optimization examples.

  15. Python Under Pressure
    Python Under Pressure
    A Complete Interview Guide — written from the interviewer's side of the table.
    Ahmed

    The Python interview guide written from the interviewer's side of the table. 35 chapters. Every benchmark measured. Every line of code verified. What senior engineers actually get asked — and what separates the ones who get the offer.