Sivuston tiedot hillelwayne.com
Hillel Wayne
Luotu Maaliskuu 17 2026 02:46 AM
Vanhentuneet tiedot? PÄIVITÄ !
Pisteet 57/100
SEO Sisältö
Otsikko
Hillel Wayne
Pituus : 12
Täydellistä, otsikkosi sisältää väliltä 10 ja 70 kirjainta.
Kuvaus
Pituus : 0
Erittäin huono. Emme löytäneet meta-kuvausta sivustoltasi ollenkaan. Käytä Tätä ilmaista meta-kuvaus generaattoria lisätäksesi kuvauksen.
Avainsanat
Erittäin huono. Emme löytäneen meta -sanoja sivultasi. Käytä Tätä ilmaista meta-kuvaus generaattoria lisätäksesi kuvauksen.
Open Graph (OG-tägit) tarjoavat mahdollisuuden merkitä verkkosivustojen sisältöä meta-tiedoilla.
Hienoa, sinun sivu käyttää hyödyksi Open Graph protokollaa (OG meta prop).
| Omaisuus | Sisältö |
|---|---|
| title | Hillel Wayne |
| url | https://www.hillelwayne.com/ |
| site_name | Hillel Wayne |
| type | website |
| updated_time | 2026-02-23T00:00:00Z |
Otsikot
| H1 | H2 | H3 | H4 | H5 | H6 |
| 1 | 1 | 109 | 0 | 0 | 0 |
- [H1] Hillel Wayne
- [H2] Blog Posts
- [H3] Some Silly Z3 Scripts I Wrote
- [H3] A Very Early History of Algebraic Data Types
- [H3] Gamer Games for Non-Gamers
- [H3] A Perplexing Javascript Parsing Puzzle
- [H3] The Hierarchy of Controls (or how to stop devs from dropping prod)
- [H3] Hiatus
- [H3] Toolbox languages
- [H3] Composing TLA+ Specifications with State Machines
- [H3] Software Friction
- [H3] Don't let Alloy facts make your specs a fiction
- [H3] How old is the name 'Daniel'?
- [H3] The Hunt for the Missing Data Type
- [H3] Planner programming blows my mind
- [H3] An RNG that runs in your brain
- [H3] The World and the Machine
- [H3] Notes on Every Strangeloop 2023 Talk I Attended
- [H3] A better explanation of the Liskov Substitution Principle
- [H3] Learn AutoHotKey by stealing my scripts
- [H3] My Problem With the Four-Document Model
- [H3] Somehow AutoHotKey is kinda good now
- [H3] Breaking the limits of TLA+ model checking
- [H3] Ten weird things you can buy online (and why you would)
- [H3] That Time Indiana Almost Made π 3.2
- [H3] A Neovim Task Runner in 30 lines of Lua
- [H3] NP-Complete isn't (always) Hard
- [H3] Sources of Complexity: Constraints
- [H3] Let's Prove Leftpad
- [H3] Notes on Every Strangeloop 2022 Talk I Attended
- [H3] Safety and Liveness Properties
- [H3] Software Mimicry
- [H3] Crimes with Python's Pattern Matching
- [H3] Announcing: Learn TLA+
- [H3] I ❤️ Microscopes
- [H3] Hiatus
- [H3] Using Abstract Data Types in TLA+
- [H3] Alloy 6: it's about Time
- [H3] How to Solve the Sudoku Puzzle with programming
- [H3] Specification Refinement
- [H3] Cross-Branch Testing
- [H3] Clever vs Insightful Code
- [H3] Why Specifications Don't Compose
- [H3] Why Do Interviewers Ask Linked List Questions?
- [H3] TLA+ Action Properties
- [H3] What engineering can teach (and learn from) us
- [H3] We Are Not Special
- [H3] Are We Really Engineers?
- [H3] There's Always More History
- [H3] Two workers are quadratically better than one
- [H3] Software correctness is a lot like flossing
- [H3] Finding Goroutine Bugs with TLA+
- [H3] Decision Table Patterns
- [H3] J Notation as a Tool of Thought
- [H3] A Better Cheatsheet
- [H3] The Frink is Good, the Unit is Evil
- [H3] Weak and Strong Fairness
- [H3] Property Testing with Complex Inputs
- [H3] Constructive vs Predicative Data
- [H3] In Praise of AutoHotKey
- [H3] The Hard Part of Learning a Language
- [H3] Announcing: Alloydocs
- [H3] 10 Most(ly dead) Influential Programming Languages
- [H3] This is How Science Happens
- [H3] Feature Interaction Bugs
- [H3] The Business Case for Formal Methods
- [H3] Hypermodeling Hyperproperties
- [H3] How fast do I talk?
- [H3] Formally Modeling Database Migrations
- [H3] Python Negatypes
- [H3] Performance Matters
- [H3] Modeling Missing Requirements
- [H3] Probabilistic Modeling with PRISM
- [H3] At least one Vim trick you might not know
- [H3] Alan Kay Did Not Invent Objects
- [H3] Modeling Adversaries with TLA+
- [H3] Finding Property Tests
- [H3] Metamorphic Testing
- [H3] Using Formal Methods at Work
- [H3] Solving Knights and Knaves with Alloy
- [H3] Why Don't People Use Formal Methods?
- [H3] STAMPing on event-stream
- [H3] A Better Interview
- [H3] Modeling Message Queues in TLA+
- [H3] Practical TLA+ Now Available
- [H3] Optimizing MiniZinc
- [H3] Constraint Solving with Minizinc
- [H3] 1/0 = 0
- [H3] Augmenting Agile with Formal Methods
- [H3] Decision Tables
- [H3] Formally Specifying UIs
- [H3] The Great Theorem Prover Showdown
- [H3] Why Does "=" Mean Assignment?
- [H3] Just a Whole Bunch of Different Tests
- [H3] Formally Specifying a Package Manager
- [H3] The Problem With APLs
- [H3] Important Women in CS Who Aren't Grace Hopper
- [H3] Proving Games are Winnable with Alloy
- [H3] Vim Macro Trickz
- [H3] Property Tests + Contracts = Integration Tests
- [H3] What's the Right Tool for the Job?
- [H3] Introduction to Contract Programming
- [H3] Calculating Burn Rates in J
- [H3] Why TDD Isn't Crap
- [H3] Handwriting Programs in J
- [H3] Uncle Bob and Silver Bullets
- [H3] Instructive and Persuasive Examples
- [H3] How Do We Trust Our Science Code?
- [H3] Hypothesis Testing with Oracle Functions
- [H3] Modeling Zero-Downtime Deployments with TLA+
- [H3] Falsehoods Programmers Believe About Dogs
Kuvat
Emme löytäneet 0 yhtään kuvia tältä sivustolta.
Hyvä, lähes tai kaikissa kuvissassi on Alt-attribuutteja.
Kirjain/HTML suhde
Suhde : 48%
Hipoo täydellisyyttä! Tämä sivu /sivut sisältää tekstiä suhteesssa HTML-koodiin on suurempi kuin 15, mutta kuitenkin alle 25 prosenttia.
Flash
Täydellistä!, Flash-sisältöä ei ole havaittu tällä sivulla.
html-dokumentti sivun sisälle (Iframe)
Hienoa, Tällä sivulla ei ole Iframeja.
SEO Linkit
URL- Uudelleenkirjoitus
Hyvä. Sinun linkkisi näyttävät puhtailta!
Alleviivaa URL-osoitteet
Täydellistä! URL-osoitteissasi ei ole merkintöjä.
Sivun linkit
Löysimme yhteensä 119 linkit jotka sisältää 0 linkit tiedostoihin
SEO avainsanat
Avainsana pilvi
jul aug feb mar sep posted oct tla jan apr
Avainsanojen johdonmukaisuus
| Avainsana | Sisältö | Otsikko | Avainsanat | Kuvaus | Otsikot |
|---|---|---|---|---|---|
| posted | 109 |  |
|
|
|
| apr | 13 | |
|
|
|
| jul | 12 | |
|
|
|
| jan | 12 | |
|
|
|
| mar | 11 | |
|
|
|
Käytettävyys
Url
Sivusto : hillelwayne.com
Pituus : 15
Pikkukuva (favicon)
Hienoa, sinun sivulla on favicon (pikakuvake).
Tulostettavuus
Emme löytäneet tulostusystävällistä CSS-palvelua.
Kieli
Hyvä. Ilmoitettu kieli on en.
Metatietosanastostandardi informaatio (DC)
Tämä sivu ei käytä hyödyksi (DublinCore =DC) metatietosanastostandardi informaatiokuvausta.
Dokumentti
(dokumenttityyppi); Merkistökoodaus
HTML 5
Koodaus/tietojenkäsittely
Täydellistä. Ilmoitettu asiakirjan merkkijono on UTF-8.
W3C Voimassaolo
Virheet : 0
Varoitukset : 0
Sähköpostin yksityisyys
Varoitus! Ainakin yksi sähköpostiosoite on löytynyt tavallisesta tekstistä. Käytä tätä ilmaista antispam suojausta piilottaaksesi sähköpostiosoitteet spämmereiltä.
HTML Epäonnistui
| Tägit Epäonnistui | Esiintymät |
|---|---|
| <u> | 1 |
Epäillyt HTML-koodit ovat HTML-tageja, joita ei enää käytetä. On suositeltavaa poistaa tai korvata nämä HTML-tunnisteet, koska ne ovat vanhentuneet.
Nopeus neuvot
 |
Erinomaista, verkkosivustosi ei käytä sisäkkäisiä taulukoita. |
|
Perfect. HTML-tunnisteita ei löytynyt css:n sisältä! |
|
Hienoa, Sivustossasi on muutamia CSS-tiedostoja. |
|
Perfect, sivustossasi on muutamia JavaScript-tiedostoja. |
|
Täydellistä, Sivustosi hyödyntää gzipia. |
Mobiili
Mobiili optimointi
|
Apple-kuvake |
|
Meta Viewport -tunniste |
|
Flash sisältö |
Optimoi
XML Sivukartta
Hienoa, sivustossasi on XML-sivukartta.
| https://hillelwayne.com/sitemap.xml |
Robots.txt
https://hillelwayne.com/robots.txt
Hienoa, sivustossasi on robots.txt-tiedosto.
Analyysit
Puuttuu
Emme tunnistaneet tällä sivustolla asennettua analytiikkatyökalua.
Web-analyysilla voit mitata kävijän toimintaa verkkosivustollasi. Sinulla on oltava vähintään yksi analytiikkatyökalu, mutta voi myös olla hyvä asentaa toinen tietojen tarkistamiseen soveltuva työkalu.
Sivuston nopeus
Laite
Luokat
Free SEO Testing Tool
Free SEO Testing Tool On ilmainen SEO työkalu, joka auttaa sinua analysoimaan Web-sivusi