Ben Sherman - Home
I am in my second year of graduate study in computer science at MIT. My interests include type theory and functional programming and their application to software verification. Im advised by Adam Chlipala. I am currently studying how to program with topological spaces such as the real numbers or probability distributions. Im building a programming language. Embedded in Coq, whose types are topological spaces and whose expressions are continuous maps. Its all based on. Notes on constructive topology.
OVERVIEW
The site ben-sherman.net presently has a traffic classification of zero (the smaller the more users). We have traversed five pages within the web page ben-sherman.net and found two websites referencing ben-sherman.net.
Pages Parsed
5Links to this site
2BEN-SHERMAN.NET TRAFFIC
The site ben-sherman.net is seeing alternating quantities of traffic through the year.
Date Range
1 week
1 month
3 months
This Year
Last Year
All time
Date Range
All time
This Year
Last Year
Date Range
All time
This Year
Last Year
Last Month
LINKS TO WEBSITE
WHAT DOES BEN-SHERMAN.NET LOOK LIKE?
BEN-SHERMAN.NET SERVER
We caught that the main root page on ben-sherman.net took five thousand two hundred and sixty-six milliseconds to download. I could not observe a SSL certificate, so in conclusion our parsers consider this site not secure.
Load time
5.266 sec
SSL
NOT SECURE
IP
151.101.40.133
SERVER SOFTWARE
We discovered that ben-sherman.net is implementing the GitHub.com os.SITE TITLE
Ben Sherman - HomeDESCRIPTION
I am in my second year of graduate study in computer science at MIT. My interests include type theory and functional programming and their application to software verification. Im advised by Adam Chlipala. I am currently studying how to program with topological spaces such as the real numbers or probability distributions. Im building a programming language. Embedded in Coq, whose types are topological spaces and whose expressions are continuous maps. Its all based on. Notes on constructive topology.PARSED CONTENT
The site had the following in the homepage, "I am in my second year of graduate study in computer science at MIT." I noticed that the web page stated " My interests include type theory and functional programming and their application to software verification." They also stated " Im advised by Adam Chlipala. I am currently studying how to program with topological spaces such as the real numbers or probability distributions. Im building a programming language. Embedded in Coq, whose types are topological spaces and whose expressions are continuous maps."ANALYZE MORE WEB PAGES
drymenights blog - Blog de drymenight - Skyrock.com
Subscribe to my blog! This blog has no articles.
mythicalfoxangel pedobear 0w0 - DeviantArt
This is the place where you can personalize your profile! You can drag and drop to rearrange.
Dim-Nare Nare - DeviantArt
This is the place where you can personalize your profile! By moving, adding and personalizing widgets.
jassume07s blog - Blog de jassume07 - Skyrock.com
C juste un peu de moi. Voyer ce que je fait des hom! Mais ils ador sa lolllll.