Tactic Links - Organic Traffic Booster - Home
|
Path: Home > List > Load (isub.dev) |
Home | About | List | Rankings | Search | Submit |
| domain | isub.dev |
| summary | The individual is a programmer with experience in multiple languages, primarily open-source. They are proficient in C, Haskell, OCaml, Python, Go, Java, Rust, JavaScript, TypeScript, x86-64 Assembly, and RISC-V Assembly. Additionally, they are learning Idris (dependent types for formal verification) and Racket (Lisp dialect). They also have interest in TLA (Temporal Logic of Actions) for proving distributed systems and PlusCal, a variant of PROLOG used for specification and verification. Their focus is on formal verification and formal methods in programming. |
| 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 | 2025-11-13 |
|
HIGHSPOTS | |
 tacticlinks.com | |
 lhapsus.xyz | |
 whimed.com | |
 decoupled.ai | |
 greenpeace.org | |
 escrache.org |
Traffic Boost by Tactic Links
[took: 208 ms]