Tactic Links - Organic Traffic Booster - Home
|
Path: Home > List > Load (isub.dev) |
Home | About | List | Rankings | Search | Submit |
| domain | isub.dev |
| summary | This website showcases the programmer’s technical skills and experience, primarily focused on a diverse range of programming languages and formal verification techniques. The developer works with open-source projects across languages including C, Haskell, OCaml, Python, Go, Java, Rust, JavaScript, TypeScript, and assembly languages (x86-64, RISC-V). They are actively learning Idris, Racket, TLA, PlusCal, and Dafny, demonstrating a strong interest in formal verification and distributed systems. The content is geared towards recruiters to understand the individual’s programming abilities and values. |
| title | Home |
| description | Isitha Subasinghe's blogging platform and portfolio. You can find about my skills, projects and blogs here. |
| keywords | programming, languages, have, home, knowledge, systems, here, like, types, more, assembly, formal, page, projects, blog, love, computers |
| upstreams | |
| downstreams | |
| nslookup | A 76.76.21.21 |
| created | 2025-11-08 |
| updated | 2025-11-08 |
| summarized | 2026-02-07 |
|
HIGHSPOTS | |
 tacticlinks.com | |
 decoupled.ai | |
 whimed.com | |
 shuken.io | |
 bytemux.io | |
 twinllamas.ai | |
 3e9.me | |
 rodela,ai | |
 escrache.org | |
 greenpeace.org |
Traffic Boost by Tactic Links
[took: 508 ms]