GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — i-walker - Overview

@i-walker i-walker Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@i-walker
i-walker
Follow
View i-walker's full-sized avatar

Settuba i-walker

Follow
Sr Software Engineer | 𝌻 Do more with less, be kind. Research: Pure Maths 🧮, heterogeneous memory-centric Computing on  Apple Silicon @settubaDev
38 followers · 148 following
  • ▒
  • Munich, Germany
  • settuba.com
  • https://orcid.org/0009-0000-5855-9251
  • https://github.com/settubaDev
  • https://app.certif-id.com/expert/public/share/6eciWiiWL0qkc4TT_4E0

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@kotest @arrow-kt
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
i-walker/README.md

Senior Software Engineer & Mathematics Student

Building principled, tractable sustainable technology through geometric computational methods with accessibility & energy-efficient optimization at the core.


5+ years distributed systems & compiler engineering and 2 years B.Sc. Physics Engineering → transitioning to Mathematics B.Sc. at TUM for rigorous geometric numerical methods in cyber-physical systems with demanding requirements.

Proven experience in Kotlin/JVM backend systems and formal verification in modern open source compilers. My self-study and research focus on heterogeneous hardware-software co-design and privacy-first distributed architectures on Apple Silicon 🍏.

Contact & Verification

Email: imran at settuba dot com

S/MIME Certificate [ISO27001 certified & conforms QWACs eIDAS]:

C4:BF:28:BF:A4:8D:BF:B9:9C:D0:B3:9E:4F:F9:D7:6C:CC:F9:E5:50:40:27:F3:03:23:B4:A3:51:2A:21:18:74

ORCID iD: 0009-0000-5855-9251

TÜV Certification:

  • certified Quality Management Specialist ISO 9001:2015 ✅ | valid until Oktober 2028

Professional Profiles: Distributed Systems & Formal Verification | Apple Silicon Research

🔍 Open for hire - seeking engagements (contractual/freelance/project-based)

Detailed profiles available in English and German.

🔨 Current Work

  • Open Source:
    • Accessible web publications (HTML + Gemini) for mathematics and life sciences in spirit with AccessibleEU
    • Learning Elixir/ Erlang on BEAM
  • 🔬 Research & Self-Study:
    • Heterogeneous Unified memory architecture optimization
    • Geometric numerical methods on Apple Silicon for computational physics/chemistry
    • Formal Methods for signal & protocol verification with nonlinearization principles
  • 📝 Consulting: Available for distributed systems, compiler tooling & laboratory research (30h+/week)
  • 🔄 Certification: ISO 9001:2015 quality management TÜV-QMB in progress

Trademark Notice
Swift, SwiftUI, iOS, macOS, iPhone, iPad, Safari, App Store, watchOS, tvOS, visionOS, Apple Silicon, Metal, MetalKit, Xcode, and the Apple logo are trademarks of Apple Inc., registered in the U.S. and other countries. Kotlin is a trademark of JetBrains s.r.o. TÜV, QMB-TÜV, and QMF-TÜV are registered trademarks of TÜV SÜD AG and other TÜV organizations. Technical University of Munich (TUM) is a registered trademark of Technische Universität München. ISO 9001 is a registered trademark of the International Organization for Standardization. All other trademarks are the property of their respective owners.

Pinned Loading

  1. arrow-kt/arrow arrow-kt/arrow Public

    The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

    Kotlin 6.6k 475

  2. kotest/kotest kotest/kotest Public

    Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

    Kotlin 4.8k 705

  3. arrow-kt/arrow-meta arrow-kt/arrow-meta Public

    Functional companion to Kotlin's Compiler

    Kotlin 405 43

  4. arrow-kt/suspendapp arrow-kt/suspendapp Public archive

    Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!

    Kotlin 78 7

  5. nomisRev/Saga nomisRev/Saga Public archive

    Saga pattern implementation in Kotlin build in top of Kotlin's Coroutines.

    Kotlin 69 3

  6. arrow-kt/arrow-typeproofs arrow-kt/arrow-typeproofs Public archive

    Playground for typeproofs and migration

    Kotlin 4 1

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.